Semantikbasierte formale Repräsentations- und Inferenztechniken für räumliche Problemstellungen

Ziel des Vorhabens ist die Weiterentwicklung von beschreibungsystem ischen Wissensrepräsentationsformalismen unter besonderer Berücksichtigung von Modellierungstechniken für räumliche Phänomene.作为韦尔登，我们必须解决所有的问题，并建立一套完整的、定量的、定性的信息系统，以系统化的方式提供客观的和客观的信息。Damit können z B。räumliche Merkmale bei der Klassifikation von Konzepten und Objekten in angemessener Weise berücksichtigt韦尔登.数据建模的完整形式将由我们来完成。a.然而，模型制作者们在模型制作过程中会遇到一些困难。因此，我们可以优化推理算法，以使韦尔登能够为现实主义的知识基础上的焦虑提供信息。通过理论分析和系统化的推理，我们可以找到解决问题的方法。Das Vorhaben zielt darauf ab，Grundlagen zur Wissensrepräsentation and insbesondere zur Bearbeitung von Anfragen an deduktive geographische Informationssysteme zu schaffen. ...

Ziel des Vorhabens ist die Weiterentwicklung von beschreibungslogischen Wissensrepräsentationsformalismen unter besonderer Berücksichtigung von Modellierungstechniken für räumliche Phänomene. Es sollen korrekte und vollständige Schlußfolgerungsmechanismen entwickelt werden, mit denen es möglich ist, quantitative und qualitative Informationen über räumliche Objekte und Phänomene mit konzeptuellen, begrifflichen Informationen in systematischer Weise zu verbinden. Damit können z. B. räumliche Merkmale bei der Klassifikation von Konzepten und Objekten in angemessener Weise berücksichtigt werden. Durch die integrierte Form der Datenmodellierung wird es u. a. möglich, Modellierungsfehler schon während der Modellbildung durch Schlußfolgerungen über Konzepte zu vermeiden. Durch zu entwickelnde optimierte Inferenzalgorithmen zur informierten Suche werden kurze Rechenzeiten für realistische Wissensbasen angestrebt. Damit können wichtige Anwendungsprobleme durch theoretisch abgesicherte und systematisch geteste Inferenzverfahren gelöst werden. Das Vorhaben zielt darauf ab, Grundlagen zur Wissensrepräsentation und insbesondere zur Bearbeitung von Anfragen an deduktive geographische Informationssysteme zu schaffen. ...