...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computers, Environment and Urban Systems >Ontology-based verification of core model conformity in conceptual modeling
【24h】

Ontology-based verification of core model conformity in conceptual modeling

机译：概念建模中基于本体的核心模型一致性验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Reference models, often called core models are developed in various application domains. Until now, no computational support exists for the task of verifying the conformity between such core models and their domain models. The approach developed at Bamberg University uses Semantic Web technologies to examine whether or not a domain model is a derivation of a core model. This ontology-based conformity verification supports an iterative modeling process in which core or domain models are modified. Inference services as provided by ontologies can be used to analyze the relationships between core and domain models. For example, it is possible to formally prove which specific relations hold between two types of models and compare the result with the intentions of the domain experts involved in the modeling. As a consequence, knowledge not explicitly represented is revealed. In case that the domain model does not conform to the core model, an interpretation of the inference results is provided in ordinary language giving the domain experts hints on how to modify either the core model, the domain model or both. We evaluated our approach by applying it to a core model and a domain, hence national model from the cadastral domain. Conformity was verified between the core cadastral model proposed by [Lemmen, C, van der Molen, P., van Oosterom, P., Ploeger, H., Quak, W., Stoter, J., et al. (2003). A modular standard for the cadastral domain. In Proceedings of digital earth 2003: Information resources for global sustainability: knowledge, networks, technology, economy, society, natural and human resources, policy and strategy. Brno, Czech Republic, pp. 108-117] and the Greek cadastral model [Tzani, A. (2003). Object-oriented modeling of the Greek Cadastre. Master's thesis, School of Rural and Surveying Engineering of Aristotle University of Thessaloniki], which both are results of research activities related to the European COST Action G9 "Modeling Real Property Transactions". Although our approach to conformity verification was only evaluated with the cadastral models, it can be used for conformity verification in various applications domains due to its generality.
机译：参考模型（通常称为核心模型）是在各种应用程序领域中开发的。到目前为止，还没有任何计算支持可用于验证此类核心模型及其领域模型之间的一致性。班贝格大学开发的方法使用语义Web技术来检查域模型是否是核心模型的派生。这种基于本体的一致性验证支持迭代建模过程，在该过程中可以修改核心或领域模型。本体提供的推理服务可用于分析核心模型和领域模型之间的关系。例如，可以正式证明两种类型的模型之间存在哪些特定关系，并将结果与​​参与建模的领域专家的意图进行比较。结果，揭示了未明确表示的知识。如果域模型不符合核心模型，则以普通语言提供推理结果的解释，从而为域专家提供有关如何修改核心模型，域模型或两者的提示。我们通过将其应用到核心模型和域（因此是地籍域的国家模型）来评估我们的方法。在[Lemmen，C，van der Molen，P.，van Oosterom，P.，Ploeger，H.，Quak，W.，Stoter，J.等人提出的核心地籍模型之间验证了一致性。 （2003）。地籍域的模块化标准。在《数字地球学报》（2003年）中：实现全球可持续性的信息资源：知识，网络，技术，经济，社会，自然和人力资源，政策和战略。捷克共和国布尔诺，第108-117页]和希腊地籍模型[Tzani，A.（2003）。希腊地籍的面向对象建模。硕士学位，塞萨洛尼基亚里士多德大学农村与测量工程学院，这都是与欧洲COST行动G9“房地产交易建模”相关的研究活动的结果。尽管我们的一致性验证方法仅使用地籍模型进行了评估，但由于其通用性，它可用于各种应用领域中的一致性验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号