May 22, 2009 · We overview the algorithms for reasoning with description logic (DL) ontologies based on resolution. These algorithms often have worst-case ...
A resolution-based algorithm is presented that reduces a DL knowledge base into a disjunctive datalog program, while preserving the set of entailed facts ...
People also ask
What is ontology reasoning?
What are ontologies in knowledge representation and reasoning?
By Boris Motik; Abstract: Summary We overview the algorithms for reasoning with description logic (DL) ontologies based on resolution. These.
The expected contributions of this project are: • An automated method of resolving differences in ontologies. • A reasoning method that includes CoPs. • A ...
F. Baader and W. Snyder. Unification Theory. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume I, chapter 8, pages 445–532. 2001.
May 16, 2017 · Bibliographic details on Resolution-Based Reasoning for Ontologies.
Abstract. An important approach to query answering over OWL ontologies is via rewriting the input ontology (and query) into a new set of axioms that are ...
The resolution proof framework to generate explanations for ALC was published in [DHS05a, DHS05b]. A sound and complete algorithm is presented in [DHS06] and ...
An important approach to query answering over OWL ontologies is via rewriting the input ontology (and query) into a new set of axioms that are expressed in ...
In this paper a two-level ontology framework to resolving semantic conflicts in data exchange process is proposed. The top-level ontology defines generic ...