Parallel ABox Reasoning of ${\mathcal{EL}}$ Ontologies.
Yuan RenJeff Z. PanKevin LeePublished in: JIST (2011)
Keyphrases
- description logics
- reasoning services
- dl lite
- expressive description logics
- owl dl
- semantic web ontologies
- ontology reasoning
- knowledge base
- reasoning tasks
- reasoning mechanism
- knowledge representation
- ontology languages
- reasoning systems
- reasoning problems
- computational properties
- formal ontologies
- web ontology language
- biomedical ontologies
- terminological reasoning
- semantic web
- number restrictions
- query answering
- exptime complete
- computational complexity
- dl programs
- parallel processing
- reasoning with inconsistent
- databases
- logical reasoning
- query rewriting
- owl ontologies
- modular ontologies
- artificial intelligence
- shared memory
- reasoning process
- model theoretic