Reasoning on OWL2 ontologies with rules using metalogic

Hirankitti, Visit; Mai, Trang Xuan

doi:10.1007/978-1-4614-2317-1_8

Reasoning on OWL2 ontologies with rules using metalogic

Author(s)

Hirankitti, Visit

Mai, Trang Xuan

Date Issued

January 1, 2013

Type

Conference Paper

DOI

10.1007/978-1-4614-2317-1_8

Abstract

In this paper we propose a framework for reasoning on OWL 2 ontologies with rules using metalogic. Our meta-logical system consists of meta-programs expressing OWL 2 ontologies and rules at the meta-level, and an inference engine in a form of meta-interpreters defined by a demo(.) predicate. The framework reasons with ontologies and rules in OWL 2 by first an ontology and rules being translated into meta-statements, and these meta-statements then being reasoned by the meta-interpreter, which provides a query answering mechanism to infer information. A comparative study of related works has revealed a merit of the meta-logical representation approach that separates the meta level knowledge from the object level one. © 2013 Springer Science+Business Media, LLC.

Citation

Lecture Notes in Electrical Engineering, 130 LNEE, 95-108, 2013