DocumentCode
3230557
Title
Independence of concepts with application to conceptual modeling
Author
Fu Li
Author_Institution
Sch. of Software Eng., Chongqing Univ., Chongqing, China
fYear
2009
fDate
25-28 July 2009
Firstpage
1877
Lastpage
1880
Abstract
This paper investigates the independence relation of concepts and its application to conceptual modeling which is important for knowledge engineering and software engineering of today. Four possible (collectively exhaustive and mutually exclusive) basic relations of two concepts are given and analyzed, whereby the notion of independence relation is introduced. Formalism for the independence of concepts is presented. Forms of expressions for defining or describing concepts in a description logic TBox are discussed, with emphasis on the form of intersection of independent concepts.
Keywords
formal logic; TBox description logic; conceptual modeling; knowledge engineering; software engineering; Application software; Automatic logic units; Blood; Computer science; Computer science education; Concrete; Knowledge engineering; Ontologies; Random variables; Software engineering; concept; conceptual modeling; description logics; independence; knowledge base; knowledge modeling; ontology; relation; semantics;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science & Education, 2009. ICCSE '09. 4th International Conference on
Conference_Location
Nanning
Print_ISBN
978-1-4244-3520-3
Electronic_ISBN
978-1-4244-3521-0
Type
conf
DOI
10.1109/ICCSE.2009.5228234
Filename
5228234
Link To Document