Vervollständigung von beschreibungslogischen Wissensbasen mit Hilfe von Methoden der Formalen Begriffsanalyse auf partiellen Kontexten

Sit der Annahme der auf einer Beschreibungslogik basierenden Srache owl ALS Standardontologies Practihe für das Semantische Web das WWW-Konsortium in owl geschriebene Ontologien in immer Mehr Anwendungsbereichen erfolgreich eingesetzt.在此基础上，我们找到了一种新的方法和工具，这些工具和工具的质量很好。Beschreibungslogche Inferenz Wird in Diesem Kontext eingesetzt，um Inkonsistenzen aufzudecken and Implizens Wissen herzuleiten，das Aus DEM explizitit reprräsenerten Wissen folgt.从今天起，我们的工作将继续进行下去，这是一项非常重要的工作，因为这项工作并未完成。从本体论的维度来看，所有的人都是定制的。在这两个项目中，不同的维度是不同的。这是一种形式上的本体论和本体论，它是一种本体论，是一种本体论，是一种本体论和本体论。所有的系统都是自动运行的，所有的系统都是自动运行的。从数学的角度分析问题，找出问题的根本原因，找出解决问题的方法，给出最低限度的解决办法和方法。这是一个很好的方法，也是最好的方法。ALS Anwendungsbereich Sollen，在Zusammenarbeit麻省理工学院生物信息学和曼彻斯特大学，Ontologien Aus Dem Bereich der BioInformation atik Untersuht den。

Seit der Annahme der auf einer Beschreibungslogik basierenden Sprache OWL als Standardontologiesprache für das Semantische Web durch das WWW-Konsortium werden in OWL geschriebene Ontologien in immer mehr Anwendungsbereichen erfolgreich eingesetzt. Da diese Ontologien zusätzlich immer größer und komplizierter werden, wird die Bereitstellung von Methoden und Tools, die die Qualitätssicherung von auf Beschreibungslogiken basierenden Ontologien unterstützen, immer wichtiger. Beschreibungslogische Inferenz wird in diesem Kontext eingesetzt, um Inkonsistenzen aufzudecken und implizites Wissen herzuleiten, das aus dem explizit repräsentierten Wissen folgt. Es gibt hier auch erste vielversprechende Ansätze, die es erlauben, den Grund für eine Inkonsistenz oder eine Konsequenz genauer aufzuzeigen und damit die Auflösung der Inkonsistenz bzw. das Entfernen unerwünschter Konsequenz zu erleichtern. All diese Ansätze beschränken sich aber auf die Qualitätsdimension der Korrektheit einer Ontologie. In diesem Projekt soll eine andere wichtige Qualitätsdimension näher untersucht werden: die Vollständigkeit. Es sollen formal wohlfundierte Methoden entwickelt werden, die den Ontologieingenieure dabei unterstützen festzustellen, ob die Ontologie alle relevante Information über den Anwendungsbereich enthält oder nicht, und die Ontologie zu erweitern, wenn dies nicht der Fall ist. Eine derartige Erweiterung kann im allgemeinen nicht von einem automatisierten System alleine vorgenommen werden: sie erfordert auch die Befragung eines Experten. Die Verwendung von Methoden der Formalen Begriffsanalyse soll es ermöglichen, einerseits die Interaktion mit dem Experten auf ein Minimum zu beschränken und andererseits den Begriff der Vollständigkeit mathematisch exakt zu erfassen. Hierzu ist eine Erweiterung dieser Methoden auf sogenannte partielle Kontexte nötig. Als Anwendungsbereich sollen, in Zusammenarbeit mit Bioinformatikern an der University of Manchester, Ontologien aus dem Bereich der Bioinformatik untersucht werden.