Scholarlink

In this paper, we propose a well-founded domain-independent system ontology based on the Unified Foundational Ontology (UFO) and the associated Multi-Level Theory (MLT). In our ontology, (composite) system types are designed by defining component types, connection types, and other type-level phenomena. We discuss how the proposed ontology can be used to guide the modeling of systems in specific domains. We position our work with respect to a number of ontologies in the literature that address system-related notions, as well as with respect to system modeling approaches.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Towards an Ontology of Type-Level Phenomena for System Modeling

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Rodrigo Fernandes Calhau,
  • João Paulo A. Almeida,
  • Giancarlo Guizzardi,
  • Raquel Hoffmann,
  • Luís Ferreira Pires,
  • James Logan,
  • João Rebelo Moreira

摘要

In this paper, we propose a well-founded domain-independent system ontology based on the Unified Foundational Ontology (UFO) and the associated Multi-Level Theory (MLT). In our ontology, (composite) system types are designed by defining component types, connection types, and other type-level phenomena. We discuss how the proposed ontology can be used to guide the modeling of systems in specific domains. We position our work with respect to a number of ontologies in the literature that address system-related notions, as well as with respect to system modeling approaches.