Hirankitti, Visit

Loading...
Thumbnail Image
Preferred name
Hirankitti, Visit
Main Affiliation
Email
visit.hi@kmitl.ac.th

Settings

Now showing 1 - 3 of 3
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    A meta-logical approach for reasoning with an OWL 2 ontology
    (2012-12-01)
    Hirankitti, Visit
    ;
    Mai, Trang Xuan
    A 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.
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    A meta-logical approach for reasoning with an OWL 2 ontology
    (2010-12-01)
    Hirankitti, Visit
    ;
    Xuan, Trang Mai
    A 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.
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    A meta-logical approach for reasoning with semantic web ontologies
    (2006-12-01)
    Hirankitti, Visit
    ;
    Xuan, Vuong Tran
    The 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.