Verifying and Validating Multi-layered Models with OWL FA Toolkit

被引：0
|
作者：
Jekjantuk, Nophadol [1 ]
Pan, Jeff Z. [1 ]
Groener, Gerd [2 ]
机构：
[1] Univ Aberdeen, Aberdeen AB9 1FX, Scotland
[2] Univ Koblenz Landau, Mainz, Germany
来源：
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS | 2010年 / 6089卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：391 / +
页数：2
相关论文
共 50 条
  • [21] Psychology - a multi-layered reality
    Maree, Kobus
    SOUTH AFRICAN JOURNAL OF PSYCHOLOGY, 2009, 39 (03) : 263 - 265
  • [22] Penalized Maximum Likelihood Estimation of Multi-layered Gaussian Graphical Models
    Lin, Jiahe
    Basu, Sumanta
    Banerjee, Moulinath
    Michailidis, George
    JOURNAL OF MACHINE LEARNING RESEARCH, 2016, 17
  • [23] Multi-layered chiral filters
    Cory, H
    Rosenhouse, I
    ELECTROMAGNETICS, 1997, 17 (04) : 317 - 341
  • [24] Multi-layered Expression Synthesis
    Lin, Jia-Ru
    Lin, I-Chen
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2011, 27 (01) : 337 - 351
  • [25] A multi-layered approach to VPNs
    Berkoski, Leonard
    Telecommunications (International Edition), 2002, 36 (09): : 23 - 28
  • [26] DISPERSED, MULTI-LAYERED SPACE
    FUJII, H
    ARCHITECTURAL DESIGN, 1989, 59 (1-2) : 67 - &
  • [27] Multi-layered holograms and their fabrication
    Fitio, Volodymyr M.
    Bobitski, Yaroslav V.
    1600, Technical University of Wroclaw (31):
  • [28] Multi-layered folding with voids
    Dodwell, T. J.
    Hunt, G. W.
    Peletier, M. A.
    Budd, C. J.
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2012, 370 (1965): : 1740 - 1758
  • [29] Multi-layered PSMs for Planning
    Teruel-Alberich, F
    Romero-Castro, M
    Rodríguez-Rodríguez, A
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVII, 2001, : 375 - 388
  • [30] Mobile multi-layered IPsec
    Choi, H
    Song, H
    Cao, GH
    La Porta, T
    IEEE Infocom 2005: The Conference on Computer Communications, Vols 1-4, Proceedings, 2005, : 1929 - 1939
12345