Package de.tudresden.inf.lat.jcel.ontology.normalization

Provides interfaces and classes needed to perform the normalization.

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
 

Package de.tudresden.inf.lat.jcel.ontology.normalization Description

Provides interfaces and classes needed to perform the normalization.
It uses the following packages:



Copyright © 2012. All Rights Reserved.