Inferenzprobleme
Sonntag, November 10th, 2013Unter Inferenzproblemen versteht man in der Beschreibungslogik die Probleme die bei der Überprüfung, ob eine Schlussfolgerung gilt oder nicht, auftauchen. Generell besteht deshalb das Ziel Inferenzprobleme automatisch zu lösen, auch automatisches schließen genannt. Wie bei einer Wissenbasis werden auch die Inferenzprobleme in zwei Kategorien eingeteilt: TBOX-Inferenzprobleme ABOX-Inferenzprobleme Zu den TBOX-Inferenzproblemen gehören Erfüllbarkeit Subsumption Äquivalenz Disjunktheit […]