Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates

    IJCAI, pp. 878-885, 2016.

    Cited by: 29|Bibtex|Views7|Links
    EI

    Abstract:

    We consider instance queries mediated by an ontology expressed in the expressive DL ALCHIO with closed predicates. We observe that such queries are non-monotonic and cannot be expressed in monotonic variants of DATALOG, but a polynomial time translation into disjunctive DATALOG extended with negation as failure is feasible. If no closed p...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments