Description Logic Explications ((09) A03)

基于描述逻辑的知识表示提供了描述网络物理系统及其环境的当前状态的方法，以及这些状态保证满足的约束的背景信息。为了解释系统的行为，还需要解释为什么某个相关的陈述可以或不可以从知识库中得到。A3项目将通过考虑抽象的逻辑和具体的数值和时间约束的结合，扩大这些解释方法的范围。这带来的挑战是结合不同的解释方法，使用不正确或缺失结果的解释来修复知识库，并开发用户自适应的解释。

Knowledge representation based on Description Logics provides means to describe the current state of a cyber-physical system and its environment, as well as background information about constraints these states are guaranteed to satisfy. To explain the behaviour of the system, one also needs to explicate why a certain relevant statement does or does not follow from the knowledge base. Project A3 will broaden the scope of these explication approaches by considering combinations of abstract logical and concrete numerical and temporal constraints. This comes with the challenge to combine different explication approaches, to use explications of incorrect or missing consequences for the purpose of repairing the knowledge base, and to develop user-adaptive explications.