|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
NormalizationRule | This interface is implemented by normalization rules. |
Class Summary | |
---|---|
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 |
de.tudresden.inf.lat.jcel.coreontology.datatype
de.tudresden.inf.lat.jcel.coreontology.axiom
de.tudresden.inf.lat.jcel.ontology.datatype
de.tudresden.inf.lat.jcel.ontology.axiom.complex
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |