Using Automaton Research Description Logic Inference Question
Wang Jin-jun · Computer and Modernization · 2008
This article first introduces how to translate the description logic into a indeterministic finite automaton,analyzes the question which in this kind of conversion process exists,In B.Nebel foundation,in order to effectively enhances the inference the efficiency,proposes to the automaton which above obtains carries on optimized processing using the automaton smallest theory.