semantic technologies for the web of data, p
the 7th I
description logics P
Sebastian Rudolph F
Detection of normative conflict that depends on execution order of runtime events in multi-agent systems