de.tudresden.inf.lat.jcel.ontology.axiom.complex
Class IntegerSubPropertyChainOfAxiom

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
All Implemented Interfaces:
de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom, de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype, ComplexIntegerAxiom

public class IntegerSubPropertyChainOfAxiom
extends Object
implements ComplexIntegerAxiom

This class models an axiom stating that the contained properties form a subsumption chain. This is: r1 ∘ r2 ∘… ∘ rn ⊑ s

Author:
Julian Mendez

Constructor Summary
protected IntegerSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain, IntegerObjectPropertyExpression superProp)
          Constructs a new sub object property chain axiom.
 
Method Summary
<T> T
accept(ComplexIntegerAxiomVisitor<T> visitor)
          Applies a visitor to this complex integer axiom.
 boolean equals(Object o)
           
 Set<Integer> getClassesInSignature()
           
 Set<Integer> getDataPropertiesInSignature()
           
 Set<Integer> getDatatypesInSignature()
           
 Set<Integer> getIndividualsInSignature()
           
 Set<Integer> getObjectPropertiesInSignature()
           
 List<IntegerObjectPropertyExpression> getPropertyChain()
           
 IntegerObjectPropertyExpression getSuperProperty()
          Returns the super object property expression.
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntegerSubPropertyChainOfAxiom

protected IntegerSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain,
                                         IntegerObjectPropertyExpression superProp)
Constructs a new sub object property chain axiom.

Parameters:
chain - list of object property expressions in the chain
superProp - super object property expression
Method Detail

accept

public <T> T accept(ComplexIntegerAxiomVisitor<T> visitor)
Description copied from interface: ComplexIntegerAxiom
Applies a visitor to this complex integer axiom.

Specified by:
accept in interface ComplexIntegerAxiom
Type Parameters:
T - the return type of the visitor's methods
Parameters:
visitor - visitor
Returns:
the visit result

equals

public boolean equals(Object o)
Overrides:
equals in class Object

getClassesInSignature

public Set<Integer> getClassesInSignature()
Specified by:
getClassesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getDataPropertiesInSignature

public Set<Integer> getDataPropertiesInSignature()
Specified by:
getDataPropertiesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getDatatypesInSignature

public Set<Integer> getDatatypesInSignature()
Specified by:
getDatatypesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getIndividualsInSignature

public Set<Integer> getIndividualsInSignature()
Specified by:
getIndividualsInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getObjectPropertiesInSignature

public Set<Integer> getObjectPropertiesInSignature()
Specified by:
getObjectPropertiesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getPropertyChain

public List<IntegerObjectPropertyExpression> getPropertyChain()

getSuperProperty

public IntegerObjectPropertyExpression getSuperProperty()
Returns the super object property expression.

Returns:
the super object property expression

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.