Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens

这是一种直接的形式，它可以直接在模型中进行研究，也可以直接在模型中进行设计。这是一个在模块化中使技术和元结果变得清晰的问题，它是由一个韦尔登的语言决定的。Zum anderen sollen Hilfe der für Beschreibungslogiken entwickelten algorithmischen Techniken praktikable schemes für Modallogiken entwerfen und implementiert韦尔登. Zusätzlich soll die Combination von Modal- und Beschreibungslogiken genauer untersucht韦尔登.从这一点上，我们可以看出，集中的知识和动态的知识是相互联系的。由于这一模式的特点，这一组合成为了一种模式，但通过这种模式的组合，在最好的模式下，这一组合成为了一种模式。Auch hierfür wird das Hauptaugenmerk auf der Entwicklung praktikabler Entscheidungsverfahren für die betrachteten Logiken liegen.

Ziel des Vorhabens ist es, eine direkte Zusammenarbeit zwischen Forschern im Bereich Modallogik einerseits und im Bereich Beschreibungslogik andererseits zu initiieren. Dadurch sollen zum einen die in der Modallogik entwickelten starken Techniken und Meta-Resultate auf Beschreibungslogiken übertragen werden. Zum anderen sollen Hilfe der für Beschreibungslogiken entwickelten algorithmischen Techniken praktikable Algorithmen für Modallogiken entworfen und implementiert werden. Zusätzlich soll die Kombination von Modal- und Beschreibungslogiken genauer untersucht werden. Aus Sicht der Beschreibungslogiken ermöglicht dies die Darstellung intensionalen Wissens und dynamischen Wissens. Aus der Sicht der Modallogik liefert diese Kombination eine Modeallogik erster Stufe, die aber durch die Einschränkung auf Beschreibungslogiken besser handhabbarer ist als volle Modallogik erster Stufe. Auch hierfür wird das Hauptaugenmerk auf der Entwicklung praktikabler Entscheidungsverfahren für die betrachteten Logiken liegen.