Non-Standard Inferences in Description Logics

TANG Su-Qin,CAI Zi-Xing,WANG Ju,JIANG Yun-Cheng
2010-01-01
Pattern Recognition and Artificial Intelligence
Abstract:Description Logics belong to a kind of formalization method for representing knowledge in the knowledge engineering.Solving the standard and non-standard inferences has become an important research area of description logics in recent years.The significance and research advance on standard and non-standard inferences in description logics are summarized in this paper.The definition of Least Common Subsumer(LCS),Most Specific Concept(MSC),Rewriting,Matching,Debugging and Conservative Extensions,and the actualizing technologies of these Reasoning are given.Problems of the LCS,MSC,Matching,non-standard reasoning of hybrid terminological cycles in description logics and their research advance are discussed in particular.Finally,some prospects of non-standard inference in description logic are discussed.
What problem does this paper attempt to address?