org.coode.oppl.datafactory

Class OPPLOWLDisjointDataPropertiesAxiom

java.lang.Object

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

org.coode.oppl.datafactory.OPPLOWLDisjointDataPropertiesAxiom

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.OWLAxiom, org.semanticweb.owlapi.model.OWLDataPropertyAxiom, org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom, org.semanticweb.owlapi.model.OWLLogicalAxiom, org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLPropertyAxiom

public class OPPLOWLDisjointDataPropertiesAxiom
extends AbstractInlineSetAxiom<org.semanticweb.owlapi.model.OWLDataPropertyExpression>
implements org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

Author:

Luigi Iannone

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Methods

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.OWLDisjointDataPropertiesAxiom	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.OWLDataPropertyExpression>	getProperties()
Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression>	getPropertiesMinus(org.semanticweb.owlapi.model.OWLDataPropertyExpression 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

OPPLOWLDisjointDataPropertiesAxiom

public OPPLOWLDisjointDataPropertiesAxiom(OPPLOWLDataFactory dataFactory,
                                  InlineSet<org.semanticweb.owlapi.model.OWLDataPropertyExpression> 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.OWLDataPropertyExpression> getProperties()

Specified by:

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

getPropertiesMinus

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

Specified by:

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

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.OWLDisjointDataPropertiesAxiom getAxiomWithoutAnnotations()

Specified by:

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

Specified by:

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

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