public class OWLHasKeyAxiomImpl extends OWLLogicalAxiomImpl implements OWLHasKeyAxiom
| Constructor and Description |
|---|
OWLHasKeyAxiomImpl(OWLClassExpression expression,
Collection<? extends OWLPropertyExpression> propertyExpressions,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
<T extends OWLAxiom> |
getAnnotatedAxiom(java.util.stream.Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified
annotations.
|
OWLHasKeyAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
OWLClassExpression |
getClassExpression()
Gets the class expression, instances of which, this axiom acts as the key
for.
|
java.util.stream.Stream<OWLPropertyExpression> |
propertyExpressions()
Gets the set of property expressions that form the key.
|
annotations, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, components, componentsAnnotationsFirst, componentsWithoutAnnotations, dataPropertyExpressions, getAxiomType, getDataPropertyExpressions, getObjectPropertyExpressions, getPropertyExpressions, hashIndex, objectPropertyExpressionsisLogicalAxiomequalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAnonymous, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexgetNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignatureannotations, annotations, annotations, getAnnotations, getAnnotationsaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic OWLHasKeyAxiomImpl(OWLClassExpression expression, Collection<? extends OWLPropertyExpression> propertyExpressions, Collection<OWLAnnotation> annotations)
expression - class expressionpropertyExpressions - propertiesannotations - annotations on the axiompublic OWLHasKeyAxiom getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLHasKeyAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(java.util.stream.Stream<OWLAnnotation> anns)
OWLAxiomgetAnnotatedAxiom in interface OWLAxiomanns - The annotations that will be added to existing annotations to
annotate the copy of this axiomOWLAxiom#getAnnotations() method.public OWLClassExpression getClassExpression()
OWLHasKeyAxiomgetClassExpression in interface OWLHasKeyAxiompublic java.util.stream.Stream<OWLPropertyExpression> propertyExpressions()
OWLHasKeyAxiompropertyExpressions in interface OWLHasKeyAxiomCopyright © 2017 The University of Manchester. All Rights Reserved.