Partitioning ABoxes Based on Converting DL to Plain Datalog.
Jianfeng DuYi-Dong ShenPublished in: Description Logics (2007)
Keyphrases
- description logics
- dl lite
- dl programs
- query answering
- ontology languages
- expressive power
- data complexity
- knowledge base
- reasoning tasks
- expressive description logics
- exptime complete
- knowledge representation
- integrity constraints
- semantic web
- query language
- logic programming
- model theoretic
- deductive databases
- datalog programs
- computational properties
- computational complexity
- data exchange
- answering queries
- transitive closure
- conjunctive queries
- owl dl
- query evaluation
- artificial intelligence