From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Volltext
ÄHNLICHE DOKUMENTE
From each ontology in this corpus of DL ontologies, we re- moved axioms that, after normalisation, were not in Horn- SRIQ u , and selected from the resulting ontology set those
From Horn- SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann.. From Horn- SRIQ
This was expected, and in theory unavoidable, due to the double exponential time complexity of assertion entailment in Horn-SRIQ u : for Datalog, this complexity is only poly-
Since all this can be done with a nondeterministic Turing machine using only polynomial space (in the size of φ), according to [Sav70], satisfiability in EL-LTL with global GCIs can
In this paper we develop an algorithm based on clausal resolution for computing uniform interpolants of TBoxes formulated in the description logic ALC which can preserve all
In this paper we develop an algorithm based on clausal resolution for computing uniform interpolants of TBoxes formulated in the description logic ALC which can pre- serve all
Given a labelled ontology, computing a boundary corre- sponds to reasoning with respect to all contexts simulta- neously, modulo an inexpensive label comparison: given a
Since there appears to be no general automated solution to the ramification problem introduced by general TBoxes, we take a rather pragmatic approach and leave it to the designer of