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

Packages that use OWLAxiom

Package	Description
com.clarkparsia.owlapi.explanation	Explanation package.
com.clarkparsia.owlapi.explanation.io	Explanation renderers package.
com.clarkparsia.owlapi.explanation.util	Explanation utils.
com.clarkparsia.owlapi.modularity.locality	Locality package.
org.obolibrary.macro	OBO macro package.
org.obolibrary.obo2owl	OBO to OWL.
org.semanticweb.owlapi.apibinding	Guice modules and binding package.
org.semanticweb.owlapi.change	Ontology change classes.
org.semanticweb.owlapi.debugging	Debugging package.
org.semanticweb.owlapi.dlsyntax.parser	DL syntax parser.
org.semanticweb.owlapi.functional.parser	Functional syntax parser and renderer.
org.semanticweb.owlapi.krss1.parser	Package structure renamed from de.uulm.ecs.ai.owlapi.krssrenderer.
org.semanticweb.owlapi.manchestersyntax.parser	Manchester OWL syntax parser and renderer.
org.semanticweb.owlapi.manchestersyntax.renderer	Manchester OWL syntax parser and renderer.
org.semanticweb.owlapi.metrics	Metrics package.
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.parameters	Parameter classes.
org.semanticweb.owlapi.modularity	Modularity interface package.
org.semanticweb.owlapi.profiles	Profile classes.
org.semanticweb.owlapi.profiles.violations	Violation classes.
org.semanticweb.owlapi.rdf.rdfxml.parser	RDF/XML syntax parser and renderer.
org.semanticweb.owlapi.reasoner	OWLReasoner package.
org.semanticweb.owlapi.reasoner.impl	OWLReasoner implementation package.
org.semanticweb.owlapi.reasoner.structural	Structural reasoner implementation package.
org.semanticweb.owlapi.search	Search utilities package.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapi.util.mansyntax
org.semanticweb.owlapitools.decomposition
uk.ac.manchester.cs.atomicdecomposition
uk.ac.manchester.cs.factplusplusad	This package contains a port of FaCT++ Atomic Decomposition implementation.
uk.ac.manchester.cs.owl.explanation.ordering	Explanation ordering package.
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.
uk.ac.manchester.cs.owl.owlapi.concurrent	Concurrent implementation package.
uk.ac.manchester.cs.owlapi.modularity	Modularity package.

Uses of OWLAxiom in com.clarkparsia.owlapi.explanation

Methods in com.clarkparsia.owlapi.explanation that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	DefaultExplanationGenerator.getExplanation(OWLAxiom axiom) Gets the explanation.
Set<OWLAxiom>	SingleExplanationGenerator.getExplanation(OWLClassExpression unsatClass) Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
Set<OWLAxiom>	HSTExplanationGenerator.getExplanation(OWLClassExpression unsatClass)
Set<OWLAxiom>	ExplanationGenerator.getExplanation(OWLClassExpression unsatClass) Returns a single explanation for the given unsatisfiable class.
Set<OWLAxiom>	DefaultExplanationGenerator.getExplanation(OWLClassExpression unsatClass)
Set<OWLAxiom>	BlackBoxExplanation.getExplanation(OWLClassExpression unsatClass)
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLAxiom axiom) Gets the explanations.
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLAxiom axiom, int maxExplanations) Gets the explanations.
Set<Set<OWLAxiom>>	HSTExplanationGenerator.getExplanations(OWLClassExpression unsatClass)
Set<Set<OWLAxiom>>	ExplanationGenerator.getExplanations(OWLClassExpression unsatClass) Returns all the explanations for the given unsatisfiable class.
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLClassExpression unsatClass)
Set<Set<OWLAxiom>>	HSTExplanationGenerator.getExplanations(OWLClassExpression unsatClass, int maxExplanations)
Set<Set<OWLAxiom>>	ExplanationGenerator.getExplanations(OWLClassExpression unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLClassExpression unsatClass, int maxExplanations)

Methods in com.clarkparsia.owlapi.explanation with parameters of type OWLAxiom

Modifier and Type	Method and Description
OWLClassExpression	SatisfiabilityConverter.convert(OWLAxiom axiom) Convert.
Set<OWLAxiom>	DefaultExplanationGenerator.getExplanation(OWLAxiom axiom) Gets the explanation.
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLAxiom axiom) Gets the explanations.
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLAxiom axiom, int maxExplanations) Gets the explanations.

Uses of OWLAxiom in com.clarkparsia.owlapi.explanation.io

Methods in com.clarkparsia.owlapi.explanation.io with parameters of type OWLAxiom

Modifier and Type	Method and Description
void	SilentExplanationRenderer.render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations)
void	ExplanationRenderer.render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations) Render.
void	ConciseExplanationRenderer.render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations)

Method parameters in com.clarkparsia.owlapi.explanation.io with type arguments of type OWLAxiom

Modifier and Type	Method and Description
void	SilentExplanationRenderer.render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations)
void	ExplanationRenderer.render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations) Render.
void	ConciseExplanationRenderer.render(OWLAxiom axiom, Set<Set<OWLAxiom>> explanations)

Uses of OWLAxiom in com.clarkparsia.owlapi.explanation.util

Methods in com.clarkparsia.owlapi.explanation.util with parameters of type OWLAxiom

Modifier and Type	Method and Description
static void	OntologyUtils.addAxiom(OWLAxiom axiom, Set<OWLOntology> ontologies, OWLOntologyManager manager) Deprecated. use OntologyUtils.addAxiom(OWLAxiom, Stream)
static void	OntologyUtils.addAxiom(OWLAxiom axiom, Stream<OWLOntology> ontologies) Add the axiom to all the given ontologies.
static Set<OWLOntology>	OntologyUtils.removeAxiom(OWLAxiom axiom, Stream<OWLOntology> ontologies) Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies.

Method parameters in com.clarkparsia.owlapi.explanation.util with type arguments of type OWLAxiom

Modifier and Type	Method and Description
default void	ExplanationProgressMonitor.foundExplanation(Set<OWLAxiom> axioms) Called when an explanation has been found.

Uses of OWLAxiom in com.clarkparsia.owlapi.modularity.locality

Methods in com.clarkparsia.owlapi.modularity.locality with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	SyntacticLocalityEvaluator.isLocal(OWLAxiom axiom, Collection<OWLEntity> signature)
boolean	SemanticLocalityEvaluator.isLocal(OWLAxiom axiom, Collection<OWLEntity> signature)
boolean	LocalityEvaluator.isLocal(OWLAxiom axiom, Collection<OWLEntity> signature) Tests whether a given axiom is local with respect to a given signature.

Uses of OWLAxiom in org.obolibrary.macro

Methods in org.obolibrary.macro that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	AbstractMacroExpansionVisitor.doDefault(Object o)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLClassAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSubClassOfAxiom axiom)

Methods in org.obolibrary.macro with parameters of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAnnotation>	AbstractMacroExpansionVisitor.getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom)

Uses of OWLAxiom in org.obolibrary.obo2owl

Methods in org.obolibrary.obo2owl that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Collection<OWLAxiom>	OWLAPIOwl2Obo.getUntranslatableAxioms() Gets the untranslatable axioms.
static Collection<OWLAxiom>	OwlStringTools.translate(String axioms, OWLOntologyManager translationManager) Parse the axioms from the given axiom string.
Set<OWLAxiom>	OWLAPIObo2Owl.trTermFrameClauses(OWLClass cls, Collection<Clause> clauses, String t) Tr term frame clauses.

Method parameters in org.obolibrary.obo2owl with type arguments of type OWLAxiom

Modifier and Type	Method and Description
static String	OwlStringTools.translate(Collection<OWLAxiom> axioms, OWLOntologyManager translationManager) Create a string for the given set of axioms.

Uses of OWLAxiom in org.semanticweb.owlapi.apibinding

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

Modifier and Type	Method and Description
static OWLOntology	OWLFunctionalSyntaxFactory.Ontology(OWLOntologyManager man, OWLAxiom... axioms)

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.
OWLAxiom	AxiomChangeData.getItem()

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 an ontology.

Uses of OWLAxiom in org.semanticweb.owlapi.debugging

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

Modifier and Type	Method and Description
Set<Set<OWLAxiom>>	OWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls) Gets the all sos for incosistent class.
Set<Set<OWLAxiom>>	AbstractOWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls)
Collection<OWLAxiom>	JustificationMap.getChildAxioms(OWLAxiom ax) Gets the child axioms.
Set<OWLAxiom>	JustificationMap.getRootAxioms() Gets the root axioms.
Set<OWLAxiom>	OWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls) Gets the sOS for incosistent class.
Set<OWLAxiom>	BlackBoxOWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)

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

Modifier and Type	Method and Description
Collection<OWLAxiom>	JustificationMap.getChildAxioms(OWLAxiom ax) Gets the child axioms.

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

Modifier and Type	Method and Description
void	AbstractOWLDebugger.constructHittingSetTree(Set<OWLAxiom> mups, Set<Set<OWLAxiom>> allMups, Set<Set<OWLAxiom>> satPaths, Set<OWLAxiom> currentPathContents) This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
void	AbstractOWLDebugger.constructHittingSetTree(Set<OWLAxiom> mups, Set<Set<OWLAxiom>> allMups, Set<Set<OWLAxiom>> satPaths, Set<OWLAxiom> currentPathContents) This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
void	AbstractOWLDebugger.constructHittingSetTree(Set<OWLAxiom> mups, Set<Set<OWLAxiom>> allMups, Set<Set<OWLAxiom>> satPaths, Set<OWLAxiom> currentPathContents) This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.
void	AbstractOWLDebugger.constructHittingSetTree(Set<OWLAxiom> mups, Set<Set<OWLAxiom>> allMups, Set<Set<OWLAxiom>> satPaths, Set<OWLAxiom> currentPathContents) This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.

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

Constructor and Description
JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms) Instantiates a new justification map.

Uses of OWLAxiom in org.semanticweb.owlapi.dlsyntax.parser

Methods in org.semanticweb.owlapi.dlsyntax.parser that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	DLSyntaxParser.parseAxiom()
OWLAxiom	DLSyntaxParser.parseClassAssertion()
OWLAxiom	DLSyntaxParser.parseClassAxiom()
OWLAxiom	DLSyntaxParser.parseDataPropertyAssertion()
OWLAxiom	DLSyntaxParser.parseDifferentIndividualsAxiom()
OWLAxiom	DLSyntaxParser.parseIndividualAxiom()
OWLAxiom	DLSyntaxParser.parseObjectPropertyAssertion()
OWLAxiom	DLSyntaxParser.parsePropertyAxiom()
OWLAxiom	DLSyntaxParser.parsePropertyChain()
OWLAxiom	DLSyntaxParser.parseSameIndividual()

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

Modifier and Type	Method and Description
Set<OWLAxiom>	DLSyntaxParser.parseAxioms()

Uses of OWLAxiom in org.semanticweb.owlapi.functional.parser

Methods in org.semanticweb.owlapi.functional.parser that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLFunctionalSyntaxParser.AnnotationAxiom()
OWLAxiom	OWLFunctionalSyntaxParser.Axiom()
OWLAxiom	OWLFunctionalSyntaxParser.Declaration()

Uses of OWLAxiom in org.semanticweb.owlapi.krss1.parser

Methods in org.semanticweb.owlapi.krss1.parser that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	KRSSParser.ABoxStatement()
OWLAxiom	KRSSParser.DefineConcept()
OWLAxiom	KRSSParser.DefinePrimitiveConcept()
OWLAxiom	KRSSParser.DefinePrimitiveRole()
OWLAxiom	KRSSParser.Distinct()
OWLAxiom	KRSSParser.Equal()
OWLAxiom	KRSSParser.Instance()
OWLAxiom	KRSSParser.Range()
OWLAxiom	KRSSParser.Related()
OWLAxiom	KRSSParser.TBoxStatement()
OWLAxiom	KRSSParser.Transitive()

Uses of OWLAxiom in org.semanticweb.owlapi.manchestersyntax.parser

Methods in org.semanticweb.owlapi.manchestersyntax.parser that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	ManchesterOWLSyntaxInlineAxiomParser.parse(String expression)
OWLAxiom	ManchesterOWLSyntaxParserImpl.parseAxiom()

Uses of OWLAxiom in org.semanticweb.owlapi.manchestersyntax.renderer

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

Modifier and Type	Method and Description
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(OWLAnnotationProperty property)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(OWLClass cls)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(OWLDataProperty property)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(OWLDatatype datatype)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(OWLIndividual individual)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(OWLObjectPropertyExpression property)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.write(SWRLRule rule)
Collection<OWLAxiom>	ManchesterOWLSyntaxFrameRenderer.writeFrame(OWLEntity entity) Write frame.

Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	ManchesterOWLSyntaxFrameRenderer.isDisplayed(OWLAxiom axiom) Checks if is displayed.

Uses of OWLAxiom in org.semanticweb.owlapi.metrics

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

Modifier and Type	Method and Description
Set<OWLAxiom>	AxiomCountMetric.getAxioms() Gets the axioms.

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> Represents the type of axioms which can belong to ontologies.

Subinterfaces of OWLAxiom in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLAnnotationAssertionAxiom Represents AnnotationAssertion axioms in the OWL 2 specification.
interface	OWLAnnotationAxiom A super interface for annotation axioms.
interface	OWLAnnotationPropertyDomainAxiom Represents an AnnotationPropertyDomain axiom in the OWL 2 specification.
interface	OWLAnnotationPropertyRangeAxiom Represents an AnnotationPropertyRange axiom in the OWL 2 specification.
interface	OWLAsymmetricObjectPropertyAxiom Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLClassAssertionAxiom Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLClassAxiom
interface	OWLDataPropertyAssertionAxiom Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyAxiom A high level interface which marks data property axioms (e.g.
interface	OWLDataPropertyCharacteristicAxiom
interface	OWLDataPropertyDomainAxiom Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyRangeAxiom Represents a DataPropertyRange axiom in the OWL 2 Specification.
interface	OWLDatatypeDefinitionAxiom Represents a DatatypeDefinition axiom in the OWL 2 Specification.
interface	OWLDeclarationAxiom Represents a Declaration in the OWL 2 Specification.
interface	OWLDifferentIndividualsAxiom Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLDisjointClassesAxiom Represents a DisjointClasses axiom in the OWL 2 Specification.
interface	OWLDisjointDataPropertiesAxiom Represents a DisjointDataProperties axiom in the OWL 2 Specification.
interface	OWLDisjointObjectPropertiesAxiom Represents DisjointObjectProperties axioms in the OWL 2 specification.
interface	OWLDisjointUnionAxiom Represents a DisjointUnion axiom in the OWL 2 Specification.
interface	OWLEquivalentClassesAxiom Represents an EquivalentClasses axiom in the OWL 2 Specification.
interface	OWLEquivalentDataPropertiesAxiom Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
interface	OWLEquivalentObjectPropertiesAxiom Represents EquivalentObjectProperties axioms in the OWL 2 specification.
interface	OWLFunctionalDataPropertyAxiom Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom Represents FunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLHasKeyAxiom Represents a HasKey axiom in the OWL 2 Specification.
interface	OWLIndividualAxiom
interface	OWLInverseFunctionalObjectPropertyAxiom Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLInverseObjectPropertiesAxiom Represents an InverseObjectProperties axiom in the OWL 2 Specification.
interface	OWLIrreflexiveObjectPropertyAxiom Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
interface	OWLLogicalAxiom A base interface of all axioms that affect the logical meaning of an ontology.
interface	OWLNaryAxiom<C extends OWLObject> Represents an axiom that contains two or more operands that could also be represented with multiple pairwise axioms.
interface	OWLNaryClassAxiom
interface	OWLNaryIndividualAxiom
interface	OWLNaryPropertyAxiom<P extends OWLPropertyExpression>
interface	OWLNegativeDataPropertyAssertionAxiom Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAxiom
interface	OWLObjectPropertyCharacteristicAxiom
interface	OWLObjectPropertyDomainAxiom Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLObjectPropertyRangeAxiom Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject> Represents an Assertion in the OWL 2 specification.
interface	OWLPropertyAxiom The base interface for property axioms.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression> Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange> Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLReflexiveObjectPropertyAxiom Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLSameIndividualAxiom Represents an SameIndividual axiom in the OWL 2 Specification.
interface	OWLSubAnnotationPropertyOfAxiom Represents an SubAnnotationPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubClassOfAxiom Represents an SubClassOf axiom in the OWL 2 Specification.
interface	OWLSubDataPropertyOfAxiom Represents an SubDataPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubObjectPropertyOfAxiom Represents SubObjectPropertyOf axioms in the OWL 2 specification.
interface	OWLSubPropertyAxiom<P extends OWLPropertyExpression>
interface	OWLSubPropertyChainOfAxiom Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties.
interface	OWLSymmetricObjectPropertyAxiom Represents SymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLTransitiveObjectPropertyAxiom Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
interface	OWLUnaryPropertyAxiom<P extends OWLPropertyExpression>
interface	SWRLRule Represent a rule.

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

Modifier and Type	Field and Description
static Set<AxiomType<? extends OWLAxiom>>	AxiomType.AXIOM_TYPES Axiom types.
static Set<AxiomType<? extends OWLAxiom>>	AxiomType.LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES Logical axioms and declarations

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

Modifier and Type	Method and Description
<T extends OWLAxiom> Stream<T>	HasAxiomsByType.axioms(AxiomType<T> axiomType) Filter axioms according to the specified type.
default <T extends OWLAxiom> Stream<T>	OWLAxiomCollection.axioms(AxiomType<T> axiomType, Imports imports) Gets all axioms of the specified type.
default <T extends OWLAxiom> Stream<T>	OWLAxiomIndex.axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports imports, Navigation forSubPosition) Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
<T extends OWLAxiom> Stream<T>	OWLAxiomIndex.axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition) Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
default <T extends OWLAxiom> Stream<T>	OWLAxiomIndex.axioms(Class<T> type, OWLObject entity, Imports imports, Navigation forSubPosition) Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
default <T extends OWLAxiom> Stream<T>	OWLAxiomIndex.axioms(Class<T> type, OWLObject entity, Navigation forSubPosition) Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
<T extends OWLAxiom> Stream<T>	OWLAxiomIndex.axioms(OWLAxiomSearchFilter filter, Object key) Generic filter type for further refining search by axiom type.
<T extends OWLAxiom> Stream<T>	OWLAxiomIndex.axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure) Generic filter type for further refining search by axiom type.
default <T extends OWLAxiom> Collection<T>	OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter, Object key) Deprecated. use the stream method
default <T extends OWLAxiom> Collection<T>	OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure) Deprecated. use the stream method
default <T extends OWLAxiom> T	OWLAxiom.getAnnotatedAxiom(Class<T> witness, Stream<OWLAnnotation> annotations) Gets a copy of this axiom that is annotated with the specified annotations.
default <T extends OWLAxiom> T	OWLAxiom.getAnnotatedAxiom(Collection<OWLAnnotation> annotations) Gets a copy of this axiom that is annotated with the specified annotations.
static <T extends OWLAxiom> T	OWLAxiom.getAnnotatedAxiom(Collection<OWLAnnotation> annotations, T axiom) Gets a copy of the input axiom that is annotated with the specified annotations.
<T extends OWLAxiom> T	OWLAxiom.getAnnotatedAxiom(Stream<OWLAnnotation> annotations) Gets a copy of this axiom that is annotated with the specified annotations.
static <T extends OWLAxiom> T	OWLAxiom.getAnnotatedAxiom(Stream<OWLAnnotation> annotations, T axiom) Gets a copy of the input axiom that is annotated with the specified annotations.
<T extends OWLAxiom> int	OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom.
default <T extends OWLAxiom> int	OWLAxiomCollectionBooleanArgs.getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure) Deprecated. use the stream method
<T extends OWLAxiom> int	OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure) Gets the axiom count of a specific type of axiom, optionally including the imports closure.
default <T extends OWLAxiom> Set<T>	HasAxiomsByType.getAxioms(AxiomType<T> axiomType) Deprecated. use the stream method
default <T extends OWLAxiom> Set<T>	OWLAxiomCollectionBooleanArgs.getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure) Deprecated. use the stream method
default <T extends OWLAxiom> Set<T>	OWLAxiomCollection.getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure) Deprecated. use the stream method
default <T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition) Deprecated. use the stream method
default <T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition) Deprecated. use the stream method
default <T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, OWLObject entity, Imports includeImports, Navigation forSubPosition) Deprecated. use the stream method
default <T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition) Deprecated. use the stream method
<T extends OWLAxiom> T	OWLAxiom.getAxiomWithoutAnnotations() Gets an axiom that is structurally equivalent to this axiom without annotations.
default <T extends OWLAxiom> T	OWLAxiom.getAxiomWithoutAnnotations(Class<T> witness) Gets an axiom that is structurally equivalent to this axiom without annotations.
static <T extends OWLAxiom> T	OWLAxiom.getAxiomWithoutAnnotations(T axiom) Gets an axiom that is structurally equivalent to the input axiom without annotations.
static <T extends OWLAxiom> AxiomType<T>	AxiomType.getTypeForClass(Class<T> t)

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

Modifier and Type	Method and Description
OWLAxiom	OWLOntologyChange.getAxiom() If the change is an axiom change (i.e.
OWLAxiom	OWLAxiomChange.getAxiom()
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
Stream<OWLAxiom>	OWLOntology.aboxAxioms(Imports includeImportsClosure) Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
Stream<OWLAxiom>	HasAxioms.axioms()
default Stream<OWLAxiom>	OWLAxiomCollection.axioms(Imports imports)
Stream<OWLAxiom>	OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Stream<OWLAxiom>	OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
default Set<OWLAxiom>	OWLOntology.getABoxAxioms(Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	HasAxioms.getAxioms() Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxioms(boolean b) Deprecated. use getAxioms(Imports) instead
default Set<OWLAxiom>	OWLAxiomCollection.getAxioms(Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Deprecated. use the stream method
static Set<OWLAxiom>	AxiomType.getAxiomsOfTypes(Collection<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(Collection<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that are not of the specified type.
default Set<OWLAxiom>	OWLOntology.getRBoxAxioms(Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	OWLOntology.getTBoxAxioms(Imports includeImportsClosure) Deprecated. use the stream method
Stream<OWLAxiom>	OWLOntology.rboxAxioms(Imports includeImportsClosure) Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
Stream<OWLAxiom>	OWLAxiomCollection.referencingAxioms(OWLPrimitive owlEntity) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
default Stream<OWLAxiom>	OWLAxiomCollection.referencingAxioms(OWLPrimitive owlEntity, Imports imports) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
Collection<? extends OWLAxiom>	OWLNaryAxiom.splitToAnnotatedPairs() Splits this axiom to pairs, including annotations.
Stream<OWLAxiom>	OWLOntology.tboxAxioms(Imports 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
default ChangeApplied	HasDirectAddAxioms.add(OWLAxiom... axioms) A convenience method that adds a set of axioms to an ontology.
default ChangeApplied	HasDirectAddAxiom.add(OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
default ChangeApplied	OWLOntology.addAxiom(OWLAxiom axiom)
ChangeApplied	HasDirectAddAxiom.addAxiom(OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
ChangeApplied	HasAddAxiom.addAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
default ChangeApplied	OWLOntology.addAxioms(OWLAxiom... axioms)
ChangeApplied	HasDirectAddAxioms.addAxioms(OWLAxiom... axioms) A convenience method that adds a set of axioms to an ontology.
Stream<OWLAxiom>	OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
Stream<OWLAxiom>	OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
boolean	HasContainsAxiom.containsAxiom(OWLAxiom axiom) Determines whether or not this object contains a particular OWLAxiom.
default boolean	OWLAxiomCollectionBooleanArgs.containsAxiom(OWLAxiom axiom, boolean includeImportsClosure) Deprecated. use the stream method
boolean	OWLAxiomCollection.containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations) Determines if this ontology contains the specified axiom, optionally including the imports closure.
boolean	OWLAxiomCollection.containsAxiomIgnoreAnnotations(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
default boolean	OWLAxiomCollectionBooleanArgs.containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated. use the stream method
default boolean	OWLAxiom.equalsIgnoreAnnotations(OWLAxiom axiom) Determines if another axiom is equal to this axiom not taking into consideration the annotations on the axiom
default Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLOntology>	OWLOntologyManager.getOntologies(OWLAxiom axiom) Deprecated. use the stream method
default Stream<OWLOntology>	OWLOntologyManager.ontologies(OWLAxiom axiom) Gets the ontologies that are managed by this manager that contain the specified axiom.
default ChangeApplied	HasDirectRemoveAxioms.remove(OWLAxiom... axioms) A convenience method that removes a set of axioms from this object.
default ChangeApplied	HasDirectRemoveAxiom.remove(OWLAxiom axiom) A convenience method that removes a single axiom from this object.
default ChangeApplied	OWLOntology.removeAxiom(OWLAxiom axiom)
ChangeApplied	HasDirectRemoveAxiom.removeAxiom(OWLAxiom axiom) A convenience method that removes a single axiom from this object.
ChangeApplied	HasRemoveAxiom.removeAxiom(OWLOntology ont, OWLAxiom axiom) Deprecated. use OWLOntology.removeAxiom(OWLAxiom)
default ChangeApplied	OWLOntology.removeAxioms(OWLAxiom... axioms)
ChangeApplied	HasDirectRemoveAxioms.removeAxioms(OWLAxiom... axioms) A convenience method that removes a set of axioms from this object.

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

Modifier and Type	Method and Description
default ChangeApplied	HasDirectAddAxioms.add(Collection<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
default ChangeApplied	OWLOntology.addAxioms(Collection<? extends OWLAxiom> axioms)
ChangeApplied	HasDirectAddAxioms.addAxioms(Collection<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
default ChangeApplied	HasAddAxioms.addAxioms(OWLOntology ont, Collection<? extends OWLAxiom> axioms) Deprecated. use HasAddAxioms.addAxioms(OWLOntology, Stream) instead.
ChangeApplied	HasAddAxioms.addAxioms(OWLOntology ont, Stream<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
default ChangeApplied	OWLOntology.addAxioms(Stream<? extends OWLAxiom> axioms)
ChangeApplied	HasDirectAddAxioms.addAxioms(Stream<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
default OWLOntology	OWLOntologyManager.createOntology(Collection<OWLAxiom> axioms) Creates a new ontology that is initialised to contain specific axioms.
default OWLOntology	OWLOntologyManager.createOntology(Collection<OWLAxiom> axioms, IRI ontologyIRI) Creates a new ontology that has the specified ontology IRI and is initialised to contain specific axioms.
default OWLOntology	OWLOntologyManager.createOntology(Stream<OWLAxiom> axioms) Creates a new ontology that is initialised to contain specific axioms.
OWLOntology	OWLOntologyManager.createOntology(Stream<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(Collection<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(Collection<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes) Gets the set of axioms from a source set of axioms that are not of the specified type.
default ChangeApplied	HasDirectRemoveAxioms.remove(Collection<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from this object.
default ChangeApplied	HasDirectRemoveAxioms.remove(Stream<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from this object.
default ChangeApplied	OWLOntology.removeAxioms(Collection<? extends OWLAxiom> axioms)
ChangeApplied	HasDirectRemoveAxioms.removeAxioms(Collection<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from this object.
default ChangeApplied	HasRemoveAxioms.removeAxioms(OWLOntology ont, Collection<? extends OWLAxiom> axioms) Deprecated. use HasRemoveAxioms.removeAxioms(OWLOntology, Collection)
ChangeApplied	HasRemoveAxioms.removeAxioms(OWLOntology ont, Stream<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from an ontology.
default ChangeApplied	OWLOntology.removeAxioms(Stream<? extends OWLAxiom> axioms)
ChangeApplied	HasDirectRemoveAxioms.removeAxioms(Stream<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from this object.

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.model.parameters

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

Modifier and Type	Method and Description
abstract boolean	AxiomAnnotations.contains(OWLOntology o, OWLAxiom ax)

Uses of OWLAxiom in org.semanticweb.owlapi.modularity

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

Modifier and Type	Method and Description
Set<OWLAxiom>	OntologySegmenter.extract(Set<OWLEntity> signature) Returns a set of axioms that is a segment of the ontology associated with this segmenter.
Set<OWLAxiom>	OntologySegmenter.extract(Set<OWLEntity> signature, int superClassLevel, int subClassLevel, OWLReasoner reasoner) Returns a set of axioms that is a segment of the ontology associated with this segmenter.

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
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom, Object o)

Uses of OWLAxiom in org.semanticweb.owlapi.profiles.violations

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

Constructor and Description
CycleInDatatypeDefinition(OWLOntology ontology, OWLAxiom axiom)
DatatypeIRIAlsoUsedAsClassIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
EmptyOneOfAxiom(OWLOntology ontology, OWLAxiom axiom)
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)
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.rdf.rdfxml.parser

Methods in org.semanticweb.owlapi.rdf.rdfxml.parser that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLRDFConsumer.getLastAddedAxiom() Gets the last added axiom.

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.
default Stream<OWLAxiom>	OWLReasoner.pendingAxiomAdditions()
default Stream<OWLAxiom>	OWLReasoner.pendingAxiomRemovals()

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

Modifier and Type	Method and Description
default boolean	OWLReasoner.isEntailed(OWLAxiom... axioms)
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.
default boolean	OWLReasoner.isEntailed(Stream<? extends OWLAxiom> axioms)

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

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

Uses of OWLAxiom in org.semanticweb.owlapi.reasoner.impl

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

Modifier and Type	Method and Description
Set<OWLAxiom>	OWLReasonerBase.getPendingAxiomAdditions()
Set<OWLAxiom>	OWLReasonerBase.getPendingAxiomRemovals()
Collection<OWLAxiom>	OWLReasonerBase.getReasonerAxioms() Gets the axioms that should be currently being reasoned over.

Uses of OWLAxiom in org.semanticweb.owlapi.reasoner.structural

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

Modifier and Type	Method and Description
boolean	StructuralReasoner.isEntailed(OWLAxiom axiom)

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

Modifier and Type	Method and Description
boolean	StructuralReasoner.isEntailed(Set<? extends OWLAxiom> axioms)

Uses of OWLAxiom in org.semanticweb.owlapi.search

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

Modifier and Type	Class and Description
static class	Filters.AxiomFilter<A extends OWLAxiom>

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

Modifier and Type	Method and Description
static Stream<OWLAxiom>	EntitySearcher.axiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports) Get matching axioms for a, ignoring annotations.
static Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports) Get matching axioms for a, ignoring annotations.
static Stream<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
static Stream<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology, Imports includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.

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

Modifier and Type	Method and Description
static Stream<OWLAnnotation>	Searcher.annotations(OWLAxiom axiom, OWLAnnotationProperty p) Retrieve annotations from an axiom.
static Stream<OWLAxiom>	EntitySearcher.axiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports) Get matching axioms for a, ignoring annotations.
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, OWLOntology o, Imports imports) Checks if o contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, Stream<OWLOntology> ontologies, Imports imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure, ignoring annotations.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, Stream<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static <C extends OWLObject> Stream<C>	Searcher.different(OWLAxiom axiom) Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
static <C extends OWLObject> Stream<C>	Searcher.different(OWLAxiom axiom, Class<C> type) Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
static <C extends OWLObject> C	Searcher.domain(OWLAxiom axiom) Retrieve the domains from domain axioms.
static <C extends OWLObject> C	Searcher.domain(OWLAxiom axiom, Class<C> type) Retrieve the domains from domain axioms.
static <C extends OWLObject> Stream<C>	Searcher.equivalent(OWLAxiom axiom) Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
static <C extends OWLObject> Stream<C>	Searcher.equivalent(OWLAxiom axiom, Class<C> type) Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
static Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports) Get matching axioms for a, ignoring annotations.
boolean	Filters.AxiomFilter.pass(OWLAxiom axiom, Object key)
static <C extends OWLObject> C	Searcher.range(OWLAxiom axiom) Retrieve the ranges from a range axiom.
static <C extends OWLObject> C	Searcher.range(OWLAxiom axiom, Class<C> type) Retrieve the ranges from a range axiom.
static <C extends OWLObject> C	Searcher.sub(OWLAxiom axiom) Retrieve the sub part of an axiom, i.e., subclass or subproperty.
static <C extends OWLObject> C	Searcher.sub(OWLAxiom axiom, Class<C> type) Retrieve the sub part of an axiom, i.e., subclass or subproperty.
static <C extends OWLObject> C	Searcher.sup(OWLAxiom axiom) Retrieve the super part of an axiom, i.e., superclass or superproperty.
static <C extends OWLObject> C	Searcher.sup(OWLAxiom axiom, Class<C> type) Retrieve the super part of an axiom, i.e., superclass or superproperty.

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

Modifier and Type	Method and Description
static Stream<OWLAnnotation>	Searcher.annotations(Stream<? extends OWLAxiom> axioms) Retrieve annotations from a collection of axioms.
static Stream<OWLAnnotation>	Searcher.annotations(Stream<? extends OWLAxiom> axioms, OWLAnnotationProperty p) Retrieve annotations from a collection of axioms.
static <C extends OWLObject> Stream<C>	Searcher.different(Stream<? extends OWLAxiom> axioms) Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
static <C extends OWLObject> Stream<C>	Searcher.different(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
static <C extends OWLObject> Stream<C>	Searcher.domain(Stream<? extends OWLAxiom> axioms) Retrieve the domains from domain axioms.
static <C extends OWLObject> Stream<C>	Searcher.domain(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the domains from domain axioms.
static <C extends OWLObject> Stream<C>	Searcher.equivalent(Stream<? extends OWLAxiom> axioms) Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
static <C extends OWLObject> Stream<C>	Searcher.equivalent(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
static <C extends OWLObject> Stream<C>	Searcher.range(Stream<? extends OWLAxiom> axioms) Retrieve the ranges from range axioms.
static <C extends OWLObject> Stream<C>	Searcher.range(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the ranges from range axioms.
static <C extends OWLObject> Stream<C>	Searcher.sub(Stream<? extends OWLAxiom> axioms) Retrieve the sub part of axioms, i.e., subclass or subproperty.
static <C extends OWLObject> Stream<C>	Searcher.sub(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the sub part of axioms, i.e., subclass or subproperty.
static <C extends OWLObject> Stream<C>	Searcher.sup(Stream<? extends OWLAxiom> axioms) Retrieve the super part of axioms, i.e., superclass or superproperty.
static <C extends OWLObject> Stream<C>	Searcher.sup(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the super part of axioms, i.e., superclass or superproperty.

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> Given a reasoner, implementations of this interface generate axioms that represent inferred information.
class	InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom> Generates axioms which relate to inferred information for a specific entity.

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

Modifier and Type	Method and Description
<T> OWLAxiom	NNF.doDefault(T object)
OWLAxiom	OntologyAxiomPair.getAxiom()
OWLAxiom	OWLObjectWalker.getAxiom() Gets the last axiom to be visited.
OWLAxiom	OWLOntologyWalkerVisitorEx.getCurrentAxiom()
OWLAxiom	OWLOntologyWalkerVisitor.getCurrentAxiom()
OWLAxiom	NNF.visit(OWLClassAssertionAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	NNF.visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	NNF.visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiom	NNF.visit(OWLSubClassOfAxiom axiom)

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
boolean	AxiomAppearance.appearsMultipleTimes(OWLAxiom ax)
static OWLObject	AxiomSubjectProviderEx.getSubject(OWLAxiom axiom)
boolean	OWLAxiomSearchFilter.pass(OWLAxiom axiom, Object key)
boolean	OWLOntologyMerger.passes(OWLAxiom axiom)
boolean	OWLAxiomFilter.passes(OWLAxiom axiom)
void	OWLObjectWalker.setAxiom(OWLAxiom axiom) Allow the structure walker to set the current axiom.
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)

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

Constructor and Description
OntologyAxiomPair(OWLOntology ontology, OWLAxiom axiom)

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

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

Uses of OWLAxiom in org.semanticweb.owlapi.util.mansyntax

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

Modifier and Type	Method and Description
OWLAxiom	ManchesterOWLSyntaxParser.parseAxiom() Parsing "Inline" Axioms.

Uses of OWLAxiom in org.semanticweb.owlapitools.decomposition

Methods in org.semanticweb.owlapitools.decomposition that return OWLAxiom

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

Methods in org.semanticweb.owlapitools.decomposition that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	Decomposer.getNonLocal(Stream<OWLEntity> signature, ModuleType moduletype)
static List<OWLAxiom>	AxiomSelector.selectAxioms(OWLOntology o)

Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	Modularizer.isTautology(OWLAxiom ax, ModuleType type)
boolean	SyntacticLocalityChecker.local(OWLAxiom axiom)
boolean	SemanticLocalityChecker.local(OWLAxiom axiom)
boolean	LocalityChecker.local(OWLAxiom axiom)

Method parameters in org.semanticweb.owlapitools.decomposition with type arguments of type OWLAxiom

Modifier and Type	Method and Description
static List<AxiomWrapper>	AxiomSelector.wrap(List<OWLAxiom> o)

Constructors in org.semanticweb.owlapitools.decomposition with parameters of type OWLAxiom

Constructor and Description
AxiomWrapper(OWLAxiom axiom)

Uses of OWLAxiom in uk.ac.manchester.cs.atomicdecomposition

Methods in uk.ac.manchester.cs.atomicdecomposition that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Collection<OWLAxiom>	Atom.getAxioms()
Stream<OWLAxiom>	AtomicDecompositionImpl.getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
Stream<OWLAxiom>	AtomicDecomposition.getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
Set<OWLAxiom>	AtomicDecompositionImpl.getPrincipalIdeal(Atom atom)
Set<OWLAxiom>	AtomicDecomposition.getPrincipalIdeal(Atom atom)
Set<OWLAxiom>	AtomicDecompositionImpl.getTautologies()
Set<OWLAxiom>	AtomicDecomposition.getTautologies()

Methods in uk.ac.manchester.cs.atomicdecomposition with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	Atom.contains(OWLAxiom ax)
Atom	AtomicDecompositionImpl.getAtomForAxiom(OWLAxiom axiom)
Atom	AtomicDecomposition.getAtomForAxiom(OWLAxiom axiom)

Constructor parameters in uk.ac.manchester.cs.atomicdecomposition with type arguments of type OWLAxiom

Constructor and Description
Atom(Collection<OWLAxiom> axioms)
AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type)

Uses of OWLAxiom in uk.ac.manchester.cs.factplusplusad

Methods in uk.ac.manchester.cs.factplusplusad that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Collection<OWLAxiom>	OntologyBasedModularizer.getModule(Stream<OWLEntity> entities, ModuleType type)

Methods in uk.ac.manchester.cs.factplusplusad with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	Modularizer.isTautology(OWLAxiom ax, ModuleType type)

Uses of OWLAxiom in uk.ac.manchester.cs.owl.explanation.ordering

Methods in uk.ac.manchester.cs.owl.explanation.ordering with parameters of type OWLAxiom

Modifier and Type	Method and Description
ExplanationTree	NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)
ExplanationTree	ExplanationOrdererImpl.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)
ExplanationTree	ExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.
ExplanationTree	AlphaExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)

Method parameters in uk.ac.manchester.cs.owl.explanation.ordering with type arguments of type OWLAxiom

Modifier and Type	Method and Description
ExplanationTree	NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)
ExplanationTree	ExplanationOrdererImpl.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)
ExplanationTree	ExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms) Gets an ordered (and possibly indented) explanation.
ExplanationTree	AlphaExplanationOrderer.getOrderedExplanation(OWLAxiom entailment, Set<OWLAxiom> axioms)

Constructors in uk.ac.manchester.cs.owl.explanation.ordering with parameters of type OWLAxiom

Constructor and Description
EntailedAxiomTree(OWLAxiom userObject) Instantiates a new entailed axiom tree.
ExplanationTree(OWLAxiom userObject) Instantiates a new explanation tree.

Uses of OWLAxiom in uk.ac.manchester.cs.owl.owlapi

Classes in uk.ac.manchester.cs.owl.owlapi with type parameters of type OWLAxiom

Modifier and Type	Class and Description
class	MapPointer<K,V extends OWLAxiom> * Objects that identify contained maps - so that getting the keys of a specific map does not require a specific method for each map nor does it require the map to be copied and returned.

Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLAxiom

Modifier and Type	Class and Description
class	OWLAnnotationAssertionAxiomImpl
class	OWLAnnotationPropertyDomainAxiomImpl
class	OWLAnnotationPropertyRangeAxiomImpl
class	OWLAsymmetricObjectPropertyAxiomImpl
class	OWLAxiomImpl
class	OWLClassAssertionAxiomImpl
class	OWLClassAxiomImpl
class	OWLDataPropertyAssertionAxiomImpl
class	OWLDataPropertyCharacteristicAxiomImpl
class	OWLDataPropertyDomainAxiomImpl
class	OWLDataPropertyRangeAxiomImpl
class	OWLDatatypeDefinitionAxiomImpl
class	OWLDeclarationAxiomImpl
class	OWLDifferentIndividualsAxiomImpl
class	OWLDisjointClassesAxiomImpl
class	OWLDisjointDataPropertiesAxiomImpl
class	OWLDisjointObjectPropertiesAxiomImpl
class	OWLDisjointUnionAxiomImpl
class	OWLEquivalentClassesAxiomImpl
class	OWLEquivalentDataPropertiesAxiomImpl
class	OWLEquivalentObjectPropertiesAxiomImpl
class	OWLFunctionalDataPropertyAxiomImpl
class	OWLFunctionalObjectPropertyAxiomImpl
class	OWLHasKeyAxiomImpl
class	OWLIndividualAxiomImpl
class	OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
class	OWLInverseFunctionalObjectPropertyAxiomImpl
class	OWLInverseObjectPropertiesAxiomImpl
class	OWLIrreflexiveObjectPropertyAxiomImpl
class	OWLLogicalAxiomImpl
class	OWLNaryClassAxiomImpl
class	OWLNaryIndividualAxiomImpl
class	OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLNegativeDataPropertyAssertionAxiomImpl
class	OWLNegativeObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyCharacteristicAxiomImpl
class	OWLObjectPropertyDomainAxiomImpl
class	OWLObjectPropertyRangeAxiomImpl
class	OWLPropertyAxiomImpl
class	OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
class	OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>
class	OWLReflexiveObjectPropertyAxiomImpl
class	OWLSameIndividualAxiomImpl
class	OWLSubAnnotationPropertyOfAxiomImpl
class	OWLSubClassOfAxiomImpl
class	OWLSubDataPropertyOfAxiomImpl
class	OWLSubObjectPropertyOfAxiomImpl
class	OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLSubPropertyChainAxiomImpl
class	OWLSymmetricObjectPropertyAxiomImpl
class	OWLTransitiveObjectPropertyAxiomImpl
class	OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	SWRLRuleImpl

Methods in uk.ac.manchester.cs.owl.owlapi with type parameters of type OWLAxiom

Modifier and Type	Method and Description
<T extends OWLAxiom> Stream<T>	OWLImmutableOntologyImpl.axioms(AxiomType<T> axiomType)
<A extends OWLAxiom> Stream<A>	OWLImmutableOntologyImpl.axioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
<T extends OWLAxiom> Stream<T>	OWLImmutableOntologyImpl.axioms(OWLAxiomSearchFilter filter, Object key)
<T extends OWLAxiom> Stream<T>	OWLImmutableOntologyImpl.axioms(OWLAxiomSearchFilter filter, Object key, Imports imports)
static <K,V extends OWLAxiom> boolean	Internals.contains(MapPointer<K,V> p, K k, V v)
<T extends OWLAxiom> T	SWRLRuleImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLTransitiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSymmetricObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSubPropertyChainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSubObjectPropertyOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSubDataPropertyOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSubClassOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSubAnnotationPropertyOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLSameIndividualAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLReflexiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLObjectPropertyRangeAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLObjectPropertyDomainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLObjectPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLNegativeObjectPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLNegativeDataPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLIrreflexiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLInverseObjectPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLInverseFunctionalObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLHasKeyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLFunctionalObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLFunctionalDataPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLEquivalentObjectPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLEquivalentDataPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLEquivalentClassesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDisjointUnionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDisjointObjectPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDisjointDataPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDisjointClassesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDifferentIndividualsAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDeclarationAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDatatypeDefinitionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDataPropertyRangeAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDataPropertyDomainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLDataPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLClassAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLAsymmetricObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLAnnotationPropertyRangeAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLAnnotationPropertyDomainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> T	OWLAnnotationAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns)
<T extends OWLAxiom> int	OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType)
<T extends OWLAxiom> int	Internals.getAxiomCount(AxiomType<T> axiomType)
<T extends OWLAxiom> int	OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType, Imports imports)

Methods in uk.ac.manchester.cs.owl.owlapi that return OWLAxiom

Modifier and Type	Method and Description
OWLAxiom	OWLDatatypeDefinitionAxiomImpl.getAxiomWithoutAnnotations()
OWLAxiom	OWLAxiomImpl.getNNF()

Methods in uk.ac.manchester.cs.owl.owlapi that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Stream<OWLAxiom>	OWLImmutableOntologyImpl.aboxAxioms(Imports imports)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.axioms()
Stream<OWLAxiom>	OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom, Imports imports)
<K> Collection<? extends OWLAxiom>	Internals.filterAxioms(OWLAxiomSearchFilter filter, K key)
<T> Collection<OWLAxiom>	MapPointer.filterAxioms(OWLAxiomSearchFilter filter, T key)
Stream<OWLAxiom>	Internals.getAxioms() Gets the axioms by type.
MapPointer<AxiomType<?>,OWLAxiom>	Internals.getAxiomsByType()
Stream<OWLAxiom>	Internals.getReferencingAxioms(OWLEntity owlEntity)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.rboxAxioms(Imports imports)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.referencingAxioms(OWLPrimitive owlEntity)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.tboxAxioms(Imports imports)

Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLAxiom

Modifier and Type	Method and Description
boolean	Internals.addAxiom(OWLAxiom axiom)
ChangeApplied	OWLOntologyManagerImpl.addAxiom(OWLOntology ont, OWLAxiom axiom)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom)
Stream<OWLAxiom>	OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom, Imports imports)
boolean	OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom)
boolean	OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom, Imports imports, AxiomAnnotations ignoreAnnotations)
boolean	OWLImmutableOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Stream<OWLOntology>	OWLOntologyManagerImpl.ontologies(OWLAxiom axiom)
boolean	Internals.removeAxiom(OWLAxiom axiom)
ChangeApplied	OWLOntologyManagerImpl.removeAxiom(OWLOntology ont, OWLAxiom axiom)

Method parameters in uk.ac.manchester.cs.owl.owlapi with type arguments of type OWLAxiom

Modifier and Type	Method and Description
ChangeApplied	OWLOntologyManagerImpl.addAxioms(OWLOntology ont, Stream<? extends OWLAxiom> axioms)
OWLOntology	OWLOntologyManagerImpl.createOntology(Stream<OWLAxiom> axioms, IRI ontologyIRI)
ChangeApplied	OWLOntologyManagerImpl.removeAxioms(OWLOntology ont, Stream<? extends OWLAxiom> axioms)

Uses of OWLAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent with type parameters of type OWLAxiom

Modifier and Type	Method and Description
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(AxiomType<T> axiomType)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(AxiomType<T> axiomType, Imports imports)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(OWLAxiomSearchFilter filter, Object key)
<T extends OWLAxiom> Stream<T>	ConcurrentOWLOntologyImpl.axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)
<T extends OWLAxiom> Collection<T>	ConcurrentOWLOntologyImpl.filterAxioms(OWLAxiomSearchFilter filter, Object key)
<T extends OWLAxiom> Collection<T>	ConcurrentOWLOntologyImpl.filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)
<T extends OWLAxiom> int	ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType)
<T extends OWLAxiom> int	ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType, boolean b)
<T extends OWLAxiom> int	ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType, Imports imports)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType, boolean b)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType, Imports imports)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)
<T extends OWLAxiom> Set<T>	ConcurrentOWLOntologyImpl.getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition)

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.aboxAxioms(Imports imports)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.axioms()
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.axioms(Imports imports)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getABoxAxioms(Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxioms()
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxioms(boolean b)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxioms(Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getRBoxAxioms(Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive, boolean b)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getTBoxAxioms(Imports imports)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.rboxAxioms(Imports imports)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.referencingAxioms(OWLPrimitive owlPrimitive)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.referencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.tboxAxioms(Imports imports)

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent with parameters of type OWLAxiom

Modifier and Type	Method and Description
ChangeApplied	ConcurrentOWLOntologyImpl.add(OWLAxiom... set)
ChangeApplied	ConcurrentOWLOntologyImpl.add(OWLAxiom owlAxiom)
ChangeApplied	ConcurrentOWLOntologyImpl.addAxiom(OWLAxiom owlAxiom)
ChangeApplied	ConcurrentOWLOntologyImpl.addAxioms(OWLAxiom... set)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Stream<OWLAxiom>	ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
boolean	ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom)
boolean	ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom, boolean b)
boolean	ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom, Imports imports, AxiomAnnotations axiomAnnotations)
boolean	ConcurrentOWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)
boolean	ConcurrentOWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
ChangeApplied	ConcurrentOWLOntologyImpl.remove(OWLAxiom... axioms)
ChangeApplied	ConcurrentOWLOntologyImpl.remove(OWLAxiom axiom)
ChangeApplied	ConcurrentOWLOntologyImpl.removeAxiom(OWLAxiom axiom)
ChangeApplied	ConcurrentOWLOntologyImpl.removeAxioms(OWLAxiom... axioms)

Method parameters in uk.ac.manchester.cs.owl.owlapi.concurrent with type arguments of type OWLAxiom

Modifier and Type	Method and Description
ChangeApplied	ConcurrentOWLOntologyImpl.add(Collection<? extends OWLAxiom> set)
ChangeApplied	ConcurrentOWLOntologyImpl.addAxioms(Collection<? extends OWLAxiom> set)
ChangeApplied	ConcurrentOWLOntologyImpl.remove(Collection<? extends OWLAxiom> axioms)
ChangeApplied	ConcurrentOWLOntologyImpl.removeAxioms(Collection<? extends OWLAxiom> axioms)

Uses of OWLAxiom in uk.ac.manchester.cs.owlapi.modularity

Methods in uk.ac.manchester.cs.owlapi.modularity that return types with arguments of type OWLAxiom

Modifier and Type	Method and Description
Set<OWLAxiom>	SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> signature)
Set<OWLAxiom>	SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig, int superClassLevel, int subClassLevel, OWLReasoner reasoner) Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as a set of axioms.

Constructor parameters in uk.ac.manchester.cs.owlapi.modularity with type arguments of type OWLAxiom

Constructor and Description
SyntacticLocalityModuleExtractor(OWLOntologyManager man, Stream<OWLAxiom> axs, ModuleType moduleType) Creates a new module extractor for a subset of a given ontology, its manager, and a specified type of locality.
SyntacticLocalityModuleExtractor(OWLOntologyManager man, Stream<OWLAxiom> axs, ModuleType moduleType, boolean excludeAssertions) Creates a new module extractor for a subset of a given ontology, its manager, and a specified type of locality.