Non-Standard Inferences in Description Logics
Tang Su · 2010
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.