DocumentCode
463387
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
Volume
1
fYear
2006
fDate
17-19 July 2006
Firstpage
440
Lastpage
446
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location
Beijing
Print_ISBN
1-4244-0475-4
Type
conf
DOI
10.1109/COGINF.2006.365529
Filename
4216446
Link To Document