de.tudresden.inf.lat.jcel.coreontology.axiom
Class RI3Axiom

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
All Implemented Interfaces:
NormalizedIntegerAxiom, IntegerAxiom, IntegerDatatype

public class RI3Axiom
extends Object
implements NormalizedIntegerAxiom

Axiom of the form:

Author:
Julian Mendez

Constructor Summary
protected RI3Axiom(int leftLeftProp, int leftRightProp, int rightProp)
          Constructs a new RI-3 axiom
 
Method Summary
<T> T
accept(NormalizedIntegerAxiomVisitor<T> visitor)
          Applies a visitor to this normalized integer axiom.
 boolean equals(Object o)
           
 Set<Integer> getClassesInSignature()
          Returns the classes in the signature.
 Set<Integer> getDataPropertiesInSignature()
          Returns the data properties in the signature.
 Set<Integer> getDatatypesInSignature()
          Returns the data types in the signature.
 Set<Integer> getIndividualsInSignature()
          Returns the individuals in the signature.
 int getLeftSubProperty()
          Returns the object property on the left-hand part of the composition.
 Set<Integer> getObjectPropertiesInSignature()
          Returns the object properties in the signature.
 int getRightSubProperty()
          Returns the object property on the right-hand part of the composition.
 int getSuperProperty()
          Returns the super object property.
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RI3Axiom

protected RI3Axiom(int leftLeftProp,
                   int leftRightProp,
                   int rightProp)
Constructs a new RI-3 axiom

Parameters:
leftLeftProp - object property identifier for the left-hand object property on the composition
leftRightProp - object property identifier for the right-hand object property on the composition
rightProp - object property identifier for super object property
Method Detail

accept

public <T> T accept(NormalizedIntegerAxiomVisitor<T> visitor)
Description copied from interface: NormalizedIntegerAxiom
Applies a visitor to this normalized integer axiom.

Specified by:
accept in interface NormalizedIntegerAxiom
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()
Description copied from interface: IntegerDatatype
Returns the classes in the signature.

Specified by:
getClassesInSignature in interface IntegerDatatype
Returns:
the classes in the signature.

getDataPropertiesInSignature

public Set<Integer> getDataPropertiesInSignature()
Description copied from interface: IntegerDatatype
Returns the data properties in the signature.

Specified by:
getDataPropertiesInSignature in interface IntegerDatatype
Returns:
the data properties in the signature.

getDatatypesInSignature

public Set<Integer> getDatatypesInSignature()
Description copied from interface: IntegerDatatype
Returns the data types in the signature.

Specified by:
getDatatypesInSignature in interface IntegerDatatype
Returns:
the data types in the signature.

getIndividualsInSignature

public Set<Integer> getIndividualsInSignature()
Description copied from interface: IntegerDatatype
Returns the individuals in the signature.

Specified by:
getIndividualsInSignature in interface IntegerDatatype
Returns:
the individuals in the signature.

getLeftSubProperty

public int getLeftSubProperty()
Returns the object property on the left-hand part of the composition.

Returns:
the object property on the left-hand part of the composition

getObjectPropertiesInSignature

public Set<Integer> getObjectPropertiesInSignature()
Description copied from interface: IntegerDatatype
Returns the object properties in the signature.

Specified by:
getObjectPropertiesInSignature in interface IntegerDatatype
Returns:
the object properties in the signature.

getRightSubProperty

public int getRightSubProperty()
Returns the object property on the right-hand part of the composition.

Returns:
the object property on the right-hand part of the composition

getSuperProperty

public int getSuperProperty()
Returns the super object property.

Returns:
the super object property

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.