ALH -Interpretations

• Defining ALH-interpretations means defining how a mapping I should behave v.a.v. individuals, classes, roles, and the predefined relationships

• The definition is pretty obvious, though:

• • I(A ⊓ B) = I(A) ⋂ I(B),…
  • I(R) ⊂ Δ × Δ (where Δ is the target set of the interpretation)
  • I(∀R.C) = {x | ∀y: <x,y> ∊ I(R) ⇒ y ∊ I(C)}
  • etc.

• This definition leads to the notions of ALH-inference and ALH-consistency