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

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

public class IntegerNegativeObjectPropertyAssertionAxiom
extends Object
implements ComplexIntegerAxiom

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

Author:
Julian Mendez

Constructor Summary
protected IntegerNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, Integer subjectInd, Integer objectInd)
          Constructs a new negative object property 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 object.
 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

IntegerNegativeObjectPropertyAssertionAxiom

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

Parameters:
objectProp - object property expression
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 object.

Returns:
the individual representing the object

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.