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

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

public class IntegerInverseObjectPropertiesAxiom
extends Object
implements ComplexIntegerAxiom

This class models an axiom stating that one object property is the inverse of another object property.
This means r ≡ s- .

Author:
Julian Mendez

Constructor Summary
protected IntegerInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first, IntegerObjectPropertyExpression second)
          Constructs a new inverse object property axiom, declaring that one object property is the inverse of another one.
 
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()
           
 IntegerObjectPropertyExpression getFirstProperty()
          Returns one of object properties (called first) in this axiom.
 Set<Integer> getIndividualsInSignature()
           
 Set<Integer> getObjectPropertiesInSignature()
           
 IntegerObjectPropertyExpression getSecondProperty()
          Returns one of object properties (called second) in this axiom.
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntegerInverseObjectPropertiesAxiom

protected IntegerInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first,
                                              IntegerObjectPropertyExpression second)
Constructs a new inverse object property axiom, declaring that one object property is the inverse of another one.

Parameters:
first - object property
second - object property
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

getFirstProperty

public IntegerObjectPropertyExpression getFirstProperty()
Returns one of object properties (called first) in this axiom.

Returns:
one of object properties in this axiom.

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

getSecondProperty

public IntegerObjectPropertyExpression getSecondProperty()
Returns one of object properties (called second) in this axiom.

Returns:
one of object properties 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.