Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

DOI10.3233/978-1-60750-606-5-35zbMath1211.68402OpenAlexW131276444MaRDI QIDQ2999102

Stijn Heymans, Guohui Xiao, Thomas Eiter

Publication date: 11 May 2011

Full work available at URL: https://publik.tuwien.ac.at/files/PubDat_190852.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (6)

Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies ⋮ Stepwise Debugging of Description-Logic Programs ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ From description-logic programs to multi-context systems ⋮ Inlining External Sources in Answer Set Programs ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Uses Software

• Datalog

This page was built for publication: Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics