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) |
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.
|
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) |
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) |
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.
|
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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
KRSSParser.ABoxStatement()
A box statement.
|
OWLAxiom |
KRSSParser.DefineConcept()
Define concept.
|
OWLAxiom |
KRSSParser.DefinePrimitiveConcept()
Define primitive concept.
|
OWLAxiom |
KRSSParser.DefinePrimitiveRole()
Define primitive role.
|
OWLAxiom |
KRSSParser.Distinct()
Distinct.
|
OWLAxiom |
KRSSParser.Equal()
Equal.
|
OWLAxiom |
KRSSParser.Instance()
Instance.
|
OWLAxiom |
KRSSParser.Range()
Range.
|
OWLAxiom |
KRSSParser.Related()
Related.
|
OWLAxiom |
KRSSParser.TBoxStatement()
T box statement.
|
OWLAxiom |
KRSSParser.Transitive()
Transitive.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLFunctionalSyntaxParser.AnnotationAxiom()
Annotation axiom.
|
OWLAxiom |
OWLFunctionalSyntaxParser.Axiom()
Axiom.
|
OWLAxiom |
OWLFunctionalSyntaxParser.Declaration()
Declaration.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
OWLObjectRenderer.writeAnnotations(OWLEntity entity)
Writes of the annotation for the specified entity.
|
Set<OWLAxiom> |
OWLObjectRenderer.writeAxioms(OWLEntity entity)
Writes out the axioms that define the specified entity.
|
Set<OWLAxiom> |
OWLObjectRenderer.writeDeclarations(OWLEntity entity)
Writes out the declaration axioms for the specified entity.
|
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectRenderer.writeAnnotations(OWLAxiom ax)
Write annotations.
|
void |
OWLObjectRenderer.writeAxiomStart(OWLXMLVocabulary v,
OWLAxiom axiom)
Write axiom start.
|
void |
OWLObjectRenderer.writePropertyCharacteristic(OWLXMLVocabulary v,
OWLAxiom ax,
OWLPropertyExpression<?,?> prop)
Write property characteristic.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OntologyAxiomPair.getAxiom() |
OWLAxiom |
ManchesterOWLSyntaxInlineAxiomParser.parse(String expression) |
OWLAxiom |
ManchesterOWLSyntaxParser.parseAxiom()
Parsing "Inline" Axioms.
|
OWLAxiom |
ManchesterOWLSyntaxEditorParser.parseAxiom() |
Constructor and Description |
---|
OntologyAxiomPair(OWLOntology ontology,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
AbstractOWLAxiomElementHandler.getOWLObject() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractOWLAxiomElementHandler.setAxiom(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLRDFConsumer.getLastAddedAxiom()
Gets the last added axiom.
|
Modifier and Type | Method and Description |
---|---|
static OWLOntology |
OWLFunctionalSyntaxFactory.Ontology(OWLOntologyManager man,
OWLAxiom... axioms) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
AxiomChangeData.getAxiom()
Gets the
OWLAxiom that is associated with this change data. |
Constructor and Description |
---|
AddAxiomData(OWLAxiom axiom)
Constructs an
AddAxiomData object which specifies the addition of
an axiom to "some ontology". |
AxiomChangeData(OWLAxiom axiom)
Constructs an
AxiomChangeData object that describes a change
involving the specified axiom . |
RemoveAxiomData(OWLAxiom axiom)
Constructs an
RemoveAxiomData object which specifies the removal
of an axiom from "some ontology". |
Modifier and Type | Method and Description |
---|---|
Set<Set<OWLAxiom>> |
OWLDebugger.getAllSOSForIncosistentClass(OWLClassExpression cls) |
Set<Set<OWLAxiom>> |
AbstractOWLDebugger.getAllSOSForIncosistentClass(OWLClassExpression cls) |
Set<OWLAxiom> |
JustificationMap.getChildAxioms(OWLAxiom ax) |
Set<OWLAxiom> |
JustificationMap.getRootAxioms() |
Set<OWLAxiom> |
OWLDebugger.getSOSForIncosistentClass(OWLClassExpression cls) |
Set<OWLAxiom> |
BlackBoxOWLDebugger.getSOSForIncosistentClass(OWLClassExpression cls) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
JustificationMap.getChildAxioms(OWLAxiom ax) |
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 and Description |
---|
JustificationMap(OWLClassExpression desc,
Set<OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
Set<? extends OWLAxiom> |
AxiomCountMetric.getAxioms() |
Modifier and Type | Class and Description |
---|---|
class |
AxiomType<C extends OWLAxiom>
Represents the type of axioms which can belong to ontologies.
|
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 A declaration axiom declares an entity in an ontology.
|
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 Represents a statement that two properties are
the inverse of each other.
|
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
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> |
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.
|
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLOntology.getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
<T extends OWLAxiom> |
OWLOntology.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axiom count of a specific type of axiom, possibly in the imports
closure of this ontology.
|
<T extends OWLAxiom> |
OWLOntology.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
HasAxiomsByType.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
OWLOntology.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axioms which are of the specified type.
|
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.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
OWLOntology.getABoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the ABox for this ontology, i.e., the ones
whose type is in the AxiomType::ABoxAxiomTypes.
|
Set<OWLAxiom> |
OWLOntology.getAxioms()
Retrieves all of the axioms in this ontology.
|
Set<OWLAxiom> |
HasAxioms.getAxioms()
Gets the
OWLAxiom s contained in this object. |
Set<OWLAxiom> |
OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms contained in this ontology that have the same
"logical structure" as the specified axiom.
|
Set<OWLAxiom> |
OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Gets the set of axioms contained in this ontology that have the same
"logical structure" as the specified axiom, possibly searching the
imports closure of this ontology.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that have a specified
type
|
static Set<OWLAxiom> |
AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that are not of the
specified type
|
Set<OWLAxiom> |
OWLOntology.getRBoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones
whose type is in the AxiomType::RBoxAxiomTypes.
|
Set<OWLAxiom> |
OWLOntology.getReferencingAxioms(OWLAnonymousIndividual individual)
Gets the axioms that reference the specified anonymous individual.
|
Set<OWLAxiom> |
OWLOntology.getReferencingAxioms(OWLEntity owlEntity)
Gets the axioms where the specified entity appears in the signature of
the axiom.
|
Set<OWLAxiom> |
OWLOntology.getReferencingAxioms(OWLEntity owlEntity,
boolean includeImportsClosure)
Gets the axioms where the specified entity appears in the signature of
the axiom.
|
Set<OWLAxiom> |
OWLEntity.getReferencingAxioms(OWLOntology ontology)
Gets the axioms in the specified ontology that contain this entity in
their signature.
|
Set<OWLAxiom> |
OWLEntity.getReferencingAxioms(OWLOntology ontology,
boolean includeImports)
Gets the axioms in the specified ontology and possibly its imports
closure that contain this entity in their signature.
|
Set<OWLAxiom> |
OWLOntology.getTBoxAxioms(boolean includeImportsClosure)
Gets the axioms that form the TBox for this ontology, i.e., the ones
whose type is in the AxiomType::TBoxAxiomTypes.
|
Modifier and Type | Method and Description |
---|---|
List<OWLOntologyChange> |
OWLOntologyManager.addAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that adds a single axiom to an ontology.
|
boolean |
OWLOntology.containsAxiom(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
boolean |
HasContainsAxiom.containsAxiom(OWLAxiom axiom)
Determines whether or not this object contains a particular
OWLAxiom . |
boolean |
OWLOntology.containsAxiom(OWLAxiom axiom,
boolean includeImportsClosure)
Determines if this ontology, and possibly the imports closure, contains
the specified axiom.
|
boolean |
OWLOntology.containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom, but ignoring
any annotations on this axiom.
|
boolean |
OWLOntology.containsAxiomIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Determines if this ontology and possibly its imports closure contains the
specified axiom but ignoring any annotations on this axiom.
|
boolean |
OWLAxiom.equalsIgnoreAnnotations(OWLAxiom axiom)
Determines if another axiom is equal to this axiom not taking into
consideration the annotations on the axiom
|
Set<OWLAxiom> |
OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms contained in this ontology that have the same
"logical structure" as the specified axiom.
|
Set<OWLAxiom> |
OWLOntology.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Gets the set of axioms contained in this ontology that have the same
"logical structure" as the specified axiom, possibly searching the
imports closure of this ontology.
|
Set<OWLOntology> |
OWLOntologyManager.getOntologies(OWLAxiom axiom)
Gets the ontologies that are managed by this manager that contain the
specified axiom.
|
List<OWLOntologyChange> |
OWLOntologyManager.removeAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that removes a single axiom from an ontology.
|
Modifier and Type | Method and Description |
---|---|
List<OWLOntologyChange> |
OWLOntologyManager.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
List<OWLOntologyChange> |
HasAddAxioms.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
OWLOntology |
OWLOntologyManager.createOntology(Set<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms.
|
OWLOntology |
OWLOntologyManager.createOntology(Set<OWLAxiom> axioms,
IRI ontologyIRI)
Creates a new ontology that has the specified ontology IRI and is
initialised to contain specific axioms.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that have a specified
type
|
static Set<OWLAxiom> |
AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that are not of the
specified type
|
List<OWLOntologyChange> |
OWLOntologyManager.removeAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
List<OWLOntologyChange> |
HasRemoveAxioms.removeAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
Constructor and Description |
---|
AddAxiom(OWLOntology ont,
OWLAxiom axiom) |
OWLAxiomChange(OWLOntology ont,
OWLAxiom axiom) |
RemoveAxiom(OWLOntology ont,
OWLAxiom axiom) |
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.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLProfileViolation.getAxiom() |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
UnsupportedEntailmentTypeException.getAxiom() |
OWLAxiom |
AxiomNotInProfileException.getAxiom() |
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.
|
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.
|
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.
|
Constructor and Description |
---|
AxiomNotInProfileException(OWLAxiom axiom,
OWLProfile profile) |
UnsupportedEntailmentTypeException(OWLAxiom axiom) |
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.
|
Modifier and Type | Method and Description |
---|---|
boolean |
StructuralReasoner.isEntailed(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
boolean |
StructuralReasoner.isEntailed(Set<? extends OWLAxiom> axioms) |
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.
|
interface |
OWLAxiomSearchFilter<O extends OWLAxiom,K> |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLAxiomsWithNestedAnnotations.appearsMultipleTimes(OWLAxiom ax) |
boolean |
AxiomAppearance.appearsMultipleTimes(OWLAxiom ax) |
boolean |
AlwaysOutputId.appearsMultipleTimes(OWLAxiom ax) |
AxiomType<?> |
AxiomTypeProvider.getAxiomType(OWLAxiom axiom)
Deprecated.
|
OWLObject |
AxiomSubjectProvider.getSubject(OWLAxiom axiom) |
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) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms) |
Constructor and Description |
---|
InferredOntologyGenerator(OWLReasoner reasoner,
List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators) |
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) |
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) |
Constructor and Description |
---|
EntailedAxiomTree(OWLAxiom userObject) |
ExplanationTree(OWLAxiom userObject) |
Modifier and Type | Class and Description |
---|---|
class |
MapPointer<K,V extends OWLAxiom>
MAp implementation for a pointer
|
Modifier and Type | Method and Description |
---|---|
<K,V extends OWLAxiom> |
InternalsImpl.add(Internals.Pointer<K,V> p,
K k,
V v) |
<K,V extends OWLAxiom> |
Internals.add(Internals.Pointer<K,V> pointer,
K key,
V value) |
<K,V extends OWLAxiom> |
InternalsImpl.contains(Internals.Pointer<K,V> p,
K k) |
<K,V extends OWLAxiom> |
Internals.contains(Internals.Pointer<K,V> pointer,
K k) |
<K,V extends OWLAxiom> |
InternalsImpl.contains(Internals.Pointer<K,V> p,
K k,
V v) |
<K,V extends OWLAxiom> |
Internals.contains(Internals.Pointer<K,V> pointer,
K k,
V v) |
<T extends OWLAxiom,K> |
InternalsImpl.filterAxioms(OWLAxiomSearchFilter<T,K> filter,
K key) |
<T extends OWLAxiom,K> |
Internals.filterAxioms(OWLAxiomSearchFilter<T,K> filter,
K key) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
InternalsImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
Internals.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure) |
<K,V extends OWLAxiom> |
InternalsImpl.getKeyset(Internals.Pointer<K,V> pointer) |
<K,V extends OWLAxiom> |
Internals.getKeyset(Internals.Pointer<K,V> pointer) |
<K,V extends OWLAxiom> |
InternalsImpl.getValues(Internals.Pointer<K,V> pointer,
K key) |
<K,V extends OWLAxiom> |
Internals.getValues(Internals.Pointer<K,V> pointer,
K key) |
<K,V extends OWLAxiom> |
InternalsImpl.hasValues(Internals.Pointer<K,V> pointer,
K key) |
<K,V extends OWLAxiom> |
Internals.hasValues(Internals.Pointer<K,V> pointer,
K key) |
<K,V extends OWLAxiom> |
InternalsImpl.remove(Internals.Pointer<K,V> pointer,
K k,
V v) |
<K,V extends OWLAxiom> |
Internals.remove(Internals.Pointer<K,V> pointer,
K k,
V v) |
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 |
OWLAxiomImpl.getNNF() |
Modifier and Type | Method and Description |
---|---|
boolean |
InternalsImpl.addAxiom(OWLAxiom axiom) |
boolean |
Internals.addAxiom(OWLAxiom axiom) |
List<OWLOntologyChange> |
OWLOntologyManagerImpl.addAxiom(OWLOntology ont,
OWLAxiom axiom) |
boolean |
OWLOntologyImpl.containsAxiom(OWLAxiom axiom) |
boolean |
OWLOntologyImpl.containsAxiom(OWLAxiom axiom,
boolean includeImportsClosure) |
boolean |
OWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom axiom) |
boolean |
OWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure) |
boolean |
OWLAxiomImpl.equalsIgnoreAnnotations(OWLAxiom axiom) |
Set<OWLAxiom> |
OWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom) |
Set<OWLAxiom> |
OWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure) |
Set<OWLOntology> |
OWLOntologyManagerImpl.getOntologies(OWLAxiom axiom) |
boolean |
InternalsImpl.removeAxiom(OWLAxiom axiom) |
boolean |
Internals.removeAxiom(OWLAxiom axiom) |
List<OWLOntologyChange> |
OWLOntologyManagerImpl.removeAxiom(OWLOntology ont,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
List<OWLOntologyChange> |
OWLOntologyManagerImpl.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms) |
OWLOntology |
OWLOntologyManagerImpl.createOntology(Set<OWLAxiom> axioms) |
OWLOntology |
OWLOntologyManagerImpl.createOntology(Set<OWLAxiom> axioms,
IRI iri) |
List<OWLOntologyChange> |
OWLOntologyManagerImpl.removeAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLAnnotationProperty property) |
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLClass cls)
Writes out a class frame for the specified class.
|
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLDataProperty property) |
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLDatatype datatype) |
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLIndividual individual) |
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLObjectPropertyExpression property) |
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(SWRLRule rule) |
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.writeFrame(OWLEntity entity)
Write frame.
|
Modifier and Type | Method and Description |
---|---|
void |
SectionMap.add(Object o,
OWLAxiom forAxiom) |
boolean |
ManchesterOWLSyntaxFrameRenderer.isDisplayed(OWLAxiom axiom)
Checks if is displayed.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
DLSyntaxParser.parseAxiom()
Parses the axiom.
|
OWLAxiom |
DLSyntaxParser.parseClassAssertion()
Parses the class assertion.
|
OWLAxiom |
DLSyntaxParser.parseClassAxiom()
Parses the class axiom.
|
OWLAxiom |
DLSyntaxParser.parseDataPropertyAssertion()
Parses the data property assertion.
|
OWLAxiom |
DLSyntaxParser.parseDifferentIndividualsAxiom()
Parses the different individuals axiom.
|
OWLAxiom |
DLSyntaxParser.parseIndividualAxiom()
Parses the individual axiom.
|
OWLAxiom |
DLSyntaxParser.parseObjectPropertyAssertion()
Parses the object property assertion.
|
OWLAxiom |
DLSyntaxParser.parsePropertyAxiom()
Parses the property axiom.
|
OWLAxiom |
DLSyntaxParser.parsePropertyChain()
Parses the property chain.
|
OWLAxiom |
DLSyntaxParser.parseSameIndividual()
Parses the same individual.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
DLSyntaxParser.parseAxioms()
Parses the axioms.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig) |
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig,
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 and Description |
---|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
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.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.