Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.
Agi KuruczFrank WolterMichael ZakharyaschevPublished in: Advances in Modal Logic (2010)
Keyphrases
- description logics
- constraint satisfaction
- knowledge base
- dl lite
- relational data
- reasoning tasks
- computational properties
- knowledge representation
- reasoning mechanism
- computing least common subsumers
- model theoretic
- computational complexity
- reasoning problems
- semantic web
- database
- concept descriptions
- relational databases
- ontology reasoning