Class AxiomImpl
java.lang.Object
com.github.owlcs.ontapi.owlapi.OWLObjectImpl
com.github.owlcs.ontapi.owlapi.axioms.AxiomImpl
- All Implemented Interfaces:
Serializable,Comparable<org.semanticweb.owlapi.model.OWLObject>,org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature,org.semanticweb.owlapi.model.HasAnnotations,org.semanticweb.owlapi.model.HasAnonymousIndividuals,org.semanticweb.owlapi.model.HasClassesInSignature,org.semanticweb.owlapi.model.HasComponents,org.semanticweb.owlapi.model.HasContainsEntityInSignature,org.semanticweb.owlapi.model.HasDataPropertiesInSignature,org.semanticweb.owlapi.model.HasDatatypesInSignature,org.semanticweb.owlapi.model.HasHashIndex,org.semanticweb.owlapi.model.HasIndex,org.semanticweb.owlapi.model.HasIndividualsInSignature,org.semanticweb.owlapi.model.HasObjectPropertiesInSignature,org.semanticweb.owlapi.model.HasSignature,org.semanticweb.owlapi.model.IsAnonymous,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLObject
- Direct Known Subclasses:
AnnotationAssertionAxiomImpl,AnnotationPropertyDomainAxiomImpl,AnnotationPropertyRangeAxiomImpl,DatatypeDefinitionAxiomImpl,DeclarationAxiomImpl,LogicalAxiomImpl,SubAnnotationPropertyOfAxiomImpl
public abstract class AxiomImpl
extends OWLObjectImpl
implements org.semanticweb.owlapi.model.OWLAxiom
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final List<org.semanticweb.owlapi.model.OWLAnnotation> Fields inherited from class com.github.owlcs.ontapi.owlapi.OWLObjectImpl
DEFAULT_COMPARATOR, hashCode, NO_ANNOTATIONS -
Constructor Summary
ConstructorsConstructorDescriptionAxiomImpl(Collection<org.semanticweb.owlapi.model.OWLAnnotation> annotations) -
Method Summary
Methods inherited from class com.github.owlcs.ontapi.owlapi.OWLObjectImpl
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareIterators, compareTo, containsEntityInSignature, createSet, createSet, createSortedSet, createSortedSet, dataPropertiesInSignature, datatypesInSignature, equalIterators, equals, equalStreams, forOutput, getAnnotationPropertiesInSignature, getAnnotationPropertySet, getAnonymousIndividuals, getAnonymousIndividualSet, getClassesInSignature, getClassExpressionSet, getDataPropertiesInSignature, getDataPropertySet, getDatatypeSet, getDatatypesInSignature, getIndividualsInSignature, getNamedClassSet, getNamedIndividualSet, getNestedClassExpressions, getObjectPropertiesInSignature, getObjectPropertySet, getSignature, getSignatureSet, hashCode, individualsInSignature, mergeAnnotations, nestedClassExpressions, notSame, objectPropertiesInSignature, prepareAnnotations, signature, toContentList, toStringMethods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface java.lang.Comparable
compareToMethods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasAnnotations
annotations, annotations, getAnnotations, getAnnotationsMethods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals
anonymousIndividuals, getAnonymousIndividualsMethods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature
classesInSignature, getClassesInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasComponents
components, componentsAnnotationsFirst, componentsWithoutAnnotationsMethods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature
containsEntityInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature
datatypesInSignature, getDatatypesInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasHashIndex
hashIndexMethods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature
getIndividualsInSignature, individualsInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignatureMethods inherited from interface org.semanticweb.owlapi.model.HasSignature
getSignature, signature, unsortedSignatureMethods inherited from interface org.semanticweb.owlapi.model.IsAnonymous
isAnonymous, isNamedMethods inherited from interface org.semanticweb.owlapi.model.OWLAxiom
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, isAnnotationAxiom, isAxiom, isIndividual, isLogicalAxiom, isOfType, isOfType, isOfType, typeIndexMethods inherited from interface org.semanticweb.owlapi.model.OWLObject
accept, accept, getNestedClassExpressions, hasSharedStructure, initHashCode, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
-
Field Details
-
annotations
-
-
Constructor Details
-
AxiomImpl
- Parameters:
annotations- aCollectionofannotations on the axiom
-
-
Method Details
-
annotations
- Specified by:
annotationsin interfaceorg.semanticweb.owlapi.model.HasAnnotations
-
annotationsAsList
- Specified by:
annotationsAsListin interfaceorg.semanticweb.owlapi.model.HasAnnotations
-
isAnnotated
public boolean isAnnotated()- Specified by:
isAnnotatedin interfaceorg.semanticweb.owlapi.model.OWLAxiom
-
getNNF
public org.semanticweb.owlapi.model.OWLAxiom getNNF()- Specified by:
getNNFin interfaceorg.semanticweb.owlapi.model.OWLAxiom
-