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

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

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
Subtitle of host publication	4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings
Editors	Yaxin Bi, Mary-Anne Williams
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	51-62
Number of pages	12
ISBN (Electronic)	978-3-642-15280-1
ISBN (Print)	978-3-642-15279-5
DOIs	https://doi.org/10.1007/978-3-642-15280-1_8
Publication status	Published - 23 Aug 2010
Event	The Fourth International Conference on Knowledge Science, Engineering and Management - Belfast, United Kingdom Duration: 1 Sept 2010 → 3 Sept 2010 Conference number: 4

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin, Heidelberg
Volume	6291
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	The Fourth International Conference on Knowledge Science, Engineering and Management
Abbreviated title	KSEM 2010
Country/Territory	United Kingdom
City	Belfast
Period	1/09/10 → 3/09/10

Access to Document

10.1007/978-3-642-15280-1_8Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-642-15280-1_8Licence: All Rights Reserved

Cite this

Jekjantuk, N., Gröner, G., & Pan, J. Z. (2010). Modelling and Reasoning in Metamodelling Enabled Ontologies. In Y. Bi, & M.-A. Williams (Eds.), Knowledge Science, Engineering and Management: 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings (pp. 51-62). (Lecture Notes in Computer Science; Vol. 6291). Springer. https://doi.org/10.1007/978-3-642-15280-1_8

Jekjantuk, Nophadol ; Gröner, Gerd ; Pan, Jeff. Z. / Modelling and Reasoning in Metamodelling Enabled Ontologies. Knowledge Science, Engineering and Management: 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings. editor / Yaxin Bi ; Mary-Anne Williams. Berlin, Heidelberg : Springer, 2010. pp. 51-62 (Lecture Notes in Computer Science).

@inproceedings{d96930d9725445c99d3c3e0adb060782,

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 = aug,

day = "23",

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

language = "English",

isbn = "978-3-642-15279-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "51--62",

editor = "Yaxin Bi and Mary-Anne Williams",

booktitle = "Knowledge Science, Engineering and Management",

address = "United Kingdom",

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

}

Jekjantuk, N, Gröner, G & Pan, JZ 2010, Modelling and Reasoning in Metamodelling Enabled Ontologies. in Y Bi & M-A Williams (eds), Knowledge Science, Engineering and Management: 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6291, Springer, Berlin, Heidelberg, pp. 51-62, The Fourth International Conference on Knowledge Science, Engineering and Management, Belfast, United Kingdom, 1/09/10. 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, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings. ed. / Yaxin Bi; Mary-Anne Williams. Berlin, Heidelberg: Springer, 2010. p. 51-62 (Lecture Notes in Computer Science; Vol. 6291).

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

TY - GEN

T1 - Modelling and Reasoning in Metamodelling Enabled Ontologies

AU - Jekjantuk, Nophadol

AU - Gröner, Gerd

AU - Pan, Jeff. Z.

N1 - Conference code: 4

PY - 2010/8/23

Y1 - 2010/8/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 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.

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

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

M3 - Conference contribution

SN - 978-3-642-15279-5

T3 - Lecture Notes in Computer Science

SP - 51

EP - 62

BT - Knowledge Science, Engineering and Management

A2 - Bi, Yaxin

A2 - Williams, Mary-Anne

PB - Springer

CY - Berlin, Heidelberg

T2 - The Fourth International Conference on Knowledge Science, Engineering and Management

Y2 - 1 September 2010 through 3 September 2010

ER -

Jekjantuk N, Gröner G, Pan JZ. Modelling and Reasoning in Metamodelling Enabled Ontologies. In Bi Y, Williams MA, editors, Knowledge Science, Engineering and Management: 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings. Berlin, Heidelberg: Springer. 2010. p. 51-62. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-15280-1_8

Modelling and Reasoning in Metamodelling Enabled Ontologies

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this