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
org.obolibrary.obo2owl
org.semanticweb.owlapi.apibinding	Binding package
org.semanticweb.owlapi.change	Ontology change classes.
org.semanticweb.owlapi.debugging	Debugging package
org.semanticweb.owlapi.functional.parser
org.semanticweb.owlapi.manchestersyntax.parser
org.semanticweb.owlapi.manchestersyntax.renderer
org.semanticweb.owlapi.metrics	Metrics package
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.modularity	Modularity interface package
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.profiles.violations
org.semanticweb.owlapi.rdf.model	RDF model package
org.semanticweb.owlapi.rdf.rdfxml.parser
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 utulities package
org.semanticweb.owlapi.util	Utilities package
org.semanticweb.owlapi.util.mansyntax
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
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) Add the axiom to all the given ontologies.
static Set<OWLOntology>	OntologyUtils.removeAxiom(OWLAxiom axiom, Set<OWLOntology> ontologies, OWLOntologyManager manager) 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
void	SilentExplanationProgressMonitor.foundExplanation(Set<OWLAxiom> axioms)
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, Set<? extends OWLEntity> signature)
boolean	SemanticLocalityEvaluator.isLocal(OWLAxiom axiom, Set<? extends OWLEntity> signature)
boolean	LocalityEvaluator.isLocal(OWLAxiom axiom, Set<? extends 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.visit(OWLAnnotationAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLClassAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDataPropertyRangeAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDatatypeDefinitionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDeclarationAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLHasKeyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLObjectPropertyRangeAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSameIndividualAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSubClassOfAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiom	AbstractMacroExpansionVisitor.visit(SWRLRule rule)

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 Set<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) Translate 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(Set<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 inconsistent 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 inconsistent 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.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.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<? extends 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.

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

Modifier and Type	Method and Description
<T extends OWLAxiom> Collection<T>	OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure) Generic filter type for further refining search by axiom type.
<T extends OWLAxiom> int	OWLAxiomCollectionNoArgs.getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom.
<T extends OWLAxiom> int	OWLAxiomCollectionBooleanArgs.getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure) Deprecated.
<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.
<T extends OWLAxiom> Set<T>	HasAxiomsByType.getAxioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type.
<T extends OWLAxiom> Set<T>	OWLAxiomCollectionBooleanArgs.getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure) Deprecated.
<T extends OWLAxiom> Set<T>	OWLAxiomCollection.getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure) Gets all axioms of the specified type.
<T extends OWLAxiom> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, 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> Set<T>	OWLAxiomIndex.getAxioms(Class<T> type, OWLObject entity, Imports includeImports, Navigation forSubPosition) Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
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	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(Imports includeImportsClosure) Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the AxiomType::ABoxAxiomTypes.
Optional<OWLAxiom>	OWLOntologyChange.getAddedAxiom()
Optional<OWLAxiom>	OWLOntologyChange.getAddedOrRemovedAxiom()
Set<OWLAxiom>	HasAxioms.getAxioms() Gets the OWLAxioms contained in this object.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxioms(boolean b) Deprecated. use OWLAxiomCollection.getAxioms(org.semanticweb.owlapi.model.parameters.Imports) instead
Set<OWLAxiom>	OWLAxiomCollection.getAxioms(Imports includeImportsClosure)
Set<OWLAxiom>	OWLAxiomCollectionNoArgs.getAxiomsIgnoreAnnotations(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.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(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.
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(Imports includeImportsClosure) Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the AxiomType::RBoxAxiomTypes.
Set<OWLAxiom>	OWLAxiomCollectionNoArgs.getReferencingAxioms(OWLPrimitive owlEntity) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImportsClosure) Deprecated.
Set<OWLAxiom>	OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
Optional<OWLAxiom>	OWLOntologyChange.getRemovedAxiom()
Set<OWLAxiom>	OWLOntology.getTBoxAxioms(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
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.
boolean	HasContainsAxiom.containsAxiom(OWLAxiom axiom) Determines whether or not this object contains a particular OWLAxiom.
boolean	OWLAxiomCollectionBooleanArgs.containsAxiom(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
boolean	OWLAxiomCollection.containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations) Determines if this ontology contains the specified axiom, optionally including the imports closure.
boolean	OWLAxiomCollectionNoArgs.containsAxiomIgnoreAnnotations(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
boolean	OWLAxiomCollectionBooleanArgs.containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
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>	OWLAxiomCollectionNoArgs.getAxiomsIgnoreAnnotations(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.
Set<OWLAxiom>	OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) Deprecated.
Set<OWLAxiom>	OWLAxiomCollection.getAxiomsIgnoreAnnotations(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.
Set<OWLOntology>	OWLOntologyManager.getOntologies(OWLAxiom axiom) Gets the ontologies that are managed by this manager that contain the specified axiom.
ChangeApplied	HasRemoveAxiom.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
ChangeApplied	HasAddAxioms.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
ChangeApplied	HasDirectAddAxioms.addAxioms(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
ChangeApplied	HasRemoveAxioms.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.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()

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

Modifier and Type	Method and Description
List<OWLProfileViolation>	OWLProfileReport.getViolations(OWLAxiom ax)

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)
UseOfDefinedDatatypeInLiteral(OWLOntology ontology, OWLAxiom axiom, OWLLiteral literal)
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)
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression prop)
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)
UseOfPropertyInChainCausesCycle(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression property)
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.model

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

Constructor and Description
AbstractTranslator(OWLOntologyManager manager, OWLOntology ontology, OWLDocumentFormat format, boolean useStrongTyping, IndividualAppearance multiple, AxiomAppearance appearance, AtomicInteger nextNode, Map<Object,Integer> blankNodeMap, Set<OWLAxiom> translatedAxioms)
RDFTranslator(OWLOntologyManager manager, OWLOntology ontology, OWLDocumentFormat format, boolean useStrongTyping, IndividualAppearance occurrences, AxiomAppearance axiomOccurrences, AtomicInteger nextNode, Map<Object,Integer> blankNodeMap, Set<OWLAxiom> translatedAxioms)

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.

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, 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 Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Get matching axioms for a, ignoring annotations.
static Collection<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology) Gets the axioms in the specified ontology that contain e in their signature.
static Collection<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology, boolean includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain e in their signature.

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

Modifier and Type	Method and Description
static Set<OWLAnnotation>	Searcher.annotations(OWLAxiom axiom, OWLAnnotationProperty p) Retrieve annotations from an axiom.
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, Iterable<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, Iterable<OWLOntology> ontologies, boolean 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 <C extends OWLObject> Set<C>	Searcher.different(OWLAxiom axiom) 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> Set<C>	Searcher.equivalent(OWLAxiom axiom) Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
static Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean 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.sub(OWLAxiom axiom) 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 super property.

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

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

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
OWLAxiom	OntologyAxiomPair.getAxiom()
OWLAxiom	OWLObjectWalker.getAxiom() Gets the last axiom to be visited.
OWLAxiom	OWLOntologyWalkerVisitorEx.getCurrentAxiom()
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
boolean	OWLAxiomsWithNestedAnnotations.appearsMultipleTimes(OWLAxiom ax)
boolean	AxiomAppearance.appearsMultipleTimes(OWLAxiom ax)
boolean	AlwaysOutputId.appearsMultipleTimes(OWLAxiom ax)
OWLObject	AxiomSubjectProvider.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	SimpleRendererDebug.writeAnnotations(OWLAxiom 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 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	OWLAxiomImplWithEntityAndAnonCaching
class	OWLAxiomImplWithoutEntityAndAnonCaching
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	OWLIndividualAxiomImplWithEntityAndAnonCaching
class	OWLIndividualAxiomImplWithoutEntityAndAnonCaching
class	OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
class	OWLInverseFunctionalObjectPropertyAxiomImpl
class	OWLInverseObjectPropertiesAxiomImpl
class	OWLIrreflexiveObjectPropertyAxiomImpl
class	OWLLogicalAxiomImplWithEntityAndAnonCaching
class	OWLLogicalAxiomImplWithoutEntityAndAnonCaching
class	OWLNaryClassAxiomImpl
class	OWLNaryIndividualAxiomImpl
class	OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLNegativeDataPropertyAssertionAxiomImpl
class	OWLNegativeObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyCharacteristicAxiomImpl
class	OWLObjectPropertyDomainAxiomImpl
class	OWLObjectPropertyRangeAxiomImpl
class	OWLPropertyAxiomImplWithEntityAndAnonCaching
class	OWLPropertyAxiomImplWithoutEntityAndAnonCaching
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
static <K,V extends OWLAxiom> boolean	Internals.contains(MapPointer<K,V> p, K k, V v)
<T extends OWLAxiom> Collection<T>	OWLImmutableOntologyImpl.filterAxioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)
<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, boolean includeImportsClosure)
<T extends OWLAxiom> int	OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure)
<T extends OWLAxiom> Set<T>	OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType)
<T extends OWLAxiom> Set<T>	OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure)
<T extends OWLAxiom> Set<T>	OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure)
<A extends OWLAxiom> Set<A>	OWLImmutableOntologyImpl.getAxioms(Class<A> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition)
<A extends OWLAxiom> Set<A>	OWLImmutableOntologyImpl.getAxioms(Class<A> type, OWLObject entity, Imports includeImports, Navigation forSubPosition)

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

Modifier and Type	Method and Description
OWLAxiom	SWRLRuleImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLAxiom	OWLTransitiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLAxiom	OWLDataPropertyRangeAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLAxiom	OWLDataPropertyDomainAxiomImpl.getAnnotatedAxiom(Set<OWLAnnotation> annotations)
OWLAxiom	OWLDatatypeDefinitionAxiomImpl.getAxiomWithoutAnnotations()
OWLAxiom	OWLAxiomImplWithoutEntityAndAnonCaching.getNNF()
OWLAxiom	OWLAxiomImplWithEntityAndAnonCaching.getNNF()

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

Modifier and Type	Method and Description
<K> Collection<? extends OWLAxiom>	Internals.filterAxioms(OWLAxiomSearchFilter filter, K key)
<T> Collection<OWLAxiom>	MapPointer.filterAxioms(OWLAxiomSearchFilter filter, T key)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getABoxAxioms(Imports includeImportsClosure)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxioms()
List<OWLAxiom>	Internals.getAxioms() Gets the axioms by type.
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxioms(boolean b)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxioms(Imports includeImportsClosure)
MapPointer<AxiomType<?>,OWLAxiom>	Internals.getAxiomsByType()
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getRBoxAxioms(Imports includeImportsClosure)
Iterable<OWLAxiom>	Internals.getReferencingAxioms(OWLEntity owlEntity)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getReferencingAxioms(OWLPrimitive owlEntity)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImports)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getTBoxAxioms(Imports includeImportsClosure)

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

Modifier and Type	Method and Description
ChangeApplied	OWLOntologyImpl.addAxiom(OWLAxiom axiom)
boolean	Internals.addAxiom(OWLAxiom axiom)
ChangeApplied	OWLOntologyManagerImpl.addAxiom(OWLOntology ont, OWLAxiom axiom)
boolean	OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom)
boolean	OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)
boolean	OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations)
boolean	OWLImmutableOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom axiom)
boolean	OWLImmutableOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean importsIncluded)
boolean	OWLAxiomImplWithoutEntityAndAnonCaching.equalsIgnoreAnnotations(OWLAxiom axiom)
boolean	OWLAxiomImplWithEntityAndAnonCaching.equalsIgnoreAnnotations(OWLAxiom axiom)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
Set<OWLAxiom>	OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure)
Set<OWLOntology>	OWLOntologyManagerImpl.getOntologies(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, Set<? extends OWLAxiom> axioms)
ChangeApplied	OWLOntologyImpl.addAxioms(Set<? extends OWLAxiom> axioms)
OWLOntology	OWLOntologyManagerImpl.createOntology(Set<OWLAxiom> axioms)
OWLOntology	OWLOntologyManagerImpl.createOntology(Set<OWLAxiom> axioms, IRI ontologyIRI)
ChangeApplied	OWLOntologyManagerImpl.removeAxioms(OWLOntology ont, Set<? 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> 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) Deprecated.
<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) Deprecated.
<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> aClass, OWLObject owlObject, Imports imports, Navigation navigation)

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

Modifier and Type	Method and Description
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getABoxAxioms(Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxioms()
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxioms(boolean b) Deprecated.
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxioms(Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b) Deprecated.
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) Deprecated.
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getTBoxAxioms(Imports imports)

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

Modifier and Type	Method and Description
ChangeApplied	ConcurrentOWLOntologyImpl.addAxiom(OWLAxiom owlAxiom)
boolean	ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom)
boolean	ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom, boolean b) Deprecated.
boolean	ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom, Imports imports, AxiomAnnotations axiomAnnotations)
boolean	ConcurrentOWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)
boolean	ConcurrentOWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom, boolean b) Deprecated.
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b) Deprecated.
Set<OWLAxiom>	ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)

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

Modifier and Type	Method and Description
ChangeApplied	ConcurrentOWLOntologyImpl.addAxioms(Set<? extends OWLAxiom> set)

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> signature, int superClassLevel, int subClassLevel, OWLReasoner reasoner)
Set<OWLAxiom>	SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig, int superClassLevel, int subClassLevel, OWLReasoner reasoner, boolean verbose) 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, IRI ontIRI, Set<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, IRI ontIRI, Set<OWLAxiom> axs, ModuleType moduleType, boolean excludeAssertions)
SyntacticLocalityModuleExtractor(OWLOntologyManager man, OWLOntologyLoaderConfiguration config, IRI ontIRI, Set<OWLAxiom> axs, ModuleType moduleType, boolean excludeAssertions)
SyntacticLocalityModuleExtractor(OWLOntologyManager man, OWLOntology ont, Set<OWLAxiom> axs, ModuleType moduleType) Deprecated. use the constructor that takes an IRI rather than an ontology as second argument. The second argument is used only in logging assertions and can be null.