de.tudresden.inf.lat.jcel.coreontology.axiom
Interface ExtendedOntology

All Known Implementing Classes:
ExtendedOntologyImpl

public interface ExtendedOntology

This is the interface of an extended ontology provides methods to efficiently retrieve axioms from the ontology.

Author:
Julian Mendez

Method Summary
 void addClass(int classId)
          Adds a class to the ontology.
 void addObjectProperty(int objectPropertyId)
          Adds an object property to the ontology.
 void clear()
          Clears the ontology.
 Set<Integer> getClassSet()
          Returns the set of all classes in the ontology.
 Set<Integer> getFunctionalObjectProperties()
          Returns the set of all functional object properties in the ontology.
 Set<GCI0Axiom> getGCI0Axioms(int classId)
          Returns the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom.
 Set<GCI1Axiom> getGCI1Axioms(int classId)
          Returns the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom.
 Set<GCI2Axiom> getGCI2Axioms(int classId)
          Returns the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom.
 Set<GCI3Axiom> getGCI3AAxioms(int classId)
          Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom.
 Set<GCI3Axiom> getGCI3rAAxioms(int objectPropertyId, int leftClassId)
          Returns the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom.
 Set<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
          Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom.
 Set<Integer> getObjectPropertySet()
          Returns the set of all object properties in the ontology.
 Set<Integer> getReflexiveObjectProperties()
          Returns the set of all reflexive object properties in the ontology.
 Set<RI2Axiom> getRI2rAxioms(int objectPropertyId)
          Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom.
 Set<RI2Axiom> getRI2sAxioms(int objectPropertyId)
          Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom.
 Set<RI3Axiom> getRI3AxiomsByLeft(int objectPropertyId)
          Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the left part of the object property composition, in the left part of the axiom.
 Set<RI3Axiom> getRI3AxiomsByRight(int objectPropertyId)
          Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the right part of the object property composition, in the left part of the axiom.
 Set<Integer> getTransitiveObjectProperties()
          Returns the set of all transitive object properties in the ontology.
 void load(Set<NormalizedIntegerAxiom> axiomSet)
          Loads a set of normalized axioms.
 

Method Detail

addClass

void addClass(int classId)
Adds a class to the ontology.

Parameters:
classId - class to be added

addObjectProperty

void addObjectProperty(int objectPropertyId)
Adds an object property to the ontology.

Parameters:
objectPropertyId - object property to be added

clear

void clear()
Clears the ontology.


getClassSet

Set<Integer> getClassSet()
Returns the set of all classes in the ontology.

Returns:
the set of all classes in the ontology

getFunctionalObjectProperties

Set<Integer> getFunctionalObjectProperties()
Returns the set of all functional object properties in the ontology.

Returns:
the set of all functional object properties in the ontology

getGCI0Axioms

Set<GCI0Axiom> getGCI0Axioms(int classId)
Returns the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom.

Parameters:
classId - class identifier occurring in the left part of the axiom
Returns:
the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom

getGCI1Axioms

Set<GCI1Axiom> getGCI1Axioms(int classId)
Returns the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom.

Parameters:
classId - class identifier occurring in the left part of the axiom
Returns:
the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom

getGCI2Axioms

Set<GCI2Axiom> getGCI2Axioms(int classId)
Returns the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom.

Parameters:
classId - class identifier occurring in the left part of the axiom
Returns:
the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom

getGCI3AAxioms

Set<GCI3Axiom> getGCI3AAxioms(int classId)
Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom.

Parameters:
classId - class identifier occurring in the left part of the axiom
Returns:
the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom

getGCI3rAAxioms

Set<GCI3Axiom> getGCI3rAAxioms(int objectPropertyId,
                               int leftClassId)
Returns the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom.

Parameters:
objectPropertyId - object property identifier occurring in the left part of the axiom
leftClassId - class identifier occurring in the left part of the axiom
Returns:
the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom

getGCI3rAxioms

Set<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom.

Parameters:
objectPropertyId - object property identifier occurring in the axiom
Returns:
the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom

getObjectPropertySet

Set<Integer> getObjectPropertySet()
Returns the set of all object properties in the ontology.

Returns:
the set of all object properties in the ontology

getReflexiveObjectProperties

Set<Integer> getReflexiveObjectProperties()
Returns the set of all reflexive object properties in the ontology.

Returns:
the set of all reflexive object properties in the ontology

getRI2rAxioms

Set<RI2Axiom> getRI2rAxioms(int objectPropertyId)
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom.

Parameters:
objectPropertyId - object property identifier occurring in the left part of the axiom
Returns:
the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom

getRI2sAxioms

Set<RI2Axiom> getRI2sAxioms(int objectPropertyId)
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom.

Parameters:
objectPropertyId - object property identifier occurring in the right part of the axiom
Returns:
the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom

getRI3AxiomsByLeft

Set<RI3Axiom> getRI3AxiomsByLeft(int objectPropertyId)
Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the left part of the object property composition, in the left part of the axiom.

Parameters:
objectPropertyId - object property identifier occurring in the left part of the composition, in the left part of the axiom
Returns:
the set of all axioms RI3 in the ontology such that the given object property occurs in the left part of the object property composition, in the left part of the axiom

getRI3AxiomsByRight

Set<RI3Axiom> getRI3AxiomsByRight(int objectPropertyId)
Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the right part of the object property composition, in the left part of the axiom.

Parameters:
objectPropertyId - object property identifier occurring in the right part of the composition, in the left part of the axiom
Returns:
the set of all axioms RI3 in the ontology such that the given object property occurs in the right part of the object property composition, in the left part of the axiom

getTransitiveObjectProperties

Set<Integer> getTransitiveObjectProperties()
Returns the set of all transitive object properties in the ontology.

Returns:
the set of all transitive object properties in the ontology

load

void load(Set<NormalizedIntegerAxiom> axiomSet)
Loads a set of normalized axioms.

Parameters:
axiomSet - set of normalized axioms to be loaded


Copyright © 2012. All Rights Reserved.