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 proceedingConference contribution

Abstract / Description of output

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 languageEnglish
Title of host publicationThe Semantic Web: Research and Applications
Subtitle of host publication7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II
EditorsLora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages5
ISBN (Electronic)978-3-642-13489-0
ISBN (Print)978-3-642-13488-3
Publication statusPublished - 5 Jun 2010
EventThe 7th Extended Semantic Web Conference - Heraklion, Greece
Duration: 30 May 20103 Jun 2010
Conference number: 7

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceThe 7th Extended Semantic Web Conference
Abbreviated titleESWC 2010
Internet address


Dive into the research topics of 'Verifying and Validating Multi-layered Models with OWL FA Toolkit'. Together they form a unique fingerprint.

Cite this