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 ontologies and rules in OWL 2(2011-11-14); Xuan, Trang MaiOWL became a de facto language for representing Semantic Web ontologies. Having been improved and extended with rules, the language was later updated to OWL 2. In this paper we propose a framework for reasoning with an OWL2 ontology and rules using meta-logic. Our meta-logical system consists of meta-programs expressing onotologies and rules, 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 implicit information. A comparative study of related works has revealed a merit of our meta-logical representation approach that separates the meta level knowledge from the object level one. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with ontologies and rules expressed in OWL 2(2010-12-01); Xuan, Trang MaiOWL is a decidable language for representing ontologies, it adds considerable expressive power to the Semantic Web. However, it has several shortcomings in relational expressivity. These limitations can be overcome by extending an OWL ontology with some form of rules. The revision 2 of OWL is much richer than its predecessor with respect to modeling with rules. In this paper we propose a framework for reasoning with ontology and rule by adopting meta-logic. Our meta-logical system consists of several meta-programs expressing rules and onotologies at meta-level, and an inference engine in form of a meta-interpreter defined by a demo(.) predicate. Our meta-reasoning framework can reason with ontologies and rules expressed in OWL 2 by: (1) mapping statements expressed in ontology to metastatements, and mapping rules to meta-rules, (2) the meta-statements and meta-rules, then, are reasoned by a metainterpreter which provides a query answering mechanism to infer meta and context information from the Semantic Web Ontology.