A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL.
Carsten LutzLeif SabellekPublished in: CoRR (2019)
Keyphrases
- description logics
- knowledge base
- exptime complete
- knowledge representation
- semantic web
- ontology reasoning
- owl dl
- owl ontologies
- semantic mapping
- combined complexity
- reasoning mechanism
- reasoning services
- formal ontologies
- dl lite
- snomed ct
- reasoning tasks
- concept descriptions
- computational properties
- ontology based data access
- ontology languages
- semantic web ontologies
- databases
- query evaluation
- query language
- query processing
- web ontology language
- biomedical ontologies
- daml oil
- database
- computing least common subsumers
- expressive power
- domain ontology
- data model
- expert systems
- ontology mappings
- computational complexity