public class IntegerInverseFunctionalObjectPropertyAxiom extends Object implements ComplexIntegerAxiom
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(ComplexIntegerAxiomVisitor<T> visitor)
Applies a visitor to this complex integer axiom.
|
boolean |
equals(Object obj) |
Set<Annotation> |
getAnnotations()
Returns the annotations of this axiom.
|
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.
|
Set<Integer> |
getObjectPropertiesInSignature()
Returns the object properties in the signature.
|
IntegerObjectPropertyExpression |
getProperty()
Returns the object property in this axiom.
|
int |
hashCode() |
String |
toString() |
public <T> T accept(ComplexIntegerAxiomVisitor<T> visitor)
ComplexIntegerAxiom
accept
in interface ComplexIntegerAxiom
T
- the return type of the visitor's methodsvisitor
- visitorpublic Set<Integer> getClassesInSignature()
IntegerDatatype
getClassesInSignature
in interface IntegerDatatype
public Set<Integer> getDataPropertiesInSignature()
IntegerDatatype
getDataPropertiesInSignature
in interface IntegerDatatype
public Set<Integer> getDatatypesInSignature()
IntegerDatatype
getDatatypesInSignature
in interface IntegerDatatype
public Set<Integer> getIndividualsInSignature()
IntegerDatatype
getIndividualsInSignature
in interface IntegerDatatype
public Set<Integer> getObjectPropertiesInSignature()
IntegerDatatype
getObjectPropertiesInSignature
in interface IntegerDatatype
public IntegerObjectPropertyExpression getProperty()
public Set<Annotation> getAnnotations()
IntegerAxiom
getAnnotations
in interface IntegerAxiom
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.