P
- the property expressionpublic abstract class OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression<?,?>> extends OWLPropertyAxiomImpl implements OWLNaryPropertyAxiom<P>
Constructor and Description |
---|
OWLNaryPropertyAxiomImpl(Set<? extends P> properties,
Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Set<P> |
getProperties() |
Set<P> |
getPropertiesMinus(P property) |
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
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
compareTo
containsEntityInSignature
public OWLNaryPropertyAxiomImpl(Set<? extends P> properties, Collection<? extends OWLAnnotation> annotations)
properties
- propertiesannotations
- annotationspublic Set<P> getProperties()
getProperties
in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>
public Set<P> getPropertiesMinus(P property)
getPropertiesMinus
in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>
property
- the property to skippublic boolean equals(Object obj)
equals
in class OWLAxiomImpl
Copyright © 2017 The University of Manchester. All Rights Reserved.