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 void |
OntologyUtils.addAxiom(OWLAxiom axiom,
Stream<OWLOntology> ontologies)
Add the axiom to all the given ontologies.
|
static Set<OWLOntology> |
OntologyUtils.removeAxiom(OWLAxiom axiom,
Stream<OWLOntology> ontologies)
Removes an axiom from all the given ontologies that contains the axiom and returns those
ontologies.
|
Modifier and Type | Method and Description |
---|---|
default void |
ExplanationProgressMonitor.foundExplanation(Set<OWLAxiom> axioms)
Called when an explanation has been found.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SyntacticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
SemanticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
LocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature)
Tests whether a given axiom is local with respect to a given signature.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
AbstractMacroExpansionVisitor.doDefault(Object o) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLClassAssertionAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLDataPropertyDomainAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLDataPropertyRangeAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLDisjointClassesAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLDisjointUnionAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLEquivalentClassesAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLObjectPropertyDomainAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLObjectPropertyRangeAxiom axiom) |
OWLAxiom |
AbstractMacroExpansionVisitor.visit(OWLSubClassOfAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAnnotation> |
AbstractMacroExpansionVisitor.getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
OWLAPIOwl2Obo.getUntranslatableAxioms()
Gets the untranslatable axioms.
|
static Collection<OWLAxiom> |
OwlStringTools.translate(String axioms,
OWLOntologyManager translationManager)
Parse the axioms from the given axiom string.
|
Set<OWLAxiom> |
OWLAPIObo2Owl.trTermFrameClauses(OWLClass cls,
Collection<Clause> clauses,
String t)
Translate term frame clauses.
|
Modifier and Type | Method and Description |
---|---|
static String |
OwlStringTools.translate(Collection<OWLAxiom> axioms)
Create a string for the given set of axioms.
|
static String |
OwlStringTools.translate(Collection<OWLAxiom> axioms,
OWLOntologyManager translationManager)
Deprecated.
|
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. |
OWLAxiom |
AxiomChangeData.getItem() |
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. |
Modifier and Type | Method and Description |
---|---|
Set<Set<OWLAxiom>> |
OWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls)
Get 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) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
JustificationMap.getChildAxioms(OWLAxiom ax)
Gets the child axioms.
|
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)
Instantiates a new justification map.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
DLSyntaxParser.parseAxiom() |
OWLAxiom |
DLSyntaxParser.parseClassAssertion() |
OWLAxiom |
DLSyntaxParser.parseClassAxiom() |
OWLAxiom |
DLSyntaxParser.parseDataPropertyAssertion() |
OWLAxiom |
DLSyntaxParser.parseDifferentIndividualsAxiom() |
OWLAxiom |
DLSyntaxParser.parseIndividualAxiom() |
OWLAxiom |
DLSyntaxParser.parseObjectPropertyAssertion() |
OWLAxiom |
DLSyntaxParser.parsePropertyAxiom() |
OWLAxiom |
DLSyntaxParser.parsePropertyChain() |
OWLAxiom |
DLSyntaxParser.parseSameIndividual() |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
DLSyntaxParser.parseAxioms() |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLFunctionalSyntaxParser.AnnotationAxiom() |
OWLAxiom |
OWLFunctionalSyntaxParser.Axiom() |
OWLAxiom |
OWLFunctionalSyntaxParser.Declaration() |
Modifier and Type | Method and Description |
---|---|
String |
FunctionalSyntaxObjectRenderer.renderAxioms(Collection<OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
KRSSParser.ABoxStatement() |
OWLAxiom |
KRSSParser.DefineConcept() |
OWLAxiom |
KRSSParser.DefinePrimitiveConcept() |
OWLAxiom |
KRSSParser.DefinePrimitiveRole() |
OWLAxiom |
KRSSParser.Distinct() |
OWLAxiom |
KRSSParser.Equal() |
OWLAxiom |
KRSSParser.Instance() |
OWLAxiom |
KRSSParser.Range() |
OWLAxiom |
KRSSParser.Related() |
OWLAxiom |
KRSSParser.TBoxStatement() |
OWLAxiom |
KRSSParser.Transitive() |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
ManchesterOWLSyntaxInlineAxiomParser.parse(String expression) |
OWLAxiom |
ManchesterOWLSyntaxParserImpl.parseAxiom() |
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.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ManchesterOWLSyntaxFrameRenderer.isDisplayed(OWLAxiom axiom)
Checks if is displayed.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
AxiomCountMetric.getAxioms()
Gets the axioms.
|
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 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.
|
Modifier and Type | Field and Description |
---|---|
static Set<AxiomType<? extends OWLAxiom>> |
AxiomType.AXIOM_TYPES
Axiom types.
|
static Set<AxiomType<? extends OWLAxiom>> |
AxiomType.LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES
Logical axioms and declarations
|
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
HasAxiomsByType.axioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomCollection.axioms(AxiomType<T> axiomType,
Imports imports)
Gets all axioms of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
OWLAxiomIndex.axioms(OWLAxiomSearchFilter filter,
Object key)
Generic filter type for further refining search by axiom type.
|
<T extends OWLAxiom> |
OWLAxiomIndex.axioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter,
Object key)
Generic filter type for further refining search by axiom type.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
default <T extends OWLAxiom> |
OWLAxiom.getAnnotatedAxiom(Class<T> witness,
Stream<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified annotations.
|
default <T extends OWLAxiom> |
OWLAxiom.getAnnotatedAxiom(Collection<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified annotations.
|
static <T extends OWLAxiom> |
OWLAxiom.getAnnotatedAxiom(Collection<OWLAnnotation> annotations,
T axiom)
Gets a copy of the input axiom that is annotated with the specified annotations.
|
<T extends OWLAxiom> |
OWLAxiom.getAnnotatedAxiom(Stream<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified annotations.
|
static <T extends OWLAxiom> |
OWLAxiom.getAnnotatedAxiom(Stream<OWLAnnotation> annotations,
T axiom)
Gets a copy of the input axiom that is annotated with the specified annotations.
|
<T extends OWLAxiom> |
OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
default <T extends OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure)
Deprecated.
|
<T extends OWLAxiom> |
OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets the axiom count of a specific type of axiom, optionally including the imports closure.
|
default <T extends OWLAxiom> |
HasAxiomsByType.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Deprecated.
|
default <T extends OWLAxiom> |
OWLAxiomCollection.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets all axioms of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
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.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
default <T extends OWLAxiom> |
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.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are instances of type,
optionally including the imports closure in the results.
|
<T extends OWLAxiom> |
OWLAxiom.getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
default <T extends OWLAxiom> |
OWLAxiom.getAxiomWithoutAnnotations(Class<T> witness)
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
static <T extends OWLAxiom> |
OWLAxiom.getAxiomWithoutAnnotations(T axiom)
Gets an axiom that is structurally equivalent to the input axiom without annotations.
|
static <T extends OWLAxiom> |
AxiomType.getTypeForClass(Class<T> t) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLOntologyChange.getAxiom()
If the change is an axiom change (i.e.
|
OWLAxiom |
OWLAxiomChange.getAxiom() |
OWLAxiom |
OWLAxiom.getNNF()
Gets this axioms in negation normal form.
|
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
OWLOntology.aboxAxioms(Imports includeImportsClosure)
Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the
AxiomType::ABoxAxiomTypes.
|
Stream<OWLAxiom> |
HasAxioms.axioms() |
default Stream<OWLAxiom> |
OWLAxiomCollection.axioms(Imports imports) |
Stream<OWLAxiom> |
OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
Stream<OWLAxiom> |
OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
default Set<OWLAxiom> |
OWLOntology.getABoxAxioms(Imports includeImportsClosure)
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() |
default Set<OWLAxiom> |
HasAxioms.getAxioms()
Gets the
OWLAxiom s contained in this object. |
default Set<OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(boolean b)
Deprecated.
use
OWLAxiomCollection.axioms(Imports) instead |
default Set<OWLAxiom> |
OWLAxiomCollection.getAxioms(Imports includeImportsClosure) |
default Set<OWLAxiom> |
OWLAxiomCollection.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.
|
default Set<OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Deprecated.
|
default 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(Collection<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that have a specified type.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsWithoutTypes(Collection<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that are not of the specified type.
|
default Set<OWLAxiom> |
OWLOntology.getRBoxAxioms(Imports includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the
AxiomType::RBoxAxiomTypes.
|
default Set<OWLAxiom> |
OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
default Set<OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getReferencingAxioms(OWLPrimitive owlEntity,
boolean includeImportsClosure)
Deprecated.
|
default 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() |
default 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.
|
Stream<OWLAxiom> |
OWLOntology.rboxAxioms(Imports includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the
AxiomType::RBoxAxiomTypes.
|
Stream<OWLAxiom> |
OWLAxiomCollection.referencingAxioms(OWLPrimitive owlEntity)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
default Stream<OWLAxiom> |
OWLAxiomCollection.referencingAxioms(OWLPrimitive owlEntity,
Imports imports)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
Collection<? extends OWLAxiom> |
OWLNaryAxiom.splitToAnnotatedPairs()
Splits this axiom to pairs, including annotations.
|
Stream<OWLAxiom> |
OWLOntology.tboxAxioms(Imports includeImportsClosure)
Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the
AxiomType::TBoxAxiomTypes.
|
Modifier and Type | Method and Description |
---|---|
default ChangeApplied |
HasDirectAddAxioms.add(OWLAxiom... axioms)
A convenience method that adds a set of axioms to an ontology.
|
default ChangeApplied |
HasDirectAddAxiom.add(OWLAxiom axiom)
A convenience method that adds a single axiom to an ontology.
|
default ChangeApplied |
OWLOntology.addAxiom(OWLAxiom axiom) |
ChangeApplied |
HasDirectAddAxiom.addAxiom(OWLAxiom axiom)
A convenience method that adds a single axiom to an ontology.
|
ChangeApplied |
HasAddAxiom.addAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that adds a single axiom to an ontology.
|
default ChangeApplied |
OWLOntology.addAxioms(OWLAxiom... axioms) |
ChangeApplied |
HasDirectAddAxioms.addAxioms(OWLAxiom... axioms)
A convenience method that adds a set of axioms to an ontology.
|
Stream<OWLAxiom> |
OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
Stream<OWLAxiom> |
OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure)
Gets the stream of axioms contained in this collection that have the same "logical structure"
as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
boolean |
HasContainsAxiom.containsAxiom(OWLAxiom axiom)
Determines whether or not this object contains a particular
OWLAxiom . |
default boolean |
OWLAxiomCollectionBooleanArgs.containsAxiom(OWLAxiom axiom,
boolean includeImportsClosure)
|
boolean |
OWLAxiomCollection.containsAxiom(OWLAxiom axiom,
Imports includeImportsClosure,
AxiomAnnotations ignoreAnnotations)
Determines if this ontology contains the specified axiom, optionally including the imports
closure.
|
boolean |
OWLAxiomCollection.containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
default boolean |
OWLAxiomCollectionBooleanArgs.containsAxiomIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
|
default boolean |
OWLAxiom.equalsIgnoreAnnotations(OWLAxiom axiom)
Determines if another axiom is equal to this axiom not taking into consideration the
annotations on the axiom
|
default Set<OWLAxiom> |
OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms contained in this collection that have the same "logical structure" as
the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
default Set<OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure)
Deprecated.
|
default 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.
|
default Set<OWLOntology> |
OWLOntologyManager.getOntologies(OWLAxiom axiom)
Gets the ontologies that are managed by this manager that contain the specified axiom.
|
default Stream<OWLOntology> |
OWLOntologyManager.ontologies(OWLAxiom axiom)
Gets the ontologies that are managed by this manager that contain the specified axiom.
|
default ChangeApplied |
HasDirectRemoveAxioms.remove(OWLAxiom... axioms)
A convenience method that removes a set of axioms from this object.
|
default ChangeApplied |
HasDirectRemoveAxiom.remove(OWLAxiom axiom)
A convenience method that removes a single axiom from this object.
|
default ChangeApplied |
OWLOntology.removeAxiom(OWLAxiom axiom) |
ChangeApplied |
HasDirectRemoveAxiom.removeAxiom(OWLAxiom axiom)
A convenience method that removes a single axiom from this object.
|
ChangeApplied |
HasRemoveAxiom.removeAxiom(OWLOntology ont,
OWLAxiom axiom)
Deprecated.
|
default ChangeApplied |
OWLOntology.removeAxioms(OWLAxiom... axioms) |
ChangeApplied |
HasDirectRemoveAxioms.removeAxioms(OWLAxiom... axioms)
A convenience method that removes a set of axioms from this object.
|
Modifier and Type | Method and Description |
---|---|
default ChangeApplied |
HasDirectAddAxioms.add(Collection<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
default ChangeApplied |
OWLOntology.addAxioms(Collection<? extends OWLAxiom> axioms) |
ChangeApplied |
HasDirectAddAxioms.addAxioms(Collection<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
default ChangeApplied |
HasAddAxioms.addAxioms(OWLOntology ont,
Collection<? extends OWLAxiom> axioms)
A convenience method that adds a collection of axioms to an ontology.
|
ChangeApplied |
HasAddAxioms.addAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms)
A convenience method that adds a stream of axioms to an ontology.
|
default ChangeApplied |
OWLOntology.addAxioms(Stream<? extends OWLAxiom> axioms) |
ChangeApplied |
HasDirectAddAxioms.addAxioms(Stream<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
default OWLOntology |
OWLOntologyManager.createOntology(Collection<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms.
|
default OWLOntology |
OWLOntologyManager.createOntology(Collection<OWLAxiom> axioms,
IRI ontologyIRI)
Creates a new ontology that has the specified ontology IRI and is initialised to contain
specific axioms.
|
default OWLOntology |
OWLOntologyManager.createOntology(Stream<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms.
|
OWLOntology |
OWLOntologyManager.createOntology(Stream<OWLAxiom> axioms,
IRI ontologyIRI)
Creates a new ontology that has the specified ontology IRI and is initialised to contain
specific axioms.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsOfTypes(Collection<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that have a specified type.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsWithoutTypes(Collection<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that are not of the specified type.
|
default ChangeApplied |
HasDirectRemoveAxioms.remove(Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
default ChangeApplied |
HasDirectRemoveAxioms.remove(Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
default ChangeApplied |
OWLOntology.removeAxioms(Collection<? extends OWLAxiom> axioms) |
ChangeApplied |
HasDirectRemoveAxioms.removeAxioms(Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
default ChangeApplied |
HasRemoveAxioms.removeAxioms(OWLOntology ont,
Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
ChangeApplied |
HasRemoveAxioms.removeAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
default ChangeApplied |
OWLOntology.removeAxioms(Stream<? extends OWLAxiom> axioms) |
ChangeApplied |
HasDirectRemoveAxioms.removeAxioms(Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
Constructor and Description |
---|
AddAxiom(OWLOntology ont,
OWLAxiom axiom) |
OWLAxiomChange(OWLOntology ont,
OWLAxiom axiom) |
RemoveAxiom(OWLOntology ont,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
AxiomAnnotations.contains(OWLOntology o,
OWLAxiom ax) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
ModuleExtractor.axiomBase()
Return the axioms all modules of this
ModuleExtractor are computed against, including
global axioms and tautologies. |
Stream<OWLAxiom> |
AbstractModuleExtractor.axiomBase() |
Stream<OWLAxiom> |
AtomicDecomposition.axioms() |
Stream<OWLAxiom> |
AtomicDecomposition.Atom.axioms() |
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.
|
default Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature)
Extracts a module with respect to the given signature against the axiom base of this
ModuleExtractor . |
Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate , if any. |
default Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature,
Predicate<OWLAxiom> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate . |
default Stream<OWLAxiom> |
ModuleExtractor.globals()
Returns from the axiom base of this extractor exactly those that are guaranteed to be
contained in every module calculated by this
ModuleExtractor . |
Stream<OWLAxiom> |
AbstractModuleExtractor.globals() |
Stream<OWLAxiom> |
AtomicDecomposition.moduleToSignatureOf(OWLAxiom axiom)
Returns the module within the
AtomicDecomposition.axioms() with respect to the
signature of the given axiom. |
default Stream<OWLAxiom> |
ModuleExtractor.tautologies()
Returns from the axiom base of this extractor exactly those that are guaranteed not to be
contained in any module calculated by this
ModuleExtractor . |
Stream<OWLAxiom> |
AbstractModuleExtractor.tautologies() |
Modifier and Type | Method and Description |
---|---|
AtomicDecomposition.Atom |
AtomicDecomposition.atomOf(OWLAxiom axiom)
Returns the
AtomicDecomposition.Atom associated with the given OWLAxiom . |
default boolean |
ModuleExtractor.containsAxiom(OWLAxiom axiom)
Returns whether or not the axiom base of this
ModuleExtractor contains the given
OWLAxiom . |
boolean |
AtomicDecomposition.containsAxiom(OWLAxiom axiom)
Returns whether or not the given
OWLAxiom is part of the axiom base of this
AtomicDecomposition . |
boolean |
AtomicDecomposition.Atom.containsAxiom(OWLAxiom axiom) |
boolean |
AbstractModuleExtractor.containsAxiom(OWLAxiom axiom) |
default boolean |
ModuleExtractor.everyModuleContains(OWLAxiom axiom)
Returns
true if it is guaranteed that the given OWLAxiom is contained in
every module calculated by the module extraction method this ModuleExtractor is based
on; false when no such guarantee can be made (Note: This does not mean that
there is some module regardless of other axioms or the signature that does not contain the
given axiom). |
boolean |
AbstractModuleExtractor.everyModuleContains(OWLAxiom axiom) |
Stream<OWLAxiom> |
AtomicDecomposition.moduleToSignatureOf(OWLAxiom axiom)
Returns the module within the
AtomicDecomposition.axioms() with respect to the
signature of the given axiom. |
default boolean |
ModuleExtractor.noModuleContains(OWLAxiom axiom)
Returns
true if it is guaranteed that the given OWLAxiom is not
contained in any module (regardless of other axioms or the signature) calculated by the
module extraction method this ModuleExtractor is based on; false when no
such guarantee can be made (Note: This does not mean that there is some module that contains
the given axiom). |
boolean |
AbstractModuleExtractor.noModuleContains(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate , if any. |
default Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature,
Predicate<OWLAxiom> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate . |
Constructor and Description |
---|
AtomicDecomposition(OWLOntology ontology,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
AtomicDecomposition(Stream<OWLAxiom> axioms)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction an SyntacticLocalityModuleExtractor provides by using
LocalityClass.STAR . |
AtomicDecomposition(Stream<OWLAxiom> axioms,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
AtomicDecomposition(Stream<OWLAxiom> axioms,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
LocalityModuleExtractor.axiomBase() |
Stream<OWLAxiom> |
LocalityModuleExtractor.extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter) |
Modifier and Type | Method and Description |
---|---|
boolean |
LocalityModuleExtractor.containsAxiom(OWLAxiom axiom) |
boolean |
SyntacticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
SemanticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
LocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature)
Tests whether the given axiom is local with respect to the given signature.
|
default boolean |
LocalityEvaluator.isLocal(OWLAxiom axiom,
Stream<OWLEntity> signature)
Tests whether the given axiom is local with respect to the given signature.
|
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
LocalityModuleExtractor.extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter) |
Constructor and Description |
---|
SemanticLocalityModuleExtractor(LocalityClass localityClass,
Stream<OWLAxiom> axiomBase,
OWLOntologyManager ontologyManager,
OWLReasonerFactory reasonerFactory)
Instantiates a new
SemanticLocalityEvaluator . |
SyntacticLocalityModuleExtractor(LocalityClass localityClass,
Stream<OWLAxiom> axiomBase)
Instantiates a new
SyntacticLocalityModuleExtractor . |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLProfileViolation.getAxiom() |
Modifier and Type | Method and Description |
---|---|
List<OWLProfileViolation> |
OWLProfileReport.getViolations(OWLAxiom ax) |
Constructor and Description |
---|
OWLProfileViolation(OWLOntology ontology,
OWLAxiom axiom,
Object o) |
Constructor and Description |
---|
AbstractTranslator(OWLOntologyManager manager,
OWLOntology ontology,
OWLDocumentFormat format,
boolean useStrongTyping,
IndividualAppearance multiple,
Set<OWLAxiom> translatedAxioms) |
RDFTranslator(OWLOntologyManager manager,
OWLOntology ontology,
OWLDocumentFormat format,
boolean useStrongTyping,
IndividualAppearance occurrences,
AxiomAppearance axiomOccurrences,
AtomicInteger counter,
Map<Object,Integer> blankNodeMap,
Set<OWLAxiom> translatedAxioms) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLRDFConsumer.getLastAddedAxiom()
Gets the last added axiom.
|
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.
|
default Stream<OWLAxiom> |
OWLReasoner.pendingAxiomAdditions()
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.
|
default Stream<OWLAxiom> |
OWLReasoner.pendingAxiomRemovals()
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 |
---|---|
default boolean |
OWLReasoner.isEntailed(OWLAxiom... axioms) |
boolean |
OWLReasoner.isEntailed(OWLAxiom axiom)
A convenience method that determines if the specified axiom is entailed by the set of
reasoner axioms.
|
Modifier and Type | Method and Description |
---|---|
boolean |
OWLReasoner.isEntailed(Set<? extends OWLAxiom> axioms)
Determines if the specified set of axioms is entailed by the reasoner axioms.
|
default boolean |
OWLReasoner.isEntailed(Stream<? extends OWLAxiom> axioms) |
Constructor and Description |
---|
AxiomNotInProfileException(OWLAxiom axiom,
IRI 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 | Class and Description |
---|---|
static class |
Filters.AxiomFilter<A extends OWLAxiom> |
Modifier and Type | Method and Description |
---|---|
static Stream<OWLAxiom> |
EntitySearcher.axiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static Collection<OWLAxiom> |
EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology)
Gets the axioms in the specified ontology that contain e in their signature.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
Imports includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain e in
their signature.
|
Modifier and Type | Method and Description |
---|---|
static Stream<OWLAnnotation> |
Searcher.annotations(OWLAxiom axiom,
OWLAnnotationProperty p)
Retrieve annotations from an axiom.
|
static Stream<OWLAxiom> |
EntitySearcher.axiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Checks if the ontology contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
Stream<OWLOntology> ontologies,
Imports imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
boolean imports)
Checks if the ontology contains axiom a, with or without imports closure, ignoring annotations.
|
static boolean |
EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a,
Stream<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static <C extends OWLObject> |
Searcher.different(OWLAxiom axiom)
Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.different(OWLAxiom axiom,
Class<C> type)
Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.domain(OWLAxiom axiom)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.domain(OWLAxiom axiom,
Class<C> type)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(OWLAxiom axiom)
Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(OWLAxiom axiom,
Class<C> type)
Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
|
static Collection<OWLAxiom> |
EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
boolean |
Filters.AxiomFilter.pass(OWLAxiom axiom,
Object key) |
static <C extends OWLObject> |
Searcher.range(OWLAxiom axiom)
Retrieve the ranges from a range axiom.
|
static <C extends OWLObject> |
Searcher.range(OWLAxiom axiom,
Class<C> type)
Retrieve the ranges from a range axiom.
|
static <C extends OWLObject> |
Searcher.sub(OWLAxiom axiom)
Retrieve the sub part of an axiom, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sub(OWLAxiom axiom,
Class<C> type)
Retrieve the sub part of an axiom, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sup(OWLAxiom axiom)
Retrieve the super part of an axiom, i.e., superclass or super property.
|
static <C extends OWLObject> |
Searcher.sup(OWLAxiom axiom,
Class<C> type)
Retrieve the super part of an axiom, i.e., superclass or super property.
|
Modifier and Type | Method and Description |
---|---|
static Stream<OWLAnnotation> |
Searcher.annotations(Stream<? extends OWLAxiom> axioms)
Retrieve annotations from a collection of axioms.
|
static Stream<OWLAnnotation> |
Searcher.annotations(Stream<? extends OWLAxiom> axioms,
OWLAnnotationProperty p)
Retrieve annotations from a collection of axioms.
|
static <C extends OWLObject> |
Searcher.different(Stream<? extends OWLAxiom> axioms)
Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.different(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
Searcher.domain(Stream<? extends OWLAxiom> axioms)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.domain(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(Stream<? extends OWLAxiom> axioms)
Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.equivalent(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
Searcher.range(Stream<? extends OWLAxiom> axioms)
Retrieve the ranges from range axioms.
|
static <C extends OWLObject> |
Searcher.range(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the ranges from range axioms.
|
static <C extends OWLObject> |
Searcher.sub(Stream<? extends OWLAxiom> axioms)
Retrieve the sub part of axioms, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sub(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the sub part of axioms, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
Searcher.sup(Stream<? extends OWLAxiom> axioms)
Retrieve the super part of axioms, i.e., superclass or super property.
|
static <C extends OWLObject> |
Searcher.sup(Stream<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the super part of axioms, i.e., superclass or super property.
|
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.
|
Modifier and Type | Method and Description |
---|---|
<T> OWLAxiom |
NNF.doDefault(T object) |
OWLAxiom |
OntologyAxiomPair.getAxiom() |
OWLAxiom |
OWLObjectWalker.getAxiom()
Gets the last axiom to be visited.
|
OWLAxiom |
OWLOntologyWalkerVisitorEx.getCurrentAxiom() |
OWLAxiom |
OWLOntologyWalkerVisitor.getCurrentAxiom() |
OWLAxiom |
NNF.visit(OWLClassAssertionAxiom axiom) |
OWLAxiom |
NNF.visit(OWLDataPropertyDomainAxiom axiom) |
OWLAxiom |
NNF.visit(OWLDataPropertyRangeAxiom axiom) |
OWLAxiom |
NNF.visit(OWLDisjointClassesAxiom axiom) |
OWLAxiom |
NNF.visit(OWLDisjointUnionAxiom axiom) |
OWLAxiom |
NNF.visit(OWLEquivalentClassesAxiom axiom) |
OWLAxiom |
NNF.visit(OWLObjectPropertyDomainAxiom axiom) |
OWLAxiom |
NNF.visit(OWLObjectPropertyRangeAxiom axiom) |
OWLAxiom |
NNF.visit(OWLSubClassOfAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
boolean |
AxiomAppearance.appearsMultipleTimes(OWLAxiom ax) |
static OWLObject |
AxiomSubjectProviderEx.getSubject(OWLAxiom axiom) |
boolean |
OWLAxiomSearchFilter.pass(OWLAxiom axiom,
Object key) |
boolean |
OWLOntologyMerger.passes(OWLAxiom axiom) |
boolean |
OWLAxiomFilter.passes(OWLAxiom axiom) |
void |
OWLObjectWalker.setAxiom(OWLAxiom axiom)
Allow the structure walker to set the current axiom.
|
void |
SimpleRendererDebug.writeAnnotations(OWLAxiom axiom) |
void |
SimpleRenderer.writeAnnotations(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
StructuralTransformation.getTransformedAxioms(Set<OWLAxiom> axioms) |
Constructor and Description |
---|
OntologyAxiomPair(OWLOntology ontology,
OWLAxiom axiom) |
Constructor and Description |
---|
InferredOntologyGenerator(OWLReasoner reasoner,
List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators) |
ShortFormFromRDFSLabelAxiomListProvider(List<? extends OWLAxiom> axioms,
ShortFormProvider alternateShortFormProvider,
IRIShortFormProvider alternateIRIShortFormProvider,
List<String> preferredLanguages) |
ShortFormFromRDFSLabelAxiomListProvider(List<String> preferredLanguages,
List<? extends OWLAxiom> axioms)
Constructs an annotation value short form provider.
|
ShortFormFromRDFSLabelAxiomListProvider(List<String> preferredLanguages,
List<? extends OWLAxiom> axioms,
ShortFormProvider alternateShortFormProvider)
Constructs an annotation short form provider.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
ManchesterOWLSyntaxParser.parseAxiom()
Parsing "Inline" Axioms.
|
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
AxiomWrapper.getAxiom() |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
Decomposer.getNonLocal(Stream<OWLEntity> signature,
ModuleType moduletype) |
static List<OWLAxiom> |
AxiomSelector.selectAxioms(OWLOntology o) |
static List<OWLAxiom> |
AxiomSelector.selectAxioms(OWLOntology o,
boolean excludeAssertions) |
Modifier and Type | Method and Description |
---|---|
boolean |
Modularizer.isTautology(OWLAxiom ax,
ModuleType type) |
boolean |
SyntacticLocalityChecker.local(OWLAxiom axiom) |
boolean |
SemanticLocalityChecker.local(OWLAxiom axiom) |
boolean |
LocalityChecker.local(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
static List<AxiomWrapper> |
AxiomSelector.wrap(List<OWLAxiom> o) |
Constructor and Description |
---|
AxiomWrapper(OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
Atom.getAxioms() |
Stream<OWLAxiom> |
AtomicDecompositionImpl.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Stream<OWLAxiom> |
AtomicDecomposition.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Set<OWLAxiom> |
AtomicDecompositionImpl.getPrincipalIdeal(Atom atom) |
Set<OWLAxiom> |
AtomicDecomposition.getPrincipalIdeal(Atom atom) |
Set<OWLAxiom> |
AtomicDecompositionImpl.getTautologies() |
Set<OWLAxiom> |
AtomicDecomposition.getTautologies() |
Modifier and Type | Method and Description |
---|---|
boolean |
Atom.contains(OWLAxiom ax) |
Atom |
AtomicDecompositionImpl.getAtomForAxiom(OWLAxiom axiom) |
Atom |
AtomicDecomposition.getAtomForAxiom(OWLAxiom axiom) |
Constructor and Description |
---|
Atom(Collection<OWLAxiom> axioms) |
AtomicDecompositionImpl(List<OWLAxiom> axioms,
ModuleType type) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
OntologyBasedModularizer.getModule(Stream<OWLEntity> entities,
ModuleType type) |
Modifier and Type | Method and Description |
---|---|
boolean |
Modularizer.isTautology(OWLAxiom ax,
ModuleType type) |
Modifier and Type | Method and Description |
---|---|
ExplanationTree |
NullExplanationOrderer.getOrderedExplanation(OWLAxiom entailment,
Set<OWLAxiom> axioms) |
ExplanationTree |
ExplanationOrdererImplNoManager.getOrderedExplanation(OWLAxiom entailment,
Set<OWLAxiom> current) |
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 |
ExplanationOrdererImplNoManager.getOrderedExplanation(OWLAxiom entailment,
Set<OWLAxiom> current) |
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)
Instantiates a new entailed axiom tree.
|
ExplanationTree(OWLAxiom userObject)
Instantiates a new explanation tree.
|
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.
|
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(AxiomType<T> axiomType) |
<A extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(Class<A> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(OWLAxiomSearchFilter filter,
Object key) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(OWLAxiomSearchFilter filter,
Object key,
Imports imports) |
static <K,V extends OWLAxiom> |
Internals.contains(MapPointer<K,V> p,
K k,
V v) |
<T extends OWLAxiom> |
SWRLRuleImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLTransitiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSymmetricObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSubPropertyChainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSubObjectPropertyOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSubDataPropertyOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSubClassOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSubAnnotationPropertyOfAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLSameIndividualAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLReflexiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLObjectPropertyRangeAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLObjectPropertyDomainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLObjectPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLNegativeObjectPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLNegativeDataPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLIrreflexiveObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLInverseObjectPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLInverseFunctionalObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLHasKeyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLFunctionalObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLFunctionalDataPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLEquivalentObjectPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLEquivalentDataPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLEquivalentClassesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDisjointUnionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDisjointObjectPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDisjointDataPropertiesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDisjointClassesAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDifferentIndividualsAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDeclarationAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDatatypeDefinitionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDataPropertyRangeAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDataPropertyDomainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLDataPropertyAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLClassAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLAsymmetricObjectPropertyAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLAnnotationPropertyRangeAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLAnnotationPropertyDomainAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLAnnotationAssertionAxiomImpl.getAnnotatedAxiom(Stream<OWLAnnotation> anns) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
Internals.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports imports) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
OWLDatatypeDefinitionAxiomImpl.getAxiomWithoutAnnotations() |
OWLAxiom |
OWLAxiomImpl.getNNF() |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.aboxAxioms(Imports imports) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.axioms() |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports imports) |
<K> Collection<? extends OWLAxiom> |
Internals.filterAxioms(OWLAxiomSearchFilter filter,
K key) |
<T> Collection<OWLAxiom> |
MapPointer.filterAxioms(OWLAxiomSearchFilter filter,
T key) |
Stream<OWLAxiom> |
Internals.getAxioms()
Gets the axioms by type.
|
MapPointer<AxiomType,OWLAxiom> |
Internals.getAxiomsByType() |
Stream<OWLAxiom> |
Internals.getReferencingAxioms(OWLEntity owlEntity) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.rboxAxioms(Imports imports) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.referencingAxioms(OWLPrimitive owlEntity) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.tboxAxioms(Imports imports) |
Modifier and Type | Method and Description |
---|---|
boolean |
Internals.addAxiom(OWLAxiom axiom) |
ChangeApplied |
OWLOntologyManagerImpl.addAxiom(OWLOntology ont,
OWLAxiom axiom) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom) |
Stream<OWLAxiom> |
OWLImmutableOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports imports) |
boolean |
OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom) |
boolean |
OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom,
Imports imports,
AxiomAnnotations ignoreAnnotations) |
boolean |
OWLImmutableOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom axiom) |
Stream<OWLOntology> |
OWLOntologyManagerImpl.ontologies(OWLAxiom axiom) |
boolean |
Internals.removeAxiom(OWLAxiom axiom) |
ChangeApplied |
OWLOntologyManagerImpl.removeAxiom(OWLOntology ont,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
ChangeApplied |
OWLOntologyManagerImpl.addAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms) |
OWLOntology |
OWLOntologyManagerImpl.createOntology(Stream<OWLAxiom> axioms,
IRI ontologyIRI) |
ChangeApplied |
OWLOntologyManagerImpl.removeAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(AxiomType<T> axiomType,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLAxiomSearchFilter filter,
Object key) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.filterAxioms(OWLAxiomSearchFilter filter,
Object key) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
boolean b) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
boolean b) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Navigation forSubPosition) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> type,
OWLObject entity,
Navigation forSubPosition) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.aboxAxioms(Imports imports) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms() |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(Imports imports) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom,
Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getABoxAxioms(Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms() |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(boolean b) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
boolean b) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getRBoxAxioms(Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive,
boolean b) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive,
Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getTBoxAxioms(Imports imports) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.rboxAxioms(Imports imports) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.referencingAxioms(OWLPrimitive owlPrimitive) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.referencingAxioms(OWLPrimitive owlPrimitive,
Imports imports) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.tboxAxioms(Imports imports) |
Modifier and Type | Method and Description |
---|---|
ChangeApplied |
ConcurrentOWLOntologyImpl.add(OWLAxiom... set) |
ChangeApplied |
ConcurrentOWLOntologyImpl.add(OWLAxiom owlAxiom) |
ChangeApplied |
ConcurrentOWLOntologyImpl.addAxiom(OWLAxiom owlAxiom) |
ChangeApplied |
ConcurrentOWLOntologyImpl.addAxioms(OWLAxiom... set) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom) |
Stream<OWLAxiom> |
ConcurrentOWLOntologyImpl.axiomsIgnoreAnnotations(OWLAxiom owlAxiom,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom) |
boolean |
ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom,
boolean b) |
boolean |
ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom,
Imports imports,
AxiomAnnotations axiomAnnotations) |
boolean |
ConcurrentOWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom) |
boolean |
ConcurrentOWLOntologyImpl.containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom,
boolean b) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
boolean b) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
Imports imports) |
ChangeApplied |
ConcurrentOWLOntologyImpl.remove(OWLAxiom... axioms) |
ChangeApplied |
ConcurrentOWLOntologyImpl.remove(OWLAxiom axiom) |
ChangeApplied |
ConcurrentOWLOntologyImpl.removeAxiom(OWLAxiom axiom) |
ChangeApplied |
ConcurrentOWLOntologyImpl.removeAxioms(OWLAxiom... axioms) |
Modifier and Type | Method and Description |
---|---|
ChangeApplied |
ConcurrentOWLOntologyImpl.add(Collection<? extends OWLAxiom> set) |
ChangeApplied |
ConcurrentOWLOntologyImpl.addAxioms(Collection<? extends OWLAxiom> set) |
ChangeApplied |
ConcurrentOWLOntologyImpl.remove(Collection<? extends OWLAxiom> axioms) |
ChangeApplied |
ConcurrentOWLOntologyImpl.removeAxioms(Collection<? extends OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> signature) |
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Extracts a module from the associated ontology for a given signature and the associated
module type, and returns the module as a set of axioms.
|
Constructor and Description |
---|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntologyLoaderConfiguration config,
Stream<OWLAxiom> axs,
ModuleType moduleType,
boolean excludeAssertions)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
Stream<OWLAxiom> axs,
ModuleType moduleType)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
Stream<OWLAxiom> axs,
ModuleType moduleType,
boolean excludeAssertions)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.