Logical Connections of Statements in Ontologies
Cungen Cao, Yuefei Sui, Yu Xin Sun · 2006
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