Verifying and validating multi-layered models with OWL FA toolkit

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationThe Semantic Web
Subtitle of host publicationResearch and Applications - 7th Extended Semantic Web Conference, ESWC 2010, Proceedings
Pages391-395
Number of pages5
EditionPART 2
DOIs
Publication statusPublished - 14 Jul 2010
Event7th Extended Semantic Web Conference, ESWC 2010 - Heraklion, Crete, Greece
Duration: 30 May 20103 Jun 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 2
Volume6089 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th Extended Semantic Web Conference, ESWC 2010
CountryGreece
CityHeraklion, Crete
Period30/05/103/06/10

Fingerprint Dive into the research topics of 'Verifying and validating multi-layered models with OWL FA toolkit'. Together they form a unique fingerprint.

Cite this