Optimierungstechniken für beschreibungslogische Schlussfolgerungssysteme im Bereich der Geo-Daten (GeoDL)

地理数据（GeoDL）领域描述性推理系统的优化技术

• 批准号: 125173334
• 负责人: Professor Dr. Ralf Möller
• 金额: --
• 依托单位: Eidg. Forschungsanstalt für Wald, Schnee und Landschaft WSL
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2009
• 资助国家: 德国
• 起止时间: 2008-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/125173334?language=en
• 关键词: Optimierungstechniken; beschreibungslogische; Schlussfolgerungssysteme; im; Bereich

Das Vorhaben untersucht Optimierungstechniken für terminologische und räumlichgeographische Schlussfolgerungsverfahren im Kontext von Ontologie-basierten Informationssystemen. Beschreibungslogiken bilden hierfür eine wesentliche Grundlage, müssen allerdings durch andere Repräsentationstechniken ergänzt werden. Die natürlich erscheinende Definition von räumlichen Relationen mit Hilfe von Prädikaten aus einer konkreten Domäne wurde in [Lutz et al., 1997, Haarslev et al., 1998] als im Allgemeinen zu ausdrucksstark, d.h. unentscheidbar nachgewiesen. Da auch bekannt ist, dass eine integrierte Kopplung von Beschreibungslogiken und Relationenalgebren wie z.B. RCC zu einer unentscheidbaren Logik führt (siehe die Arbeiten [Wessel, 2001, Lutz und Wolter, 2006]), wurden verschiedene neue Kopplungsmöglichkeiten für terminologisches und räumlich-geographisches Wissen vorgeschlagen (siehe z.B. [Kutz et al., 2004, Wessel und Möller, 2007, Lutz und Milicic, 2007]). In diesem Antrag für das Projekt GeoDL werden die Vorschläge aus [Wessel und Möller, 2007, Lutz und Milicic, 2007] methodisch verbunden und in systematischer Weise ergänzt. Für den Ansatz aus [Lutz und Milicic, 2007] (ω-zulässige konkrete Domänen) werden Optimierungstechniken entwickelt, die es gestatten, die dort vorgestellten theoretischen Techniken in tableau-basierte beschreibungslogische Schlussfolgerungssysteme zu integrieren, um auf der Ebene des intensionalen, terminologischen Schließens auch räumliche Aspekte in großen Ontologien zu berücksichtigen. Gestärkt durch diese Art von ausdrucksstarke Ontologien, wird der Ansatz aus [Wessel und Möller, 2007] (mehrschichtige Repräsentation mit Kopplung der Formalismen in der Anfragesprache) um Anfrageübersetzungstechniken ergänzt, die es gestatten, optimierte Anfrageevaluierungspläne für eine Sekundärspeicher-gestützte Anfragebeantwortung, etwa in einem GIS, unter Berücksichtigung von Ontologien zu bestimmen.

中文摘要：基于本体的信息系统研究与发展。Beschreibungslogiken bilden hierfgr eine wesentliche Grundlage, mssen allerdings durch andere Repräsentationstechniken ergänzt werden。[footnoteref: 1] [footnoteref: 1] [Lutz et al., 1997, Haarslev et al., 1998] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1] [footnoteref: 1][2][库茨等人，2004，韦塞尔和Möller， 2007，卢茨和米利契奇，2007]. [1][b] . [1] [c] . [c] . [c] . [c] . [c] . [c] . [c] .]在diesem Antrag毛皮das Projekt GeoDL了死Vorschlage来自(Lutz和米利西奇韦塞尔和穆勒,2007年,2007]methodisch verbunden和在systematischer怀斯erganzt。[4] [Lutz和Milicic， 2007] (ω-zulässige konkrete Domänen) werden Optimierungstechniken entwickelt, die es gestatten, die dort vorgestellten theory - schtischen Techniken in tableau- baserte beschreibunglogische Schlussfolgerungssysteme zu integrieren, um auder Ebene des intensionalen, terminologischen Schließens auch räumliche Aspekte in großen Ontologien zu bercksichtigen .]Gestärkt durch diese Art von ausdrucksstarke ontology, wird der Ansatz aus [Wessel and Möller, 2007] (mehrschichtige Repräsentation mit Kopplung der Formalismen in der anfrage<s:2> bersetzungstechniken ergänzt), die es gestatten, optimierte Anfrageevaluierungspläne f<s:1> r eine Sekundärspeicher-gestützte Anfragebeantwortung, etwa in einem GIS, unterberchsichtigung von Ontologien zu beestimmen。