Verifying and Validating Multi-layered Models with OWL FA Toolkit

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

doi:10.1007/978-3-642-13489-0_30

Verifying and Validating Multi-layered Models with OWL FA Toolkit

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

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

Abstract

This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit the software modeller on leveraging the software development life cycle through a practical use case.

Original language	English
Title of host publication	The Semantic Web: Research and Applications
Subtitle of host publication	7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II
Editors	Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	391-395
Number of pages	5
ISBN (Electronic)	978-3-642-13489-0
ISBN (Print)	978-3-642-13488-3
DOIs	https://doi.org/10.1007/978-3-642-13489-0_30
Publication status	Published - 5 Jun 2010
Event	The 7th Extended Semantic Web Conference - Heraklion, Greece Duration: 30 May 2010 → 3 Jun 2010 Conference number: 7 https://www.eswc2010.org/important-dates.html

Publication series

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

Conference

Conference	The 7th Extended Semantic Web Conference
Abbreviated title	ESWC 2010
Country/Territory	Greece
City	Heraklion
Period	30/05/10 → 3/06/10
Internet address	https://www.eswc2010.org/important-dates.html

Access to Document

10.1007/978-3-642-13489-0_30Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-642-13489-0_30Licence: All Rights Reserved

Cite this

Jekjantuk, N., Pan, J. Z., & Gröner, G. (2010). Verifying and Validating Multi-layered Models with OWL FA Toolkit. In L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, & T. Tudorache (Eds.), The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II (pp. 391-395). (Lecture Notes in Computer Science; Vol. 6089). Springer. https://doi.org/10.1007/978-3-642-13489-0_30

Jekjantuk, Nophadol ; Pan, Jeff Z. ; Gröner, Gerd. / Verifying and Validating Multi-layered Models with OWL FA Toolkit. The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II. editor / Lora Aroyo ; Grigoris Antoniou ; Eero Hyvönen ; Annette ten Teije ; Heiner Stuckenschmidt ; Liliana Cabral ; Tania Tudorache. Berlin, Heidelberg : Springer, 2010. pp. 391-395 (Lecture Notes in Computer Science).

@inproceedings{2af8a349729c4343b047d6de8232d1ed,

title = "Verifying and Validating Multi-layered Models with OWL FA Toolkit",

abstract = "This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit the software modeller on leveraging the software development life cycle through a practical use case.",

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

year = "2010",

month = jun,

day = "5",

doi = "10.1007/978-3-642-13489-0\_30",

language = "English",

isbn = "978-3-642-13488-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "391--395",

editor = "Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and \{ten Teije\}, Annette and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache",

booktitle = "The Semantic Web: Research and Applications",

address = "United Kingdom",

note = "The 7th Extended Semantic Web Conference, ESWC 2010 ; Conference date: 30-05-2010 Through 03-06-2010",

url = "https://www.eswc2010.org/important-dates.html",

}

Jekjantuk, N, Pan, JZ & Gröner, G 2010, Verifying and Validating Multi-layered Models with OWL FA Toolkit. in L Aroyo, G Antoniou, E Hyvönen, A ten Teije, H Stuckenschmidt, L Cabral & T Tudorache (eds), The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II. Lecture Notes in Computer Science, vol. 6089, Springer, Berlin, Heidelberg, pp. 391-395, The 7th Extended Semantic Web Conference, Heraklion, Greece, 30/05/10. https://doi.org/10.1007/978-3-642-13489-0_30

Verifying and Validating Multi-layered Models with OWL FA Toolkit. / Jekjantuk, Nophadol; Pan, Jeff Z.; Gröner, Gerd.
The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II. ed. / Lora Aroyo; Grigoris Antoniou; Eero Hyvönen; Annette ten Teije; Heiner Stuckenschmidt; Liliana Cabral; Tania Tudorache. Berlin, Heidelberg: Springer, 2010. p. 391-395 (Lecture Notes in Computer Science; Vol. 6089).

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

TY - GEN

T1 - Verifying and Validating Multi-layered Models with OWL FA Toolkit

AU - Jekjantuk, Nophadol

AU - Pan, Jeff Z.

AU - Gröner, Gerd

N1 - Conference code: 7

PY - 2010/6/5

Y1 - 2010/6/5

N2 - This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit the software modeller on leveraging the software development life cycle through a practical use case.

AB - This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit the software modeller on leveraging the software development life cycle through a practical use case.

U2 - 10.1007/978-3-642-13489-0_30

DO - 10.1007/978-3-642-13489-0_30

M3 - Conference contribution

SN - 978-3-642-13488-3

T3 - Lecture Notes in Computer Science

SP - 391

EP - 395

BT - The Semantic Web: Research and Applications

A2 - Aroyo, Lora

A2 - Antoniou, Grigoris

A2 - Hyvönen, Eero

A2 - ten Teije, Annette

A2 - Stuckenschmidt, Heiner

A2 - Cabral, Liliana

A2 - Tudorache, Tania

PB - Springer

CY - Berlin, Heidelberg

T2 - The 7th Extended Semantic Web Conference

Y2 - 30 May 2010 through 3 June 2010

ER -