Description Logic Explications ((09) A03)

点击翻译按钮获取中文摘要

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.