Combining safe rules and ontologies by interfacing of reasoners
U Aßmann, J Henriksson, J Małuszyński - Principles and Practice of …, 2006 - Springer
U Aßmann, J Henriksson, J Małuszyński
Principles and Practice of Semantic Web Reasoning: 4th International Workshop …, 2006•SpringerThe paper presents a framework for hybrid combination of rule languages with constraint
languages including but not restricted to Description-Logic-based ontology languages. It
shows how reasoning in a combined language can be done by interfacing reasoners of the
component languages. A prototype system based on the presented principle integrates
Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (eg
Racer [17]).
languages including but not restricted to Description-Logic-based ontology languages. It
shows how reasoning in a combined language can be done by interfacing reasoners of the
component languages. A prototype system based on the presented principle integrates
Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (eg
Racer [17]).
Abstract
The paper presents a framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages. It shows how reasoning in a combined language can be done by interfacing reasoners of the component languages. A prototype system based on the presented principle integrates Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (e.g. Racer[17] ).
Springer
Showing the best result for this search. See all results