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, isAnnotated
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
components, componentsAnnotationsFirst, componentsWithoutAnnotations, getProperties, initHashCode, operands
isLogicalAxiom
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
hashIndex
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
allMatch, allMatchAllPairs, anyMatch, anyMatchAllPairs, asPairwiseAxioms, forEach, forEachAllPairs, splitToAnnotatedPairs, walkAllPairwise, walkPairwise
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public 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()
HasOperands
getOperandsAsList
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.