Diskussion:Beschreibungslogik

Die Formulierung "Dies ermöglicht über eine Beschreibungslogik zu schließen" ist missverständlich, weil nicht klar ist, worauf sich das "dies" bezieht. Man könnte den Satz so missverstehen, als beziehe sich das "dies" auf die im vorangehenden Satz genannte Entscheidbarkeit - das kann aber nicht gemeint sein, weil man natürlich auch mit nicht entscheidbaren logischen Systemen schließen kann. Ich nehme daher an, dass sich das "dies" auf "Prädikatenlogik" bezieht. Das ist dann nur mehr ein bisschen missverständlich, weil man ja auch in anderen logischen Systemen schließen kann. ;-)

Ich würde emendieren, dass in etwa Folgendes gemeint ist:

Die Verwandtschaft zur Prädikatenlogik ermöglicht es, mit den aus dieser vertrauten Mitteln zu schließen.

Da ich mich mit Beschreibungslogik nicht beschäftigt habe, traue ich mir aber kein sicheres Urteil zu, deshalb möchte ich nicht selber in den Artikel eingreifen. --GottschallCh 01:15, 26. Dez 2005 (CET)

Gemeint ist wohl, dass in Beschreibungslogiken (DLs) in endlicher Zeit alles Ableitbare auch (theoretisch, praktisch ist eine ganze andere Baustelle) abgeleitet werden kann. Das ist in Prädikatenlogik nicht der Fall. Ich werde mich mal in nächster Zeit dem Artikel hoffentlich annehmen können. So inhaltsleer sollte er nicht bleiben, zumal gerade Deutschland in der DL-Forschung stark vertreten ist. Dhke (Diskussion) 10:26, 11. Mai 2013 (CEST)