This paper introduces HORUS (Human-readable Ontology Reasoner Unit System), a configurable reasoner which provides the user the motivations for every inferred knowledge in the context of a reasoning process. We describe the reasoner, how to write an inference rule and check which explicit knowledge was used to infer a new one. Real cases examples will be provided to show the capabilities of our reasoner and the associated language developed to express inference rules. We show how HORUS allows the user to understand the logical process over which each new RDF triple has been generated.
Napoleoni, G., Pazienza, M.t., Turbati, A. (2014). HORUS: a Configurable Reasoner for Dynamic Ontology Management. In The Sixth International Conference on Advanced Cognitive Technologies and Applications COGNITIVE 2014, Venice, Italy, May 25 - 29, 2014, Proceedings, (pp. 66-71). IARIA XPS Press.
HORUS: a Configurable Reasoner for Dynamic Ontology Management
PAZIENZA, MARIA TERESA;
2014-01-01
Abstract
This paper introduces HORUS (Human-readable Ontology Reasoner Unit System), a configurable reasoner which provides the user the motivations for every inferred knowledge in the context of a reasoning process. We describe the reasoner, how to write an inference rule and check which explicit knowledge was used to infer a new one. Real cases examples will be provided to show the capabilities of our reasoner and the associated language developed to express inference rules. We show how HORUS allows the user to understand the logical process over which each new RDF triple has been generated.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
