Modelling and reasoning in metamodelling enabled ontologies

Nophadol Jekjantuk; Gerd Gröner; Jeff Z. Pan

doi:10.1007/978-3-642-15280-1_8

Modelling and reasoning in metamodelling enabled ontologies

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

^*Corresponding author for this work

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings
Pages	51-62
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-15280-1_8
Publication status	Published - 8 Nov 2010
Event	4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010 - Belfast, Northern Ireland, United Kingdom Duration: 1 Sep 2010 → 3 Sep 2010

Publication series

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

Conference

Conference	4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010
Country	United Kingdom
City	Belfast, Northern Ireland
Period	1/09/10 → 3/09/10

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-15280-1_8

Link to publication in Scopus

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

Modelling and reasoning in metamodelling enabled ontologies. / Jekjantuk, Nophadol; Gröner, Gerd; Pan, Jeff Z.

Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings. 2010. p. 51-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6291 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jekjantuk, N, Gröner, G & Pan, JZ 2010, Modelling and reasoning in metamodelling enabled ontologies. in Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6291 LNAI, pp. 51-62, 4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010, Belfast, Northern Ireland, United Kingdom, 1/09/10. https://doi.org/10.1007/978-3-642-15280-1_8

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

@inproceedings{70b1e5acc5a4488daf0aa060fbfd4797,

title = "Modelling and reasoning in metamodelling 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 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.",

author = "Nophadol Jekjantuk and Gerd Gr{\"o}ner and Pan, {Jeff Z.}",

year = "2010",

month = nov,

day = "8",

doi = "10.1007/978-3-642-15280-1_8",

language = "English",

isbn = "3642152791",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "51--62",

booktitle = "Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings",

note = "4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010 ; Conference date: 01-09-2010 Through 03-09-2010",

}

TY - GEN

T1 - Modelling and reasoning in metamodelling enabled ontologies

AU - Jekjantuk, Nophadol

AU - Gröner, Gerd

AU - Pan, Jeff Z.

PY - 2010/11/8

Y1 - 2010/11/8

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 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.

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 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.

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

U2 - 10.1007/978-3-642-15280-1_8

DO - 10.1007/978-3-642-15280-1_8

M3 - Conference contribution

AN - SCOPUS:78049380754

SN - 3642152791

SN - 9783642152795

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 51

EP - 62

BT - Knowledge Science, Engineering and Management - 4th International Conference, KSEM 2010, Proceedings

T2 - 4th International Conference on Knowledge Science, Engineering and Management, KSEM 2010

Y2 - 1 September 2010 through 3 September 2010

ER -