Login / Signup
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.
Carsten Lutz
Leif Sabellek
Published 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