Package | Description |
---|---|
de.tudresden.inf.lat.jcel.core.saturation |
Provides interfaces and classes needed to perform the saturation.
|
Modifier and Type | Class and Description |
---|---|
class |
SR0Rule
For each object property r, this rule adds r ⊑ r.
|
class |
SR1AndSR2Rules
SR-1 : r ⊑ s ↝ r- ⊑ s-
SR-2 : r ⊑ s, s ⊑ t ↝ r ⊑ t
|
class |
SR3Rule
SR-3 : r ∘ s ⊑ t ↝ s- ∘ r-
⊑ t-
|
class |
SR4Rule
SR-4 : r ⊑ s, f(s) ↝ f(r)
|
class |
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.