Health & Environmental Research Online (HERO)


Print Feedback Export to File
7264979 
Journal Article 
Verifying and Validating Multi-layered Models with OWL FA Toolkit 
Jekjantuk, N; Pan, JZ; Groener, G; , 
2010 
SPRINGER-VERLAG BERLIN 
BERLIN 
391-+ 
WOS:000279595500030 
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. 
Tudorache, T; Aroyo, L; Antoniou, G; Hyvonen, E; TenTeije, A; Stuckenschmidt, H; Cabral, L; 
978-3-642-13488-3 
7th Extended Semantic Web Conference (ESWC2010) 
Heraklion, GREECE