Hirankitti, Visit
Loading...
3 results
Now showing 1 - 3 of 3
- Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-reasoning approach for reasoning with SWRL ontologies(2011-07-26); Trang, Mai XuanSWRL is designed for enhancing inferential power on OWL ontologies by introducing rules to the language. With SWRL, rules are allowed to combine with OWL ontologies in order to support deduction on the semantic web ontologies. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (51 and OWL 2 [71; with the advent of SWRL, in this paper we shall extend our framework to support OWL with rules, and hence to support SWRL. Meta-languages together with a meta-interpreter, defined by demo ( . ) predicate, are proposed and used for reasoning with Semantic Web ontologies with rules. - 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.