Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying
IJCAI, pp. 1861-1867, 2018.
© 2018 International Joint Conferences on Artificial Intelligence. All right reserved. In ontology-mediated querying with an expressive description logic (DL) L, two desirable properties of a TBox T are (1) being able to replace T with a TBox formulated in the Horn-fragment of L without affecting the answers to conjunctive queries (CQs) a...More
PPT (Upload PPT)