Title :
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
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;
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
DOI :
10.1109/FITME.2008.140
