See: Description
Interface | Description |
---|---|
NormalizationRule |
This interface is implemented by normalization rules.
|
Class | Description |
---|---|
ObjectPropertyIdFinder |
An object of this class is a normalizer for inverse object properties.
|
OntologyNormalizer |
An object of this class normalizes an ontology according to the following
normalization rules:
NR-1.1 : domain(r) ⊑ C ↝ ∃r . ⊤ ⊑ C
NR-1.2 : range(r) ⊑ C ↝ range(r) ⊑ A, A ⊑ C
NR-1.3 : reflexive(r) ↝ ε ⊑ r
NR-1.4 : transitive(r) ↝ r ∘ r ⊑ r
NR-1.5 : C ≡ D ↝ C ⊑ D, D ⊑ C
NR-1.6 : C⊥ ⊑ D ↝
NR-1.7 : C ⊑ D⊥ ↝ C ⊑ ⊥
NR-2.1 : r1 ∘ … ∘ rk ⊑
s ↝ r1 ∘ … ∘ rk-1 ⊑
u, u ∘ rk ⊑ s
NR-2.2 : C1 ⊓ … ⊓ C' ⊓ …
⊓ Cn ⊑ D ↝ C' ⊑ A, C1 ⊓
… ⊓ A ⊓ … ⊓ Cn ⊑ D
NR-2.3 : ∃ r . C'⊑ D ↝ C' ⊑ A, ∃ r
. A ⊑ D
NR-3.1 : C' ⊑ D' ↝ C' ⊑ A, A ⊑ D'
NR-3.2 : B ⊑ ∃ r . C' ↝ B ⊑ ∃ r
. A, A ⊑ C'
NR-3.3 : B ⊑ C ⊓ D ↝ B ⊑ C, B ⊑ D
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.