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

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

public class IntegerObjectPropertyAssertionAxiom
extends Object
implements ComplexIntegerAxiom

This class models an assertion that relates an object property and a pair of individuals.
This is: r(a,b)

Author:
Julian Mendez

Constructor Summary
protected IntegerObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, Integer subjectInd, Integer objectInd)
          Constructs a new object property assertion 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()
           
 Integer getObject()
          Returns the individual representing the subject.
 Set<Integer> getObjectPropertiesInSignature()
           
 IntegerObjectPropertyExpression getProperty()
          Returns the object property expression in this axiom.
 Integer getSubject()
          Returns the individual representing the subject.
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntegerObjectPropertyAssertionAxiom

protected IntegerObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
                                              Integer subjectInd,
                                              Integer objectInd)
Constructs a new object property assertion axiom.

Parameters:
objectProp - object property
subjectInd - source individual
objectInd - target individual
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

getObject

public Integer getObject()
Returns the individual representing the subject.

Returns:
the individual representing the subject

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 expression in this axiom.

Returns:
the object property expression in this axiom

getSubject

public Integer getSubject()
Returns the individual representing the subject.

Returns:
the individual representing the subject

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.