Hybrid MKNF: Neue Heuristiken für Luftfahrtanwendungen

Die Integration von Wissensrepräsentation und -verarbeitung in Luftfahrtanwendungen steht vor zwei zentralen Herausforderungen: einerseits muss die Sprache komplexes Fachwissen exakt abbilden können, andererseits müssen die damit verbundenen Rechenaufgaben effizient ausgeführt werden, ohne dabei Speicher und Rechenleistung zu überstrapazieren.

Um diese Anforderungen zu erfüllen, setzt die Studie auf die etablierte KR‑Sprache Hybrid MKNF. Diese verbindet Regeln und Ontologien nahtlos, indem sie ein gemeinsames Semantikmodell nutzt und gleichzeitig leistungsfähige Abfragefunktionen bereitstellt. Durch die Kombination beider Konzepte wird die notwendige Ausdruckskraft erreicht, ohne die Effizienz zu gefährden.

In einem konkreten Anwendungsfall aus der Luftfahrt wurde Hybrid MKNF evaluiert. Die Analyse zeigte, welche zusätzlichen Ausdrucksfunktionen für die Praxis entscheidend sind, und führte zu einer Reihe von Heuristiken, die die Integration dieser Features in das Hybrid‑MKNF‑Framework erleichtern. Damit liefert die Arbeit einen praxisnahen Leitfaden für Entwickler, die robuste und effiziente Luftfahrtsoftware aufbauen wollen.