Model-Theoretic Semantics
Extends OWL semantics with
bindings
, which map variables to elements of the domain
Given OWL interpretation I, binding B(I) is an interpretation s.t.
S maps i-variables to elements of R
S maps d-variables to elements of LV
T
Atom satisfied by B(I) if following conditions met:
Atom
Condition on B(I)
description(
x
)
S(x) ∈ EC(description)
property(
x,y
)
<S(x),S(y)> ∈ ER(property)
sameAs(
x,y
)
S(x) = S(y)
differentFrom(
x,y
)
S(x) ≠ S(y)
B(I) satisfies an antecedent A iff A is empty or B(I) satisfies every atom in A.
B(I) satisfies a consequent C iff C is not empty and B(I) satisfies every atom in C.
I satisfies a rule iff for every binding B such that B(I) satisfies its antecedent, B(I) also satisfies its consequent.
Peter F. Patel-Schneider
&
Ian Horrocks
12 of 24