ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/Da-Halfter.pdf
diplom5000.dvi
4)
∧ ¬GrantAS2(“AS2“, s, o, “ + a“)
∧ ¬GrantAS2(“AS2“, s, o, “ − a“);
GrantAS3(“AS3“, s, o, “ − a“) |= GrantAS1(“AS1“, s, o, “ − a“) (4.5)
∧ ¬GrantAS2(“AS2“, s, o, “ + a“)
∧ ¬GrantAS2(“AS2“, s, o, “ − a“); [...] Subtype(t1, t2) |= typein(t1, t2); (A.13)
Subtype(t1, t2) |= typein(t1, T ) ∧ Subtype(T, t2); (A.14)
Subunit(u1, u2) |= unitin(u1, u2); (A.15)
Subunit(u1, u2) |= unitin(u1, U) ∧ Subunit(U, u2); (A.16)
In(o1 [...] In(o1, o2) |= dirin(o1, o2); (A.17)
In(o1, o2) |= dirin(o1, O) ∧ In(O, o2); (A.18)
Subrole(r1, r2) |= rolein(r1, r2); (A.19)
Subrole(r1, r2) |= rolein(r1, R) ∧ Subrole(R, r2); (A.20)
Subtypeof(o, t) |= …