Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity.
Linh Anh NguyenPublished in: Fundam. Informaticae (2010)
Keyphrases
- data complexity
- dl lite
- description logics
- mathcal shiq
- expressive power
- query answering
- knowledge base
- combined complexity
- query evaluation
- conjunctive queries
- conjunctive query answering
- np hard
- exptime complete
- np complete
- lower complexity
- ontology languages
- unions of conjunctive queries
- reasoning tasks
- query complexity
- reasoning problems
- double exponential
- data exchange
- transitive closure
- number restrictions
- knowledge representation languages
- answering queries
- database
- knowledge representation
- lower bound
- optimal solution
- artificial intelligence