Scholarlink

Utilizing abstractions of large conceptual models may enhance their clarity and comprehensibility. This work assesses an existing algorithm for generating abstractions of ontology-driven conceptual models. Although the algorithm has been empirically evaluated using the FAIR catalog of such models, it still lacks formal semantics. This paper addresses this gap by formalizing the basic transformations underlying the abstraction process in \(\mathcal {SROIQ}\) —the expressive and decidable description logic that underpins the Web Ontology Language (OWL 2). Specifically, it demonstrates that, under certain natural assumptions, these transformations are obtained by a formal procedure known as axiom weakening.

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

Abstracting Conceptual Models as a Weakening Process

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Elena Romanenko,
  • Oliver Kutz,
  • Diego Calvanese,
  • Giancarlo Guizzardi

摘要

Utilizing abstractions of large conceptual models may enhance their clarity and comprehensibility. This work assesses an existing algorithm for generating abstractions of ontology-driven conceptual models. Although the algorithm has been empirically evaluated using the FAIR catalog of such models, it still lacks formal semantics. This paper addresses this gap by formalizing the basic transformations underlying the abstraction process in \(\mathcal {SROIQ}\) —the expressive and decidable description logic that underpins the Web Ontology Language (OWL 2). Specifically, it demonstrates that, under certain natural assumptions, these transformations are obtained by a formal procedure known as axiom weakening.