Matching in description logic εLN
Zhang Wei · Computer Engineering and Applications Journal · 2013
The importance of the nonstandard inference in description logic is analyzed and the current research work and existing problems are summed up.Aiming to the insufficiency of the matching inference which can't handle number restriction and existential restriction at the same time,this work concentrates on matching inference in description logic eLN.The concept patterns are defined by introducing in concept variables in description logic language,then the matching algorithm of eLN is presented,its soundness is proved and it is pointed out that the cardinality of the minimal completed set of matchers is exponential of the size of the matching problem.