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

使用部分上下文的形式概念分析方法完成描述性逻辑知识库

• 批准号: 55006481
• 负责人: Professor Dr.-Ing. Franz Baader
• 金额: --
• 依托单位: Professur für Automatentheorie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/55006481?language=en
• 关键词: Vervollst; ndigung; von; beschreibungslogischen; Wissensbasen

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.

在OWL中定义了语义网（WWW-Konsortium），在OWL中定义了本体（ontology），在OWL中定义了本体（ontology），在OWL中定义了本体（ontology），在OWL中定义了本体（ontology）。Da diese ontology zusätzlich immer größer und komplizierter werden, wind die Bereitstellung von Methoden und Tools, die die Qualitätssicherung von auf Beschreibungslogiken basierenden ontologgien unterstzzen, immer whichtiger。beschreibunglogische Inferenz风in diesem context eingesetzt， um inconsistent aufzudecken and implizites Wissen herzuleiten, das aus dem explizizit repräsentierten Wissen folgt。他给了我们更多的信息，如：verversprechende Ansätze， ververerlauben, ververinconconsistenz, ververonconconsistenz, ververconconsistenz, ververconconconenz, ververconconconenz, verconconconenz, verconconconenz, verconconconenz, verconconconenz, verconconsistenz bzw。[au:] [au:] [au:]所有疾病Ansätze beschränken见上文所述的疾病Qualitätsdimension见korrektheeiner ontology。在这个项目中，我们可以看到，在我们的网站上，我们可以看到：Qualitätsdimension näher untersucht werden: die Vollständigkeit。他主持了一个正式的会议，将资助themethoden entwickelt werden， die den ontology - ingenieure dabei unterst<s:1> tzen festzustellen， die ontology - alle相关信息<e:1>, derden anwendungsereich enthält oder night, and die ontology - zuerweitern, wenn dies night der Fall ist。所有的遗传变异都是由遗传变异引起的。遗传变异是由遗传变异引起的。Die Verwendung von Methoden der Formalen begriffs analysis solsoles ermöglichen, interinterintermesdem expertenaufin Minimum beschränken, underseits den begriffer Vollständigkeit mathematics exakakzuerfassen。[1][1][1][1][2][1]。在曼彻斯特大学生物信息学研究中心，生物信息学研究中心，生物信息学研究中心，生物信息学研究中心。