Hirankitti, Visit
Loading...
4 results
Now showing 1 - 4 of 4
- 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 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, A meta-logical approach for reasoning with an OWL 2 ontology(2010-12-01); Xuan, Trang MaiA recent development of a Semantic Web language is 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 [6], 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. ©2010 IEEE. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with semantic web ontologies(2006-12-01); Xuan, Vuong TranThe design of Semantic Web markup languages, such as RDF, RDFS, and OWL, has been influenced by many different concepts, such as semantic structures and frame representations, object-oriented approaches, Description Logic, and first-order logic. Currently a Semantic Web ontology represented in these different languages is processed and manipulated differently by various approaches; however, in this paper we propose a single framework using meta-logic which can process the ontology in a uniform manner. Meta-logic allows us to reason with statements about description of classes, properties, instances, and their relationships expressed in RDF, RDFS, and OWL. This is accomplished by: initially an ontology, represented in combined RDF, RDFS, and OWL languages, is transformed to meta-logical statements representing definitions of classes and properties, relationships between classes and properties, and relationships between instances, etc.; later these statements are reasoned by a meta-interpreter which provides a query answering mechanism to infer meta and context information from the Semantic Web ontology. © 2006 IEEE.