A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.
Carsten LutzLeif SabellekPublished in: Artif. Intell. (2022)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- exptime complete
- semantic web
- ontology reasoning
- reasoning mechanism
- owl ontologies
- combined complexity
- owl dl
- reasoning services
- formal ontologies
- dl lite
- reasoning tasks
- semantic mapping
- biomedical ontologies
- concept descriptions
- reasoning problems
- ontology based data access
- snomed ct
- web ontology language
- domain knowledge
- daml oil
- ontology languages
- computing least common subsumers
- semantic web ontologies
- database
- query evaluation
- data sources
- machine learning
- pspace complete
- model theoretic
- tree patterns
- integrity constraints
- query language
- artificial intelligence