de.tudresden.inf.lat.jcel.coreontology.axiom
Class ExtendedOntologyImpl

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
All Implemented Interfaces:
ExtendedOntology, NormalizedIntegerAxiomVisitor<Boolean>

public class ExtendedOntologyImpl
extends Object
implements ExtendedOntology, NormalizedIntegerAxiomVisitor<Boolean>

This class models an ontology with the property to look up by axiom type.

Author:
Julian Mendez

Constructor Summary
ExtendedOntologyImpl()
          Constructs an empty ontology.
 
Method Summary
 void addClass(int classId)
          Adds a class to the ontology.
 void addObjectProperty(int objectProperty)
          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 propertyId, 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 elem)
          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 elem)
          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 elem)
          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 elem)
          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.
 String toString()
           
 Boolean visit(FunctObjectPropAxiom axiom)
          Visits a functional object property axiom.
 Boolean visit(GCI0Axiom axiom)
          Visits a GCI-0 axiom.
 Boolean visit(GCI1Axiom axiom)
          Visits a GCI-1 axiom.
 Boolean visit(GCI2Axiom axiom)
          Visits a GCI-2 axiom.
 Boolean visit(GCI3Axiom axiom)
          Visits a GCI-3 axiom.
 Boolean visit(NominalAxiom axiom)
          Visits a nominal axiom.
 Boolean visit(RangeAxiom axiom)
          Visits a range axiom.
 Boolean visit(RI1Axiom axiom)
          Visits an RI-1 axiom.
 Boolean visit(RI2Axiom axiom)
          Visits an RI-2 axiom.
 Boolean visit(RI3Axiom axiom)
          Visits an RI-3 axiom.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ExtendedOntologyImpl

public ExtendedOntologyImpl()
Constructs an empty ontology.

Method Detail

addClass

public void addClass(int classId)
Description copied from interface: ExtendedOntology
Adds a class to the ontology.

Specified by:
addClass in interface ExtendedOntology
Parameters:
classId - class to be added

addObjectProperty

public void addObjectProperty(int objectProperty)
Description copied from interface: ExtendedOntology
Adds an object property to the ontology.

Specified by:
addObjectProperty in interface ExtendedOntology
Parameters:
objectProperty - object property to be added

clear

public void clear()
Description copied from interface: ExtendedOntology
Clears the ontology.

Specified by:
clear in interface ExtendedOntology

getClassSet

public Set<Integer> getClassSet()
Description copied from interface: ExtendedOntology
Returns the set of all classes in the ontology.

Specified by:
getClassSet in interface ExtendedOntology
Returns:
the set of all classes in the ontology

getFunctionalObjectProperties

public Set<Integer> getFunctionalObjectProperties()
Description copied from interface: ExtendedOntology
Returns the set of all functional object properties in the ontology.

Specified by:
getFunctionalObjectProperties in interface ExtendedOntology
Returns:
the set of all functional object properties in the ontology

getGCI0Axioms

public Set<GCI0Axiom> getGCI0Axioms(int classId)
Description copied from interface: ExtendedOntology
Returns the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom.

Specified by:
getGCI0Axioms in interface ExtendedOntology
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

public Set<GCI1Axiom> getGCI1Axioms(int classId)
Description copied from interface: ExtendedOntology
Returns the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom.

Specified by:
getGCI1Axioms in interface ExtendedOntology
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

public Set<GCI2Axiom> getGCI2Axioms(int classId)
Description copied from interface: ExtendedOntology
Returns the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom.

Specified by:
getGCI2Axioms in interface ExtendedOntology
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

public Set<GCI3Axiom> getGCI3AAxioms(int classId)
Description copied from interface: ExtendedOntology
Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom.

Specified by:
getGCI3AAxioms in interface ExtendedOntology
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

public Set<GCI3Axiom> getGCI3rAAxioms(int propertyId,
                                      int leftClassId)
Description copied from interface: ExtendedOntology
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.

Specified by:
getGCI3rAAxioms in interface ExtendedOntology
Parameters:
propertyId - 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

public Set<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
Description copied from interface: ExtendedOntology
Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom.

Specified by:
getGCI3rAxioms in interface ExtendedOntology
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

public Set<Integer> getObjectPropertySet()
Description copied from interface: ExtendedOntology
Returns the set of all object properties in the ontology.

Specified by:
getObjectPropertySet in interface ExtendedOntology
Returns:
the set of all object properties in the ontology

getReflexiveObjectProperties

public Set<Integer> getReflexiveObjectProperties()
Description copied from interface: ExtendedOntology
Returns the set of all reflexive object properties in the ontology.

Specified by:
getReflexiveObjectProperties in interface ExtendedOntology
Returns:
the set of all reflexive object properties in the ontology

getRI2rAxioms

public Set<RI2Axiom> getRI2rAxioms(int elem)
Description copied from interface: ExtendedOntology
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom.

Specified by:
getRI2rAxioms in interface ExtendedOntology
Parameters:
elem - 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

public Set<RI2Axiom> getRI2sAxioms(int elem)
Description copied from interface: ExtendedOntology
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom.

Specified by:
getRI2sAxioms in interface ExtendedOntology
Parameters:
elem - 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

public Set<RI3Axiom> getRI3AxiomsByLeft(int elem)
Description copied from interface: ExtendedOntology
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.

Specified by:
getRI3AxiomsByLeft in interface ExtendedOntology
Parameters:
elem - 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

public Set<RI3Axiom> getRI3AxiomsByRight(int elem)
Description copied from interface: ExtendedOntology
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.

Specified by:
getRI3AxiomsByRight in interface ExtendedOntology
Parameters:
elem - 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

public Set<Integer> getTransitiveObjectProperties()
Description copied from interface: ExtendedOntology
Returns the set of all transitive object properties in the ontology.

Specified by:
getTransitiveObjectProperties in interface ExtendedOntology
Returns:
the set of all transitive object properties in the ontology

load

public void load(Set<NormalizedIntegerAxiom> axiomSet)
Description copied from interface: ExtendedOntology
Loads a set of normalized axioms.

Specified by:
load in interface ExtendedOntology
Parameters:
axiomSet - set of normalized axioms to be loaded

toString

public String toString()
Overrides:
toString in class Object

visit

public Boolean visit(FunctObjectPropAxiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a functional object property axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(GCI0Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a GCI-0 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(GCI1Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a GCI-1 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(GCI2Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a GCI-2 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(GCI3Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a GCI-3 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(NominalAxiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a nominal axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(RangeAxiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits a range axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(RI1Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits an RI-1 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(RI2Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits an RI-2 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result

visit

public Boolean visit(RI3Axiom axiom)
Description copied from interface: NormalizedIntegerAxiomVisitor
Visits an RI-3 axiom.

Specified by:
visit in interface NormalizedIntegerAxiomVisitor<Boolean>
Parameters:
axiom - axiom
Returns:
the visit result


Copyright © 2012. All Rights Reserved.