P
- the property expressionpublic abstract class OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression<?,?>> extends OWLPropertyAxiomImpl implements OWLNaryPropertyAxiom<P>
Constructor and Description |
---|
OWLNaryPropertyAxiomImpl(java.util.Set<? extends P> properties,
java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
java.util.Set<P> |
getProperties() |
java.util.Set<P> |
getPropertiesMinus(P property) |
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLNaryPropertyAxiomImpl(java.util.Set<? extends P> properties, java.util.Collection<? extends OWLAnnotation> annotations)
public java.util.Set<P> getProperties()
getProperties
in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>
public java.util.Set<P> getPropertiesMinus(P property)
getPropertiesMinus
in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>
property
- the property to skippublic boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
protected final int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl