Local closed world reasoning： a personal view on current status and trends

• Published in: Frontiers of information technology & electronic engineering Vol. 13; no. 4; pp. 250 - 252
• Main Authors: Pan, Jeff Z., Ren, Yuan
• Format: Journal Article
• Language: English
• Published: Heidelberg SP Zhejiang University Press 01.04.2012; Springer Nature B.V
• Subjects: Communications Engineering; Computer Hardware; Computer Science; Computer Systems Organization and Communication Networks; Electrical Engineering; Electronics and Microelectronics; Instrumentation; Networks; Personal View; 人工智能; 关系数据库; 封闭世界假设; 局部封闭; 推理机; 描述逻辑; 知识本体; 计算机科学; Description Logic; Vegetarian Food; Ontology Application; Closed World Assumption; Ontology Reasoning
• ISSN: 1869-1951; 2095-9184; 1869-196X; 2095-9230
• DOI: 10.1631/jzus.C1101004

1 Introduction In computer science and artificial intelligence, an ontology is a model of （some aspect of） the world that introduces the vocabulary of a particular domain, and specifies the meaning （semantics） of terms. Today＇s ontologies are based on the description logics （DLs）. With the help of DL reasoners, implicit knowledge can be inferred from explicit knowledge in an ontology. Different from the relational database or logic programming, ontologies impose the open world assumption （OWA） instead of the closed world assumption （CWA）. In CWA, a proposition will be regarded as false, if there is no evidence for it being true. While in OWA,