Uses of Interface
org.semanticweb.owlapi.model.OWLAxiom

Packages that use OWLAxiom

Package	Description
org.semanticweb.owlapi.change
org.semanticweb.owlapi.model
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.util

Uses of OWLAxiom in org.semanticweb.owlapi.change

Methods in org.semanticweb.owlapi.change that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	AxiomChangeData.getAxiom() Gets the OWLAxiom that is associated with this change data.

Constructors in org.semanticweb.owlapi.change with parameters of type OWLAxiom

Constructor and Description
AddAxiomData(OWLAxiom axiom) Constructs an AddAxiomData object which specifies the addition of an axiom to "some ontology".
AxiomChangeData(OWLAxiom axiom) Constructs an AxiomChangeData object that describes a change involving the specified axiom.
RemoveAxiomData(OWLAxiom axiom) Constructs an RemoveAxiomData object which specifies the removal of an axiom from "some ontology".

Uses of OWLAxiom in org.semanticweb.owlapi.model

Classes in org.semanticweb.owlapi.model with type parameters of type OWLAxiom

Modifier and Type	Class and Description
class	AxiomType<C extends OWLAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007

Subinterfaces of OWLAxiom in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLAnnotationAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Nov-2006 Represents AnnotationAssertion axioms in the OWL 2 specification.
interface	OWLAnnotationAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 A super interface for annotation axioms.
interface	OWLAnnotationPropertyDomainAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 13-Jan-2009
interface	OWLAnnotationPropertyRangeAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 13-Jan-2009
interface	OWLAsymmetricObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLClassAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLClassAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006 A high level interface which marks data property axioms (e.g.
interface	OWLDataPropertyCharacteristicAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
interface	OWLDataPropertyDomainAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyRangeAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataPropertyRange axiom in the OWL 2 Specification.
interface	OWLDatatypeDefinitionAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-Mar-2009 Represents a DatatypeDefinition axiom in the OWL 2 Specification.
interface	OWLDeclarationAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a Declaration in the OWL 2 Specification.
interface	OWLDifferentIndividualsAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLDisjointClassesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointClasses axiom in the OWL 2 Specification.
interface	OWLDisjointDataPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointDataProperties axiom in the OWL 2 Specification.
interface	OWLDisjointObjectPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDisjointUnionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DisjointUnion axiom in the OWL 2 Specification.
interface	OWLEquivalentClassesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an EquivalentClasses axiom in the OWL 2 Specification.
interface	OWLEquivalentDataPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
interface	OWLEquivalentObjectPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLFunctionalDataPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLHasKeyAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 15-Jan-2009 Represents a HasKey axiom in the OWL 2 Specification.
interface	OWLIndividualAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLInverseFunctionalObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLInverseObjectPropertiesAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 29-Nov-2006 Represents an InverseObjectProperties axiom in the OWL 2 Specification.
interface	OWLIrreflexiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLLogicalAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 05-Dec-2006 A base interface of all axioms that affect the logical meaning of an ontology.
interface	OWLNaryAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 05-Jan-2010
interface	OWLNaryClassAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNaryIndividualAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNegativeDataPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyCharacteristicAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
interface	OWLObjectPropertyDomainAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectPropertyRangeAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an Assertion in the OWL 2 specification.
interface	OWLPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 The base interface for property axioms.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression<?,?>,R extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLReflexiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLSameIndividualAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SameIndividual axiom in the OWL 2 Specification.
interface	OWLSubAnnotationPropertyOfAxiom Author: Matthew Horridge The University of Manchester Information Management Group Date: 13-Jan-2009 Represents an SubAnnotationPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubClassOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SubClassOf axiom in the OWL 2 Specification.
interface	OWLSubDataPropertyOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an SubDataPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubObjectPropertyOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLSubPropertyAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLSubPropertyChainOfAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Nov-2006 Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties.
interface	OWLSymmetricObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLTransitiveObjectPropertyAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
interface	OWLUnaryPropertyAxiom<P extends OWLPropertyExpression<?,?>> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	SWRLRule Author: Matthew Horridge The University Of Manchester Medical Informatics Group Date: Jan 15, 2007 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm Represent a rule.

Methods in org.semanticweb.owlapi.model with type parameters of type OWLAxiom

Modifier and Type	Method and Description
<T extends OWLAxiom> int	OWLOntology.getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom
<T extends OWLAxiom> int	OWLOntology.getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure) Gets the axiom count of a specific type of axiom, possibly in the imports closure of this ontology
<T extends OWLAxiom> Set<T>	OWLOntology.getAxioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type.
<T extends OWLAxiom> Set<T>	OWLOntology.getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure) Gets the axioms which are of the specified type.

Methods in org.semanticweb.owlapi.model that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLAxiom.getAnnotatedAxiom(Set<OWLAnnotation> annotations) Gets a copy of this axiom that is annotated with the specified annotations.
OWLAxiom	SetOntologyID.getAxiom()
abstract OWLAxiom	OWLOntologyChange.getAxiom() If the change is an axiom change (i.e.
OWLAxiom	OWLAxiomChange.getAxiom()
OWLAxiom	ImportChange.getAxiom()
OWLAxiom	AnnotationChange.getAxiom()
OWLAxiom	OWLAxiom.getAxiomWithoutAnnotations() Gets an axiom that is structurally equivalent to this axiom without annotations.
OWLAxiom	OWLAxiom.getNNF() Gets this axioms in negation normal form.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	OWLOntology.getABoxAxioms(boolean includeImportsClosure) Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes
Set<OWLAxiom>	OWLOntology.getAxioms() Retrieves all of the axioms in this ontology.
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom.
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom, possibly searching the imports closure of this ontology.
static Set<OWLAxiom>	AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that have a specified type
static Set<OWLAxiom>	AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that are not of the specified type
Set<OWLAxiom>	OWLOntology.getRBoxAxioms(boolean includeImportsClosure) Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes
Set<OWLAxiom>	OWLOntology.getReferencingAxioms(OWLAnonymousIndividual individual) Gets the axioms that reference the specified anonymous individual
Set<OWLAxiom>	OWLOntology.getReferencingAxioms(OWLEntity owlEntity) Gets the axioms where the specified entity appears in the signature of the axiom.
Set<OWLAxiom>	OWLOntology.getReferencingAxioms(OWLEntity owlEntity, boolean includeImportsClosure) Gets the axioms where the specified entity appears in the signature of the axiom.
Set<OWLAxiom>	OWLEntity.getReferencingAxioms(OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
Set<OWLAxiom>	OWLEntity.getReferencingAxioms(OWLOntology ontology, boolean includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.
Set<OWLAxiom>	OWLOntology.getTBoxAxioms(boolean includeImportsClosure) Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the AxiomType::TBoxAxiomTypes

Methods in org.semanticweb.owlapi.model with parameters of type OWLAxiom

Modifier and Type	Method and Description
List<OWLOntologyChange>	OWLOntologyManager.addAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
boolean	OWLOntology.containsAxiom(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
boolean	OWLOntology.containsAxiom(OWLAxiom axiom, boolean includeImportsClosure) Determines if this ontology, and possibly the imports closure, contains the specified axiom.
boolean	OWLOntology.containsAxiomIgnoreAnnotations(OWLAxiom axiom) Determines if this ontology contains the specified axiom, but ignoring any annotations on this axiom.
boolean	OWLOntology.containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Determines if this ontology and possibly its imports closure contains the specified axiom but ignoring any annotations on this axiom.
boolean	OWLAxiom.equalsIgnoreAnnotations(OWLAxiom axiom) Determines if another axiom is equal to this axiom not taking into consideration the annotations on the axiom
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom.
Set<OWLAxiom>	OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Gets the set of axioms contained in this ontology that have the same "logical structure" as the specified axiom, possibly searching the imports closure of this ontology.
Set<OWLOntology>	OWLOntologyManager.getOntologies(OWLAxiom axiom) Gets the ontologies that are managed by this manager that contain the specified axiom.
List<OWLOntologyChange>	OWLOntologyManager.removeAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that removes a single axiom from an ontology.

Method parameters in org.semanticweb.owlapi.model with type arguments of type OWLAxiom

Modifier and Type	Method and Description
List<OWLOntologyChange>	OWLOntologyManager.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
OWLOntology	OWLOntologyManager.createOntology(Set<OWLAxiom> axioms) Creates a new ontology that is initialised to contain specific axioms.
OWLOntology	OWLOntologyManager.createOntology(Set<OWLAxiom> axioms, IRI ontologyIRI) Creates a new ontology that has the specified ontology IRI and is initialised to contain specific axioms.
static Set<OWLAxiom>	AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that have a specified type
static Set<OWLAxiom>	AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that are not of the specified type
List<OWLOntologyChange>	OWLOntologyManager.removeAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from an ontology.

Constructors in org.semanticweb.owlapi.model with parameters of type OWLAxiom

Constructor and Description
AddAxiom(OWLOntology ont, OWLAxiom axiom)
OWLAxiomChange(OWLOntology ont, OWLAxiom axiom)
RemoveAxiom(OWLOntology ont, OWLAxiom axiom)

Uses of OWLAxiom in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLProfileViolation.getAxiom()

Constructors in org.semanticweb.owlapi.profiles with parameters of type OWLAxiom

Constructor and Description
CycleInDatatypeDefinition(OWLOntology ontology, OWLAxiom axiom)
DatatypeIRIAlsoUsedAsClassIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
EmptyOneOfAxiom(OWLOntology currentOntology, OWLAxiom currentAxiom)
IllegalPunning(OWLOntology currentOntology, OWLAxiom node, IRI iri)
InsufficientIndividuals(OWLOntology currentOntology, OWLAxiom node)
InsufficientOperands(OWLOntology currentOntology, OWLAxiom node, OWLObject c)
InsufficientPropertyExpressions(OWLOntology ontology, OWLAxiom axiom)
LexicalNotInLexicalSpace(OWLOntology ontology, OWLAxiom axiom, OWLLiteral literal)
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom)
UseOfAnonymousIndividual(OWLOntology ontology, OWLAxiom axiom, OWLAnonymousIndividual individual)
UseOfDataOneOfWithMultipleLiterals(OWLOntology ontology, OWLAxiom axiom, OWLDataOneOf dataOneOf)
UseOfDefinedDatatypeInDatatypeRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction restriction)
UseOfIllegalAxiom(OWLOntology ontology, OWLAxiom axiom)
UseOfIllegalClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfIllegalDataRange(OWLOntology ontology, OWLAxiom axiom, OWLDataRange dataRange)
UseOfIllegalFacetRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction dtr, OWLFacet facet)
UseOfNonAbsoluteIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
UseOfNonAtomicClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonEquivalentClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSimplePropertyInCardinalityRestriction(OWLOntology ontology, OWLAxiom axiom, OWLObjectCardinalityRestriction restriction)
UseOfNonSimplePropertyInObjectHasSelf(OWLOntology ontology, OWLAxiom axiom, OWLObjectHasSelf hasSelf)
UseOfNonSubClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSuperClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology, OWLAxiom axiom, OWLObjectOneOf oneOf)
UseOfObjectPropertyInverse(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression)
UseOfReservedVocabularyForAnnotationPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLAnnotationProperty property)
UseOfReservedVocabularyForClassIRI(OWLOntology ontology, OWLAxiom axiom, OWLClass cls)
UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty property)
UseOfReservedVocabularyForIndividualIRI(OWLOntology ontology, OWLAxiom axiom, OWLNamedIndividual ind)
UseOfReservedVocabularyForObjectPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLObjectProperty property)
UseOfUndeclaredAnnotationProperty(OWLOntology ontology, OWLAxiom axiom, OWLAnnotation annotation, OWLAnnotationProperty prop)
UseOfUndeclaredClass(OWLOntology ontology, OWLAxiom axiom, OWLClass cls)
UseOfUndeclaredDataProperty(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty prop)
UseOfUndeclaredDatatype(OWLOntology ontology, OWLAxiom axiom, OWLDatatype datatype)
UseOfUndeclaredObjectProperty(OWLOntology ontology, OWLAxiom axiom, OWLObjectProperty prop)
UseOfUnknownDatatype(OWLOntology ontology, OWLAxiom axiom, OWLDatatype datatype)

Uses of OWLAxiom in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	UnsupportedEntailmentTypeException.getAxiom()
OWLAxiom	AxiomNotInProfileException.getAxiom()

Methods in org.semanticweb.owlapi.reasoner that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	OWLReasoner.getPendingAxiomAdditions() Gets the axioms that as a result of ontology changes need to be added to the reasoner to synchronise it with the root ontology imports closure.
Set<OWLAxiom>	OWLReasoner.getPendingAxiomRemovals() Gets the axioms that as a result of ontology changes need to removed to the reasoner to synchronise it with the root ontology imports closure.

Methods in org.semanticweb.owlapi.reasoner with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	OWLReasoner.isEntailed(OWLAxiom axiom) A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.

Method parameters in org.semanticweb.owlapi.reasoner with type arguments of type OWLAxiom

Modifier and Type	Method and Description
boolean	OWLReasoner.isEntailed(Set<? extends OWLAxiom> axioms) Determines if the specified set of axioms is entailed by the reasoner axioms.

Constructors in org.semanticweb.owlapi.reasoner with parameters of type OWLAxiom

Constructor and Description
AxiomNotInProfileException(OWLAxiom axiom, OWLProfile profile)
UnsupportedEntailmentTypeException(OWLAxiom axiom)

Uses of OWLAxiom in org.semanticweb.owlapi.util

Classes in org.semanticweb.owlapi.util with type parameters of type OWLAxiom

Modifier and Type	Interface and Description
interface	InferredAxiomGenerator<A extends OWLAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Given a reasoner, implementations of this interface generate axioms that represent inferred information.
class	InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Generates axioms which relate to inferred information for a specific entity.
interface	OWLAxiomSearchFilter<O extends OWLAxiom,K>

Fields in org.semanticweb.owlapi.util declared as OWLAxiom

Modifier and Type	Field and Description
protected OWLAxiom	OWLObjectWalker.ax

Methods in org.semanticweb.owlapi.util that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLObjectWalker.getAxiom() Gets the last axiom to be visited.
OWLAxiom	OWLOntologyWalkerVisitor.getCurrentAxiom()
OWLAxiom	NNF.visit(OWLAnnotationAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLClassAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiom	NNF.visit(OWLDeclarationAxiom axiom)
OWLAxiom	NNF.visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLHasKeyAxiom axiom)
OWLAxiom	NNF.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiom	NNF.visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLSameIndividualAxiom axiom)
OWLAxiom	NNF.visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubClassOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiom	NNF.visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiom	NNF.visit(SWRLRule rule)

Methods in org.semanticweb.owlapi.util that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms)

Methods in org.semanticweb.owlapi.util with parameters of type OWLAxiom

Modifier and Type	Method and Description
AxiomType<?>	AxiomTypeProvider.getAxiomType(OWLAxiom axiom) Deprecated.
OWLObject	AxiomSubjectProvider.getSubject(OWLAxiom axiom)
boolean	OWLOntologyMerger.passes(OWLAxiom axiom)
boolean	OWLAxiomFilter.passes(OWLAxiom axiom)
protected abstract void	OWLAxiomTypeProcessor.process(OWLAxiom axiom, AxiomType<?> type)
protected void	OWLEntityCollector.processAxiomAnnotations(OWLAxiom ax)
void	SimpleRenderer.writeAnnotations(OWLAxiom axiom)

Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms)

Constructor parameters in org.semanticweb.owlapi.util with type arguments of type OWLAxiom

Constructor and Description
InferredOntologyGenerator(OWLReasoner reasoner, List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)