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

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

public class IntegerPropertyRangeAxiom
extends Object
implements ComplexIntegerAxiom

This class models an axiom stating that the range of a particular object property is included in a particular class expression.
This is: range(r) ⊑ C

Author:
Julian Mendez

Constructor Summary
protected IntegerPropertyRangeAxiom(IntegerObjectPropertyExpression prop, IntegerClassExpression clExpr)
          Constructs a new object property range 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()
           
 IntegerObjectPropertyExpression getProperty()
          Returns the object property in this axiom.
 IntegerClassExpression getRange()
          Returns the class expression in this axiom.
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntegerPropertyRangeAxiom

protected IntegerPropertyRangeAxiom(IntegerObjectPropertyExpression prop,
                                    IntegerClassExpression clExpr)
Constructs a new object property range axiom.

Parameters:
prop - object property
clExpr - class 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

getProperty

public IntegerObjectPropertyExpression getProperty()
Returns the object property in this axiom.

Returns:
the object property in this axiom

getRange

public IntegerClassExpression getRange()
Returns the class expression in this axiom.

Returns:
the class expression in this axiom

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.