Hirankitti, Visit
Loading...
2 results
Now showing 1 - 2 of 2
- Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with an OWL 2 ontology(2012-12-01); Mai, Trang XuanA recent development of a Semantic Web language led to Web Ontology Language (OWL) 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (Hirankitti and Tran, 4th IEEE International Conference on Computer Sciences: Research, Innovation and Vision for the Future, Vietnam, pp 228-235, 2006b). With the new extension-OWL 2, in this paper we shall extend our previous work to support this richer language. A meta-interpreter, defined by a demo(.) predicate together with auxiliary axioms, is proposed and used for reasoning with OWL 2 ontologies expressed in terms of meta-programs. Finally we demonstrate some expressiveness of the meta-interpreter and compare it with other approaches. © 2012 Springer-Verlag. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, Reasoning on OWL2 ontologies with rules using metalogic(2013-01-01); Mai, Trang XuanIn 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.