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) |
OWLHasKeyAxiom |
getAxiomWithoutAnnotations() |
OWLClassExpression |
getClassExpression() |
java.util.stream.Stream<OWLPropertyExpression> |
propertyExpressions() |
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()
getAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLHasKeyAxiompublic <T extends OWLAxiom> T getAnnotatedAxiom(java.util.stream.Stream<OWLAnnotation> anns)
getAnnotatedAxiom in interface OWLAxiompublic OWLClassExpression getClassExpression()
getClassExpression in interface OWLHasKeyAxiompublic java.util.stream.Stream<OWLPropertyExpression> propertyExpressions()
propertyExpressions in interface OWLHasKeyAxiomCopyright © 2017 The University of Manchester. All Rights Reserved.