Title :
Logical Connections of Statements in Ontologies
Author :
Cao, Cungen ; Sui, Yuefei ; Sun, Yu
Author_Institution :
Inst. of Comput. Technol., Chinese Acad. of Sci., Beijing
Abstract :
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
Keywords :
formal logic; ontologies (artificial intelligence); formal logic; logical statement connections; ontologies; Boolean algebra; Cognitive informatics; Computers; Information processing; Laboratories; Logic; Ontologies; Sun; Terminology; Thesauri; Concepts; Individuals; Logical implication; Negation; Ontologies;
Conference_Titel :
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
1-4244-0475-4
DOI :
10.1109/COGINF.2006.365529
