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

^*Corresponding author for this work

Computing Science

University of Koblenz-Landau

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

1 Citation (Scopus)

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
Subtitle of host publication	Research and Applications - 7th Extended Semantic Web Conference, ESWC 2010, Proceedings
Pages	391-395
Number of pages	5
Edition	PART 2
DOIs	https://doi.org/10.1007/978-3-642-13489-0_30
Publication status	Published - 14 Jul 2010
Event	7th Extended Semantic Web Conference, ESWC 2010 - Heraklion, Crete, Greece Duration: 30 May 2010 → 3 Jun 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 2
Volume	6089 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th Extended Semantic Web Conference, ESWC 2010
Country/Territory	Greece
City	Heraklion, Crete
Period	30/05/10 → 3/06/10

Access to Document

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

Cite this

Jekjantuk, N., Pan, J. Z., & Gröner, G. (2010). Verifying and validating multi-layered models with OWL FA toolkit. In The Semantic Web: Research and Applications - 7th Extended Semantic Web Conference, ESWC 2010, Proceedings (PART 2 ed., pp. 391-395). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6089 LNCS, No. PART 2). 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, Proceedings. PART 2. ed. 2010. p. 391-395 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6089 LNCS, No. PART 2).

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

Jekjantuk, N, Pan, JZ & Gröner, G 2010, Verifying and validating multi-layered models with OWL FA toolkit. in The Semantic Web: Research and Applications - 7th Extended Semantic Web Conference, ESWC 2010, Proceedings. PART 2 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 2, vol. 6089 LNCS, pp. 391-395, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, 30/05/10. https://doi.org/10.1007/978-3-642-13489-0_30

Jekjantuk N, Pan JZ, Gröner G. Verifying and validating multi-layered models with OWL FA toolkit. In The Semantic Web: Research and Applications - 7th Extended Semantic Web Conference, ESWC 2010, Proceedings. PART 2 ed. 2010. p. 391-395. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2). doi: 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, Proceedings. PART 2. ed. 2010. pp. 391-395 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2).

@inproceedings{64f6be4641654e7ea4faa0fc3f2e4aca,

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

day = "14",

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

language = "English",

isbn = "3642134882",

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

number = "PART 2",

pages = "391--395",

booktitle = "The Semantic Web",

edition = "PART 2",

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

}

TY - GEN

T1 - Verifying and validating multi-layered models with OWL FA toolkit

AU - Jekjantuk, Nophadol

AU - Pan, Jeff Z.

AU - Gröner, Gerd

PY - 2010/7/14

Y1 - 2010/7/14

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.

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

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

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

M3 - Published conference contribution

AN - SCOPUS:77954407782

SN - 3642134882

SN - 9783642134883

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

SP - 391

EP - 395

BT - The Semantic Web

T2 - 7th Extended Semantic Web Conference, ESWC 2010

Y2 - 30 May 2010 through 3 June 2010

ER -

Verifying and validating multi-layered models with OWL FA toolkit

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this