Home // COGNITIVE 2014, The Sixth International Conference on Advanced Cognitive Technologies and Applications // View article

HORUS: A Configurable Reasoner for Dynamic Ontology Management

Authors:
Giovanni Lorenzo Napoleoni
Maria Teresa Pazienza
Andrea Turbati

Keywords: Ontology Management; Reasoner; Formal Language

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.

Pages: 66 to 71

Copyright: Copyright (c) IARIA, 2014

Publication date: May 25, 2014

Published in: conference

ISSN: 2308-4197

ISBN: 978-1-61208-340-7

Location: Venice, Italy

Dates: from May 25, 2014 to May 29, 2014