<h1>LLMs können OWL-Logik beweisen – neue Studie zeigt Stärken und Grenzen</h1> <p>Die Fähigkeit großer Sprachmodelle, logische Schlussfolgerungen zu ziehen, wurde in den letzten Jahren intensiv erforscht. Was jedoch noch wenig beleuchtet wurde, ist die Fähigkeit, Beweise zu generieren, die sowohl treu zur Logik als auch für Menschen verständlich sind. In einer aktuellen Arbeit wird genau dieses Thema im Kontext von OWL‑Ontologien untersucht, die häufig zur Darstellung und zum Schlussfolgern komplexer Wisse