Logical Connections of Statements in Ontologies

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Jul 2006Publisher:IEEEJournal:2006 5th IEEE International Conference on Cognitive Informatics

Authors: Cungen Cao 0001; Yuefei Sui; Yu Sun 0005;

doi: 10.1109/coginf.2006.365529

Logical Connections of Statements in Ontologies

- Summary
- Metrics

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.

Related Organizations

Institute Of Computing Technology
China (People's Republic of)
Chinese Academy of Sciences
China (People's Republic of)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average