Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying

    IJCAI, pp. 1861-1867, 2018.

    Cited by: 5|Bibtex|Views39|Links
    EI

    Abstract:

    © 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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments