Abstrakt. Vi föreslår en ny metod för resonemang i beskrivningslogiken SHIQ. Efter en tillfredsställande bevarande omvandling från SHIQ till beskrivningen logik ALCIb, den erhållna ALCIb Tbox T omvandlas till en beställd binär beslut diagram (OBDD) som representerar en kanonisk modell för T. Denna OBDD förvandlas till en diskontiv datalogg program som kan användas för Abox resonemang. Algoritmen är i värsta fall optimal w.r.t. data komplexitet, och medger enkla förlängningar med DL-säkra regler och mark konjunktiva frågor.
Rudolph m.fl. föreslog en beställd binär beslut diagram (OBDD) metod REF.
Description Logic Reasoning with Decision Diagrams CompilingSHIQ to Disjunctive Datalog
{'venue': 'International Semantic Web Conference', 'journal': None, 'mag_field_of_study': ['Materials Science', 'Computer Science']}