org.coode.oppl.datafactory

Class OPPLOWLDisjointObjectPropertiesAxiom

java.lang.Object

org.coode.oppl.datafactory.AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

org.coode.oppl.datafactory.OPPLOWLDisjointObjectPropertiesAxiom

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.OWLAxiom, org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom, org.semanticweb.owlapi.model.OWLLogicalAxiom, org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLObjectPropertyAxiom, org.semanticweb.owlapi.model.OWLPropertyAxiom

public class OPPLOWLDisjointObjectPropertiesAxiom
extends AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>
implements org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom

Author:

Luigi Iannone

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OPPLOWLDisjointObjectPropertiesAxiom(OPPLOWLDataFactory dataFactory, InlineSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyExpressions, Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations, boolean shouldExpandAsPairWise)

Method Summary

Modifier and Type	Method and Description
void	accept(org.semanticweb.owlapi.model.OWLAxiomVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O> visitor)
void	accept(org.semanticweb.owlapi.model.OWLObjectVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLObjectVisitorEx<O> visitor)
int	compareTo(org.semanticweb.owlapi.model.OWLObject o)
boolean	equals(Object obj)
boolean	equalsIgnoreAnnotations(org.semanticweb.owlapi.model.OWLAxiom axiom)
org.semanticweb.owlapi.model.OWLAxiom	getAnnotatedAxiom(Set<org.semanticweb.owlapi.model.OWLAnnotation> annotations)
Set<org.semanticweb.owlapi.model.OWLAnnotation>	getAnnotations()
Set<org.semanticweb.owlapi.model.OWLAnnotation>	getAnnotations(org.semanticweb.owlapi.model.OWLAnnotationProperty annotationProperty)
Set<org.semanticweb.owlapi.model.OWLAnonymousIndividual>	getAnonymousIndividuals()
org.semanticweb.owlapi.model.AxiomType<?>	getAxiomType()
org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom	getAxiomWithoutAnnotations()
Set<org.semanticweb.owlapi.model.OWLClass>	getClassesInSignature()
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getDataPropertiesInSignature()
Set<org.semanticweb.owlapi.model.OWLDatatype>	getDatatypesInSignature()
Set<org.semanticweb.owlapi.model.OWLNamedIndividual>	getIndividualsInSignature()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	getNestedClassExpressions()
org.semanticweb.owlapi.model.OWLAxiom	getNNF()
Set<org.semanticweb.owlapi.model.OWLObjectProperty>	getObjectPropertiesInSignature()
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getProperties()
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getPropertiesMinus(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property)
Set<org.semanticweb.owlapi.model.OWLEntity>	getSignature()
int	hashCode()
boolean	isAnnotated()
boolean	isAnnotationAxiom()
boolean	isBottomEntity()
boolean	isLogicalAxiom()
boolean	isOfType(org.semanticweb.owlapi.model.AxiomType<?>... axiomTypes)
boolean	isOfType(Set<org.semanticweb.owlapi.model.AxiomType<?>> types)
boolean	isTopEntity()
boolean	shouldExpandAsPairWise()
String	toString()

Methods inherited from class org.coode.oppl.datafactory.AbstractInlineSetAxiom

getInlineSet

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

OPPLOWLDisjointObjectPropertiesAxiom

public OPPLOWLDisjointObjectPropertiesAxiom(OPPLOWLDataFactory dataFactory,
                                            InlineSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyExpressions,
                                            Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
                                            boolean shouldExpandAsPairWise)

Parameters:

dataFactory - dataFactory

propertyExpressions - propertyExpressions

annotations - annotations

shouldExpandAsPairWise - shouldExpandAsPairWise

Method Detail

shouldExpandAsPairWise

public boolean shouldExpandAsPairWise()

Returns:

the shouldExpandAsPairwise

getSignature

public Set<org.semanticweb.owlapi.model.OWLEntity> getSignature()

Specified by:

getSignature in interface org.semanticweb.owlapi.model.OWLObject

getAnonymousIndividuals

public Set<org.semanticweb.owlapi.model.OWLAnonymousIndividual> getAnonymousIndividuals()

Specified by:

getAnonymousIndividuals in interface org.semanticweb.owlapi.model.OWLObject

getProperties

public Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getProperties()

Specified by:

getProperties in interface org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

getPropertiesMinus

public Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getPropertiesMinus(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property)

Specified by:

getPropertiesMinus in interface org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

getClassesInSignature

public Set<org.semanticweb.owlapi.model.OWLClass> getClassesInSignature()

Specified by:

getClassesInSignature in interface org.semanticweb.owlapi.model.OWLObject

getAxiomWithoutAnnotations

public org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom getAxiomWithoutAnnotations()

Specified by:

getAxiomWithoutAnnotations in interface org.semanticweb.owlapi.model.OWLAxiom

Specified by:

getAxiomWithoutAnnotations in interface org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom

accept

public void accept(org.semanticweb.owlapi.model.OWLAxiomVisitor visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLAxiom

accept

public <O> O accept(org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O> visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLAxiom

getAnnotations

public Set<org.semanticweb.owlapi.model.OWLAnnotation> getAnnotations()

Specified by:

getAnnotations in interface org.semanticweb.owlapi.model.OWLAxiom

getDataPropertiesInSignature

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDataPropertiesInSignature()

Specified by:

getDataPropertiesInSignature in interface org.semanticweb.owlapi.model.OWLObject

getAnnotations

public Set<org.semanticweb.owlapi.model.OWLAnnotation> getAnnotations(org.semanticweb.owlapi.model.OWLAnnotationProperty annotationProperty)

Specified by:

getAnnotations in interface org.semanticweb.owlapi.model.OWLAxiom

getObjectPropertiesInSignature

public Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectPropertiesInSignature()

Specified by:

getObjectPropertiesInSignature in interface org.semanticweb.owlapi.model.OWLObject

getIndividualsInSignature

public Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getIndividualsInSignature()

Specified by:

getIndividualsInSignature in interface org.semanticweb.owlapi.model.OWLObject

getDatatypesInSignature

public Set<org.semanticweb.owlapi.model.OWLDatatype> getDatatypesInSignature()

Specified by:

getDatatypesInSignature in interface org.semanticweb.owlapi.model.OWLObject

getAnnotatedAxiom

public org.semanticweb.owlapi.model.OWLAxiom getAnnotatedAxiom(Set<org.semanticweb.owlapi.model.OWLAnnotation> annotations)

Specified by:

getAnnotatedAxiom in interface org.semanticweb.owlapi.model.OWLAxiom

getNestedClassExpressions

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getNestedClassExpressions()

Specified by:

getNestedClassExpressions in interface org.semanticweb.owlapi.model.OWLObject

accept

public void accept(org.semanticweb.owlapi.model.OWLObjectVisitor visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLObject

accept

public <O> O accept(org.semanticweb.owlapi.model.OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLObject

compareTo

public int compareTo(org.semanticweb.owlapi.model.OWLObject o)

Specified by:

compareTo in interface Comparable<org.semanticweb.owlapi.model.OWLObject>

equalsIgnoreAnnotations

public boolean equalsIgnoreAnnotations(org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

equalsIgnoreAnnotations in interface org.semanticweb.owlapi.model.OWLAxiom

isTopEntity

public boolean isTopEntity()

Specified by:

isTopEntity in interface org.semanticweb.owlapi.model.OWLObject

isLogicalAxiom

public boolean isLogicalAxiom()

Specified by:

isLogicalAxiom in interface org.semanticweb.owlapi.model.OWLAxiom

isBottomEntity

public boolean isBottomEntity()

Specified by:

isBottomEntity in interface org.semanticweb.owlapi.model.OWLObject

isAnnotated

public boolean isAnnotated()

Specified by:

isAnnotated in interface org.semanticweb.owlapi.model.OWLAxiom

getAxiomType

public org.semanticweb.owlapi.model.AxiomType<?> getAxiomType()

Specified by:

getAxiomType in interface org.semanticweb.owlapi.model.OWLAxiom

isOfType

public boolean isOfType(org.semanticweb.owlapi.model.AxiomType<?>... axiomTypes)

Specified by:

isOfType in interface org.semanticweb.owlapi.model.OWLAxiom

isOfType

public boolean isOfType(Set<org.semanticweb.owlapi.model.AxiomType<?>> types)

Specified by:

isOfType in interface org.semanticweb.owlapi.model.OWLAxiom

getNNF

public org.semanticweb.owlapi.model.OWLAxiom getNNF()

Specified by:

getNNF in interface org.semanticweb.owlapi.model.OWLAxiom

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

isAnnotationAxiom

public boolean isAnnotationAxiom()

Specified by:

isAnnotationAxiom in interface org.semanticweb.owlapi.model.OWLAxiom