HornDL: An Expressive Horn Description Logic with PTime Data Complexity.
Linh Anh NguyenThi-Bich-Loc NguyenAndrzej SzalasPublished in: RR (2013)
Keyphrases
- data complexity
- mathcal shiq
- expressive power
- query answering
- conjunctive queries
- query evaluation
- combined complexity
- np complete
- lower complexity
- conjunctive query answering
- description logics
- exptime complete
- dl lite
- query language
- query complexity
- ontology languages
- first order logic
- data exchange
- expert systems
- artificial intelligence
- answering queries
- datalog programs
- transitive closure
- knowledge base
- database
- np hard