Reasoning in metamodeling enabled ontologies

Nophadol Jekjantuk, Gerd Groener, Jeff Z. Pan

Research output: Contribution to journalConference article

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 metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling 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 metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.

Original languageEnglish
JournalCEUR Workshop Proceedings
Volume529
Publication statusPublished - 23 Oct 2009
Event6th International Workshop on OWL: Experiences and Directions, OWLED 2009 - Co-located with the 8th International Semantic Web Conference, ISWC 2009 and the 3rd International Conference on Web Reasoning and Rule Systems, RR 2009 - Chantilly, VA, United States
Duration: 23 Oct 200924 Oct 2009
http://ceur-ws.org/Vol-529/ (Link to Conference Proceedings)

Fingerprint

Ontology
Software engineering

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Reasoning in metamodeling enabled ontologies. / Jekjantuk, Nophadol; Groener, Gerd; Pan, Jeff Z.

In: CEUR Workshop Proceedings, Vol. 529, 23.10.2009.

Research output: Contribution to journalConference article

Jekjantuk, Nophadol ; Groener, Gerd ; Pan, Jeff Z. / Reasoning in metamodeling enabled ontologies. In: CEUR Workshop Proceedings. 2009 ; Vol. 529.
@article{291ad557cb3b4b8cb7f0be09fa71e29a,
title = "Reasoning in metamodeling enabled ontologies",
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 metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling 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 metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.",
author = "Nophadol Jekjantuk and Gerd Groener and Pan, {Jeff Z.}",
note = "This work has been partially supported by the European Project Marrying Ontologies and Software Technologies(MOSTICT2008-216691).",
year = "2009",
month = "10",
day = "23",
language = "English",
volume = "529",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",

}

TY - JOUR

T1 - Reasoning in metamodeling enabled ontologies

AU - Jekjantuk, Nophadol

AU - Groener, Gerd

AU - Pan, Jeff Z.

N1 - This work has been partially supported by the European Project Marrying Ontologies and Software Technologies(MOSTICT2008-216691).

PY - 2009/10/23

Y1 - 2009/10/23

N2 - 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 metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling 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 metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.

AB - 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 metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling 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 metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.

UR - http://www.scopus.com/inward/record.url?scp=84891382128&partnerID=8YFLogxK

M3 - Conference article

VL - 529

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -