P - the property expressionpublic abstract class OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> extends OWLPropertyAxiomImpl implements OWLNaryPropertyAxiom<P>
| Constructor and Description |
|---|
OWLNaryPropertyAxiomImpl(List<P> properties,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
List<P> |
getOperandsAsList()
Gets the operands as a list.
|
Set<P> |
getPropertiesMinus(P property) |
Stream<P> |
properties() |
annotations, annotationsAsList, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringcomponents, componentsAnnotationsFirst, componentsWithoutAnnotations, getProperties, initHashCode, operandsisLogicalAxiomaccept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexaccept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signature, unsortedSignaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignaturehashIndexisAnonymous, isNamedannotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotationsallMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, asPairwiseAxioms, forEach, forEachAllPairs, splitToAnnotatedPairs, walkAllPairwise, walkPairwiseaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLNaryPropertyAxiomImpl(List<P> properties, Collection<OWLAnnotation> annotations)
properties - properties (list must be sorted in the factory)annotations - annotationspublic Stream<P> properties()
properties in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>public List<P> getOperandsAsList()
HasOperandsgetOperandsAsList in interface HasOperands<P extends OWLPropertyExpression>public Set<P> getPropertiesMinus(P property)
getPropertiesMinus in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>property - the property to skipCopyright © 2020 The University of Manchester. All rights reserved.