Modelling and reasoning in metamodelling enabled ontologies

Nophadol Jekjantuk*, Gerd Gröner, Jeff Z. Pan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodelling architecture, the standard Web Ontology Language (OWL) does not support reasoning over layered metamodels. OWL 2 provides simple metamodelling by using a punning approach, however, the interpretation function is different based on the context, which leads to non-intuitive results. The OWL FA Language has a well defined metamodelling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we discuss some reasoning tasks in OWL FA. We also introduce the OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.

Original languageEnglish
Title of host publicationKnowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings
Pages51-62
Number of pages12
DOIs
Publication statusPublished - 8 Nov 2010
Event4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010 - Belfast, Northern Ireland, United Kingdom
Duration: 1 Sep 20103 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6291 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010
CountryUnited Kingdom
CityBelfast, Northern Ireland
Period1/09/103/09/10

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Modelling and reasoning in metamodelling enabled ontologies'. Together they form a unique fingerprint.

  • Cite this

    Jekjantuk, N., Gröner, G., & Pan, J. Z. (2010). Modelling and reasoning in metamodelling enabled ontologies. In Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings (pp. 51-62). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6291 LNAI). https://doi.org/10.1007/978-3-642-15280-1_8