Kostenbasierte Semantik: Datenkomplexität bei Description Logic‑KB neu beleuchtet
In einer wegweisenden Studie wird die Datenkomplexität von Abfragen in inkonsistenten, gewichteten Description‑Logic‑Wissensbasen unter einer neu eingeführten kostenbasierten Semantik untersucht. Dabei wird jeder möglichen Interpretation ein Kostenwert zugeordnet, der sich aus den Gewichten der verletzten Axiome und Assertions ergibt. Abhängig davon, ob man alle optimalen oder nur einige zulässige Interpretationen betrachtet, lassen sich bestimmte und mögliche Abfrageantworten bestimmen.
