public abstract class OWLAxiomImpl extends OWLObjectImpl implements OWLAxiom
Constructor and Description |
---|
OWLAxiomImpl(Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAnnotation> |
annotations() |
List<OWLAnnotation> |
annotationsAsList() |
OWLAxiom |
getNNF()
Gets this axioms in negation normal form.
|
boolean |
isAnnotated()
Determines if this axiom has any annotations on it
|
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, isAnnotationAxiom, isAxiom, isIndividual, isLogicalAxiom, isOfType, isOfType, isOfType, typeIndex
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, 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
components, componentsAnnotationsFirst, componentsWithoutAnnotations
isAnonymous, isNamed
annotations, annotations, getAnnotations, getAnnotations
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLAxiomImpl(Collection<OWLAnnotation> annotations)
annotations
- annotations on the axiompublic Stream<OWLAnnotation> annotations()
annotations
in interface HasAnnotations
public List<OWLAnnotation> annotationsAsList()
annotationsAsList
in interface HasAnnotations
public boolean isAnnotated()
OWLAxiom
isAnnotated
in interface OWLAxiom
true
if this axiom has annotations on it, otherwise false
Copyright © 2020 The University of Manchester. All rights reserved.