A New Knowledge Representation Method Based on Ontology and Cloud Theory

Author

Lin Peiguang ; Zhou Zhizheng

Author_Institution

Sch. of Comput. & Inf. Eng., Shandong Univ. of Finance, Jinan

fYear

2008

fDate

20-20 Nov. 2008

Firstpage

49

Lastpage

52

Abstract

Description logics (short for DLs) are very important for the expression of ontologies, which allow reasoning about individuals and concepts. However, DLs can not process the indefinite knowledge existing widely in nature. Based on the cloud model, we present cloud-ALC to deal with the indefinite knowledge, which is the extension of the important description logic ALC. We define its syntax and semantic, study its properties in detail, and propose the techniques to solve the entailment problem. Case analysis proves that cloud-ALC can provide a formal underpinning for the indefiniteness extension of ontology description languages.

Keywords

formal logic; inference mechanisms; knowledge representation languages; ontologies (artificial intelligence); cloud model; cloud theory; cloud-ALC; description logic; indefinite knowledge; knowledge representation; ontology description language; reasoning; Automatic logic units; Clouds; Financial management; Fuzzy logic; Information technology; Knowledge engineering; Knowledge representation; Ontologies; Seminars; Terminology; cloud theory; knowledge representation; ontology;

fLanguage

English

Publisher

ieee

Conference_Titel

Future Information Technology and Management Engineering, 2008. FITME '08. International Seminar on

Conference_Location

Leicestershire, United Kingdom

Print_ISBN

978-0-7695-3480-0

Type

conf

DOI

10.1109/FITME.2008.140

Filename

4746439