A Logical and Ontological Framework for Compositional Concepts of Objects and Properties
A Logical and Ontological Framework for Compositional Concepts of Objects and Properties
复制标题
DOI：
10.1007/s00354-015-0203-9
复制
发表时间：
2015-04
影响因子：
2.6
通讯作者：
K. Kaneiwa;R. Mizoguchi;Philip H. P. Nguyen
中科院分区：
文献类型：
--
作者：
K. Kaneiwa;R. Mizoguchi;Philip H. P. Nguyen
为了形式化复杂的和组成的概念，我们提出了一个逻辑框架的基础上构建的上层本体的基本概念，如属性和对象的组合。特别地，不容易通过使用伊萨和PART-OF关系来定义的本体上不同的组成（称为本体组成）被分类为表征、时间和空间组成（例如，“今天”和“今天”）。在本文中，我们精确地使用一元二阶逻辑建模这样的本体组成;属性和对象表示为谓词，属性表示为谓词的谓词。该方法为属性作为高阶概念的分类提供了一种新的技术，并澄清了属性和对象的非法组合以及时态属性的唯一性。此外，我们的组合本体描述了一组RDF三元组使用元建模的概念在RDF模式。
In order to formalize complex and compositional concepts, we propose a logical framework based on an upper ontology constructed from the composition of basic concepts such as properties and objects. In particular, ontologically distinct compositions (called ontological compositions) that are not easily defined by using ISA and PART-OF relations are classified into characterizing, temporal, and spatial compositions (e.g., ’red face’ and ’today’). In this paper, we precisely model such ontological compositions by using monadic second-order logic; properties and objects are expressed as predicates, and attributes are expressed as predicates of predicates. The proposed approach provides a novel technique for the classification of attributes as higher-order concepts, and it clarifies illegal compositions of properties and objects and the uniqueness of temporal attributes. Moreover, our composition ontology is described by a set of RDF triples using the metamodeling of concepts in RDF Schema.