Package org.liveontologies.protege.explanation.justification.priority

Enum Class OwlAxiomType

java.lang.Object
java.lang.Enum<OwlAxiomType>
org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
All Implemented Interfaces:
Serializable, Comparable<OwlAxiomType>, java.lang.constant.Constable
public enum OwlAxiomType extends Enum<OwlAxiomType>
The enumeration of all types of OWLAxiom for the lack of such in OWL API.
Author:
Yevgeny Kazakov

  • Enum Constant Details

    • OWLDeclarationAxiom

      public static final OwlAxiomType OWLDeclarationAxiom

    • OWLSubClassOfAxiom

      public static final OwlAxiomType OWLSubClassOfAxiom

    • OWLEquivalentClassesAxiom

      public static final OwlAxiomType OWLEquivalentClassesAxiom

    • OWLDisjointClassesAxiom

      public static final OwlAxiomType OWLDisjointClassesAxiom

    • OWLDisjointUnionAxiom

      public static final OwlAxiomType OWLDisjointUnionAxiom

    • OWLClassAssertionAxiom

      public static final OwlAxiomType OWLClassAssertionAxiom

    • OWLSameIndividualAxiom

      public static final OwlAxiomType OWLSameIndividualAxiom

    • OWLDifferentIndividualsAxiom

      public static final OwlAxiomType OWLDifferentIndividualsAxiom

    • OWLObjectPropertyAssertionAxiom

      public static final OwlAxiomType OWLObjectPropertyAssertionAxiom

    • OWLNegativeObjectPropertyAssertionAxiom

      public static final OwlAxiomType OWLNegativeObjectPropertyAssertionAxiom

    • OWLDataPropertyAssertionAxiom

      public static final OwlAxiomType OWLDataPropertyAssertionAxiom

    • OWLNegativeDataPropertyAssertionAxiom

      public static final OwlAxiomType OWLNegativeDataPropertyAssertionAxiom

    • OWLEquivalentObjectPropertiesAxiom

      public static final OwlAxiomType OWLEquivalentObjectPropertiesAxiom

    • OWLSubObjectPropertyOfAxiom

      public static final OwlAxiomType OWLSubObjectPropertyOfAxiom

    • OWLInverseObjectPropertiesAxiom

      public static final OwlAxiomType OWLInverseObjectPropertiesAxiom

    • OWLFunctionalObjectPropertyAxiom

      public static final OwlAxiomType OWLFunctionalObjectPropertyAxiom

    • OWLInverseFunctionalObjectPropertyAxiom

      public static final OwlAxiomType OWLInverseFunctionalObjectPropertyAxiom

    • OWLSymmetricObjectPropertyAxiom

      public static final OwlAxiomType OWLSymmetricObjectPropertyAxiom

    • OWLAsymmetricObjectPropertyAxiom

      public static final OwlAxiomType OWLAsymmetricObjectPropertyAxiom

    • OWLTransitiveObjectPropertyAxiom

      public static final OwlAxiomType OWLTransitiveObjectPropertyAxiom

    • OWLReflexiveObjectPropertyAxiom

      public static final OwlAxiomType OWLReflexiveObjectPropertyAxiom

    • OWLIrreflexiveObjectPropertyAxiom

      public static final OwlAxiomType OWLIrreflexiveObjectPropertyAxiom

    • OWLObjectPropertyDomainAxiom

      public static final OwlAxiomType OWLObjectPropertyDomainAxiom

    • OWLObjectPropertyRangeAxiom

      public static final OwlAxiomType OWLObjectPropertyRangeAxiom

    • OWLDisjointObjectPropertiesAxiom

      public static final OwlAxiomType OWLDisjointObjectPropertiesAxiom

    • OWLSubPropertyChainOfAxiom

      public static final OwlAxiomType OWLSubPropertyChainOfAxiom

    • OWLEquivalentDataPropertiesAxiom

      public static final OwlAxiomType OWLEquivalentDataPropertiesAxiom

    • OWLSubDataPropertyOfAxiom

      public static final OwlAxiomType OWLSubDataPropertyOfAxiom

    • OWLFunctionalDataPropertyAxiom

      public static final OwlAxiomType OWLFunctionalDataPropertyAxiom

    • OWLDataPropertyDomainAxiom

      public static final OwlAxiomType OWLDataPropertyDomainAxiom

    • OWLDataPropertyRangeAxiom

      public static final OwlAxiomType OWLDataPropertyRangeAxiom

    • OWLDisjointDataPropertiesAxiom

      public static final OwlAxiomType OWLDisjointDataPropertiesAxiom

    • OWLDatatypeDefinitionAxiom

      public static final OwlAxiomType OWLDatatypeDefinitionAxiom

    • OWLHasKeyAxiom

      public static final OwlAxiomType OWLHasKeyAxiom

    • SWRLRule

      public static final OwlAxiomType SWRLRule

    • OWLAnnotationAssertionAxiom

      public static final OwlAxiomType OWLAnnotationAssertionAxiom

    • OWLSubAnnotationPropertyOfAxiom

      public static final OwlAxiomType OWLSubAnnotationPropertyOfAxiom

    • OWLAnnotationPropertyRangeAxiom

      public static final OwlAxiomType OWLAnnotationPropertyRangeAxiom

    • OWLAnnotationPropertyDomainAxiom

      public static final OwlAxiomType OWLAnnotationPropertyDomainAxiom

  • Method Details

    • values

      public static OwlAxiomType[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static OwlAxiomType valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null

    • getAxiomType

      public Class<? extends org.semanticweb.owlapi.model.OWLAxiom> getAxiomType()