Logical Connections of Statements in Ontologies

摘要：

In the classical formal logics, the negation can only be applied to formulas. An ontology contains descriptions of individuals, concepts and slots; and statements about individuals, concepts and slots. The negation can be applied to concepts, slots and statements, so that the logical implication should be considered for all possible combinations of individuals, concepts, slots and statements. This paper attempts to give such logical implications between individuals, concepts, slots, statements and their negations.

关键词： Ontologies Concepts Individuals Logical implication Negation.

作者: Cungen Cao Yuefei Sui Yu Sun

作者单位: Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences, Beijing 100080

会议类型: 国际会议

会议名称: Firth IEEE International Conference on Cognitive Informatics(第五届认知信息国际会议)

会议地点: 北京

会议语种:英文

页码: 440-446

在线出版日期: 2006-07-17（万方平台首次上网日期，不代表论文的发表时间）