Verifying and Validating Multi-layered Models with OWL FA Toolkit

Verifying and Validating Multi-layered Models with OWL FA Toolkit
复制标题

使用 OWL FA 工具包验证和验证多层模型

DOI：
--
复制
发表时间：
2010
期刊：
Extended Semantic Web Conference
影响因子：
--
通讯作者：
Gerd Gröner
Gerd Gröner
中科院分区：
--
文献类型：
--
作者：
Nophadol Jekjantuk;Jeff Z. Pan;Gerd Gröner

文献摘要

被引文献

相似文献

本文详细介绍了使用OWL FA工具包验证和验证多层（Meta）建模使用OWL FA中描述的本体。我们将展示OWL FA及其推理器（OWL FA Toolkit）如何通过实际用例使软件建模者受益于利用软件开发生命周期。
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.