de.tudresden.inf.lat.jcel.ontology.normalization
Class OntologyNormalizer
java.lang.Object
de.tudresden.inf.lat.jcel.ontology.normalization.OntologyNormalizer
public class OntologyNormalizer
- extends Object
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
- Author:
- Julian Mendez
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OntologyNormalizer
public OntologyNormalizer()
- Constructs a new ontology normalizer.
normalize
public Set<de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom> normalize(Set<ComplexIntegerAxiom> originalAxiomSet,
IntegerOntologyObjectFactory factory)
- Normalizes a set of axioms.
- Parameters:
originalAxiomSet
- set of axioms to be normalizedfactory
- factory
- Returns:
- the normalized set of axioms according to the specified axioms
Copyright © 2012. All Rights Reserved.