See: Description
Interface | Description |
---|---|
SaturationRule |
This interface is implemented by saturation rules.
|
Class | Description |
---|---|
SR0Rule |
For each object property r, this rule adds r ⊑ r.
|
SR1AndSR2Rules |
SR-1 : r ⊑ s ↝ r- ⊑ s-
SR-2 : r ⊑ s, s ⊑ t ↝ r ⊑ t
|
SR3Rule |
SR-3 : r ∘ s ⊑ t ↝ s- ∘ r-
⊑ t-
|
SR4Rule |
SR-4 : r ⊑ s, f(s) ↝ f(r)
|
SubPropertyNormalizer |
This class models a normalizer that saturates an ontology with object
property inclusions.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.