权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

基于语义的空间问题形式表示和推理技术

基本信息

批准号：
5253900
负责人：
Professor Dr. Bernd Neumann
金额：
--
依托单位：
Arbeitsbereich Kognitive Systeme (KOGS) (aufgelöst)
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2000
资助国家：
德国
起止时间：
1999-12-31 至 2004-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/5253900?language=en
关键词：
Semantikbasierte formale Repr sentations und

项目摘要

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. ...

Ziel des Vorhabens ist die Weiterentwicklung von beschreibunglogischen Wissensrepräsentationsformalismen unbesonderer berksichtigung von modelliungstechniken f<e:1> r räumliche Phänomene。Es sollen korrekte und vollständige Schlußfolgerungsmechanismen entwickelt werden, mit denen Es möglich ist，定量和定性的Informationen <s:1> ber räumliche object and Phänomene mit konzeptuellen, begrifflichen Informationen in systematischer Weise zu verbinden。Damit können z. B. räumliche Merkmale bei der classification von Konzepten and object in angemessener Weise berksichtigt werden。研究方向：德国模型集成模型建模与建模与建模研究中心möglich，德国模型建模与建模研究中心während德国模型构建与建模与建模研究中心<e:1>。德语德语德语德语德语德语德语德语德语德语德语德语德语德语德语Damit können，这是一个问题，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论，理论。《地理信息系统研究进展》，《地理信息系统研究进展》Wissensrepräsentation，《地理信息系统研究进展》. ...