owlapy.owl_reasoner

OWL Reasoner

Attributes

logger

Classes

`StructuralReasoner`	Tries to check instances fast (but maybe incomplete).
`SyncReasoner`	An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the imports closure of

Functions

`initialize_reasoner`(reasoner, owlapi_ontology)
`import_and_include_axioms_generators`()

Module Contents

owlapy.owl_reasoner.logger

class owlapy.owl_reasoner.StructuralReasoner(ontology: owlapy.abstracts.abstract_owl_ontology.AbstractOWLOntology, *, class_cache: bool = True, property_cache: bool = True, negation_default: bool = True, sub_properties: bool = False)[source]

Bases: owlapy.abstracts.abstract_owl_reasoner.AbstractOWLReasoner

Tries to check instances fast (but maybe incomplete).

class_cache: bool = True

reset()[source]: The reset method shall reset any cached state.

data_property_domains(pe: owlapy.owl_property.OWLDataProperty, direct: bool = False) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the class expressions that are the direct or indirect domains of this property with respect to the: imports closure of the root ontology.

Parameters:

pe – The property expression whose domains are to be retrieved.
direct – Specifies if the direct domains should be retrieved (True), or if all domains should be retrieved (False).

Returns:

Let N = equivalent_classes(DataSomeValuesFrom(pe rdfs:Literal)). If direct is True: then if N is not empty then the return value is N, else the return value is the result of super_classes(DataSomeValuesFrom(pe rdfs:Literal), true). If direct is False: then the result of super_classes(DataSomeValuesFrom(pe rdfs:Literal), false) together with N if N is non-empty. (Note, rdfs:Literal is the top datatype).

object_property_domains(pe: owlapy.owl_property.OWLObjectProperty, direct: bool = False) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the class expressions that are the direct or indirect domains of this property with respect to the: imports closure of the root ontology.

Parameters:

pe – The property expression whose domains are to be retrieved.
direct – Specifies if the direct domains should be retrieved (True), or if all domains should be retrieved (False).

Returns:

Let N = equivalent_classes(ObjectSomeValuesFrom(pe owl:Thing)). If direct is True: then if N is not empty then the return value is N, else the return value is the result of super_classes(ObjectSomeValuesFrom(pe owl:Thing), true). If direct is False: then the result of super_classes(ObjectSomeValuesFrom(pe owl:Thing), false) together with N if N is non-empty.

object_property_ranges(pe: owlapy.owl_property.OWLObjectProperty, direct: bool = False) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the class expressions that are the direct or indirect ranges of this property with respect to the: imports closure of the root ontology.

Parameters:

pe – The property expression whose ranges are to be retrieved.
direct – Specifies if the direct ranges should be retrieved (True), or if all ranges should be retrieved (False).

Returns:

Let N = equivalent_classes(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing)). If direct is True: then if N is not empty then the return value is N, else the return value is the result of super_classes(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing), true). If direct is False: then the result of super_classes(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing), false) together with N if N is non-empty.

equivalent_classes(ce: owlapy.class_expression.OWLClassExpression, only_named: bool = True) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the class expressions that are equivalent to the specified class expression with respect to the set of reasoner axioms.

Parameters:: ce – The class expression whose equivalent classes are to be retrieved.
Returns:: All class expressions C where the root ontology imports closure entails EquivalentClasses(ce C). If ce is not a class name (i.e. it is an anonymous class expression) and there are no such classes C then there will be no result. If ce is unsatisfiable with respect to the set of reasoner axioms then owl:Nothing, i.e. the bottom node, will be returned.

disjoint_classes(ce: owlapy.class_expression.OWLClassExpression, only_named: bool = True) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the class expressions that are disjoint with specified class expression with respect to the set of reasoner axioms.

Parameters:: ce – The class expression whose disjoint classes are to be retrieved.
Returns:: All class expressions D where the set of reasoner axioms entails EquivalentClasses(D ObjectComplementOf(ce)) or StrictSubClassOf(D ObjectComplementOf(ce)).

different_individuals(ind: owlapy.owl_individual.OWLNamedIndividual) → Iterable[owlapy.owl_individual.OWLNamedIndividual][source]

Gets the individuals that are different from the specified individual with respect to the set of reasoner axioms.

Parameters:: ind – The individual whose different individuals are to be retrieved.
Returns:: All individuals x where the set of reasoner axioms entails DifferentIndividuals(ind x).

same_individuals(ind: owlapy.owl_individual.OWLNamedIndividual) → Iterable[owlapy.owl_individual.OWLNamedIndividual][source]

Gets the individuals that are the same as the specified individual with respect to the set of reasoner axioms.

Parameters:: ind – The individual whose same individuals are to be retrieved.
Returns:: All individuals x where the root ontology imports closure entails SameIndividual(ind x).

data_property_values(e: owlapy.owl_object.OWLEntity, pe: owlapy.owl_property.OWLDataProperty, direct: bool = True) → Iterable[owlapy.owl_literal.OWLLiteral][source]

Gets the data property values for the specified entity and data property expression.

Parameters:

e – The owl entity (usually an individual) that is the subject of the data property values.
pe – The data property expression whose values are to be retrieved for the specified entity.

Note: Can be used to get values, for example, of ‘label’ property of owl entities such as classes and properties too (not only individuals).

Returns:: A set of OWLLiterals containing literals such that for each literal l in the set, the set of reasoner axioms entails DataPropertyAssertion(pe ind l).

all_data_property_values(pe: owlapy.owl_property.OWLDataProperty, direct: bool = True) → Iterable[owlapy.owl_literal.OWLLiteral][source]

Gets all values for the given data property expression that appear in the knowledge base.

Parameters:

pe – The data property expression whose values are to be retrieved
direct – Specifies if only the direct values of the data property pe should be retrieved (True), or if the values of sub properties of pe should be taken into account (False).

Returns:

A set of OWLLiterals containing literals such that for each literal l in the set, the set of reasoner axioms entails DataPropertyAssertion(pe ind l) for any ind.

object_property_values(ind: owlapy.owl_individual.OWLNamedIndividual, pe: owlapy.owl_property.OWLObjectPropertyExpression, direct: bool = False) → Iterable[owlapy.owl_individual.OWLNamedIndividual][source]

Gets the object property values for the specified individual and object property expression.

Parameters:

ind – The individual that is the subject of the object property values.
pe – The object property expression whose values are to be retrieved for the specified individual.

Returns:

The named individuals such that for each individual j, the set of reasoner axioms entails ObjectPropertyAssertion(pe ind j).

instances(ce: owlapy.class_expression.OWLClassExpression, direct: bool = False, timeout: int = 1000)[source]

Gets the individuals which are instances of the specified class expression.

Parameters:

ce – The class expression whose instances are to be retrieved.
direct – Specifies if the direct instances should be retrieved (True), or if all instances should be retrieved (False).
timeout – Time limit in seconds until results must be returned, else empty set is returned.

Returns:

If direct is True, each named individual j where the set of reasoner axioms entails DirectClassAssertion(ce, j). If direct is False, each named individual j where the set of reasoner axioms entails ClassAssertion(ce, j). If ce is unsatisfiable with respect to the set of reasoner axioms then nothing returned.

sub_classes(ce: owlapy.class_expression.OWLClassExpression, direct: bool = False, only_named: bool = True) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms.

Parameters:

ce – The class expression whose strict (direct) subclasses are to be retrieved.
direct – Specifies if the direct subclasses should be retrieved (True) or if the all subclasses (descendant) classes should be retrieved (False).

Returns:

If direct is True, each class C where reasoner axioms entails DirectSubClassOf(C, ce). If direct is False, each class C where reasoner axioms entails StrictSubClassOf(C, ce). If ce is equivalent to owl:Nothing then nothing will be returned.

super_classes(ce: owlapy.class_expression.OWLClassExpression, direct: bool = False, only_named: bool = True) → Iterable[owlapy.class_expression.OWLClassExpression][source]

Gets the stream of named classes that are the strict (potentially direct) super classes of the specified class expression with respect to the imports closure of the root ontology.

Parameters:

ce – The class expression whose strict (direct) super classes are to be retrieved.
direct – Specifies if the direct super classes should be retrieved (True) or if the all super classes (ancestors) classes should be retrieved (False).

Returns:

If direct is True, each class C where the set of reasoner axioms entails DirectSubClassOf(ce, C). If direct is False, each class C where set of reasoner axioms entails StrictSubClassOf(ce, C). If ce is equivalent to owl:Thing then nothing will be returned.

equivalent_object_properties(op: owlapy.owl_property.OWLObjectPropertyExpression) → Iterable[owlapy.owl_property.OWLObjectPropertyExpression][source]

Gets the simplified object properties that are equivalent to the specified object property with respect to the set of reasoner axioms.

Parameters:: op – The object property whose equivalent object properties are to be retrieved.
Returns:: All simplified object properties e where the root ontology imports closure entails EquivalentObjectProperties(op e). If op is unsatisfiable with respect to the set of reasoner axioms then owl:bottomDataProperty will be returned.

equivalent_data_properties(dp: owlapy.owl_property.OWLDataProperty) → Iterable[owlapy.owl_property.OWLDataProperty][source]

Gets the data properties that are equivalent to the specified data property with respect to the set of reasoner axioms.

Parameters:: dp – The data property whose equivalent data properties are to be retrieved.
Returns:: All data properties e where the root ontology imports closure entails EquivalentDataProperties(dp e). If dp is unsatisfiable with respect to the set of reasoner axioms then owl:bottomDataProperty will be returned.

disjoint_object_properties(op: owlapy.owl_property.OWLObjectPropertyExpression) → Iterable[owlapy.owl_property.OWLObjectPropertyExpression][source]

Gets the simplified object properties that are disjoint with the specified object property with respect to the set of reasoner axioms.

Parameters:: op – The object property whose disjoint object properties are to be retrieved.
Returns:: All simplified object properties e where the root ontology imports closure entails EquivalentObjectProperties(e ObjectPropertyComplementOf(op)) or StrictSubObjectPropertyOf(e ObjectPropertyComplementOf(op)).

disjoint_data_properties(dp: owlapy.owl_property.OWLDataProperty) → Iterable[owlapy.owl_property.OWLDataProperty][source]

Gets the data properties that are disjoint with the specified data property with respect to the set of reasoner axioms.

Parameters:: dp – The data property whose disjoint data properties are to be retrieved.
Returns:: All data properties e where the root ontology imports closure entails EquivalentDataProperties(e DataPropertyComplementOf(dp)) or StrictSubDataPropertyOf(e DataPropertyComplementOf(dp)).

super_data_properties(dp: owlapy.owl_property.OWLDataProperty, direct: bool = False) → Iterable[owlapy.owl_property.OWLDataProperty][source]

Gets the stream of data properties that are the strict (potentially direct) super properties of the specified data property with respect to the imports closure of the root ontology.

Parameters:

dp (OWLDataProperty) – The data property whose super properties are to be retrieved.
direct (bool) – Specifies if the direct super properties should be retrieved (True) or if the all super properties (ancestors) should be retrieved (False).

Returns:

Iterable of super properties.

sub_data_properties(dp: owlapy.owl_property.OWLDataProperty, direct: bool = False) → Iterable[owlapy.owl_property.OWLDataProperty][source]

Gets the set of named data properties that are the strict (potentially direct) subproperties of the specified data property expression with respect to the imports closure of the root ontology.

Parameters:

dp – The data property whose strict (direct) subproperties are to be retrieved.
direct – Specifies if the direct subproperties should be retrieved (True) or if the all subproperties (descendants) should be retrieved (False).

Returns:

If direct is True, each property P where the set of reasoner axioms entails DirectSubDataPropertyOf(P, pe). If direct is False, each property P where the set of reasoner axioms entails StrictSubDataPropertyOf(P, pe). If pe is equivalent to owl:bottomDataProperty then nothing will be returned.

super_object_properties(op: owlapy.owl_property.OWLObjectPropertyExpression, direct: bool = False) → Iterable[owlapy.owl_property.OWLObjectPropertyExpression][source]

Gets the stream of object properties that are the strict (potentially direct) super properties of the specified object property with respect to the imports closure of the root ontology.

Parameters:

op (OWLObjectPropertyExpression) – The object property expression whose super properties are to be retrieved.
direct (bool) – Specifies if the direct super properties should be retrieved (True) or if the all super properties (ancestors) should be retrieved (False).

Returns:

Iterable of super properties.

sub_object_properties(op: owlapy.owl_property.OWLObjectPropertyExpression, direct: bool = False) → Iterable[owlapy.owl_property.OWLObjectPropertyExpression][source]

Gets the stream of simplified object property expressions that are the strict (potentially direct) subproperties of the specified object property expression with respect to the imports closure of the root ontology.

Parameters:

op – The object property expression whose strict (direct) subproperties are to be retrieved.
direct – Specifies if the direct subproperties should be retrieved (True) or if the all subproperties (descendants) should be retrieved (False).

Returns:

If direct is True, simplified object property expressions, such that for each simplified object property expression, P, the set of reasoner axioms entails DirectSubObjectPropertyOf(P, pe). If direct is False, simplified object property expressions, such that for each simplified object property expression, P, the set of reasoner axioms entails StrictSubObjectPropertyOf(P, pe). If pe is equivalent to owl:bottomObjectProperty then nothing will be returned.

types(ind: owlapy.owl_individual.OWLNamedIndividual, direct: bool = False) → Iterable[owlapy.class_expression.OWLClass][source]

Gets the named classes which are (potentially direct) types of the specified named individual.

Parameters:

ind – The individual whose types are to be retrieved.
direct – Specifies if the direct types should be retrieved (True), or if all types should be retrieved (False).

Returns:

If direct is True, each named class C where the set of reasoner axioms entails DirectClassAssertion(C, ind). If direct is False, each named class C where the set of reasoner axioms entails ClassAssertion(C, ind).

get_root_ontology() → owlapy.abstracts.abstract_owl_ontology.AbstractOWLOntology[source]: Gets the “root” ontology that is loaded into this reasoner. The reasoner takes into account the axioms in this ontology and its import’s closure.

get_instances_from_owl_class(c: owlapy.class_expression.OWLClass)[source]

reset_and_disable_cache()[source]

class owlapy.owl_reasoner.SyncReasoner(ontology: owlapy.owl_ontology.SyncOntology | str, reasoner='HermiT')[source]

Bases: owlapy.abstracts.abstract_owl_reasoner.AbstractOWLReasoner

An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the imports closure of a particular ontology - the “root” ontology.

mapper

inference_types_mapping

instances(ce: owlapy.class_expression.OWLClassExpression, direct: bool = False, timeout: int = 1000)[source]

Gets the individuals which are instances of the specified class expression.

Parameters:

ce – The class expression whose instances are to be retrieved.
direct – Specifies if the direct instances should be retrieved (True), or if all instances should be retrieved (False).
timeout – Time limit in seconds until results must be returned, else empty set is returned.

Returns:

If direct is True, each named individual j where the set of reasoner axioms entails DirectClassAssertion(ce, j). If direct is False, each named individual j where the set of reasoner axioms entails ClassAssertion(ce, j). If ce is unsatisfiable with respect to the set of reasoner axioms then nothing returned.

equivalent_classes(ce: owlapy.class_expression.OWLClassExpression) → List[owlapy.class_expression.OWLClassExpression][source]

Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.

Parameters:: ce (OWLClassExpression) – The class expression whose equivalent classes are to be retrieved.
Returns:: Equivalent classes of the given class expression.

disjoint_classes(ce: owlapy.class_expression.OWLClassExpression) → List[owlapy.class_expression.OWLClassExpression][source]

Gets the classes that are disjoint with the specified class expression.

Parameters:: ce (OWLClassExpression) – The class expression whose disjoint classes are to be retrieved.
Returns:: Disjoint classes of the given class expression.

sub_classes(ce: owlapy.class_expression.OWLClassExpression, direct=False) → List[owlapy.class_expression.OWLClassExpression][source]

Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms.

Args:
ce (OWLClassExpression): The class expression whose strict (direct) subclasses are to be retrieved. direct (bool, optional): Specifies if the direct subclasses should be retrieved (True) or if

all subclasses (descendant) classes should be retrieved (False). Defaults to False.

Returns:: The subclasses of the given class expression depending on direct field.

super_classes(ce: owlapy.class_expression.OWLClassExpression, direct=False) → List[owlapy.class_expression.OWLClassExpression][source]

Gets the stream of named classes that are the strict (potentially direct) super classes of the specified class expression with respect to the imports closure of the root ontology.

Parameters:

ce (OWLClassExpression) – The class expression whose strict (direct) subclasses are to be retrieved.
direct (bool, optional) – Specifies if the direct superclasses should be retrieved (True) or if all superclasses (descendant) classes should be retrieved (False). Defaults to False.

Returns:

The subclasses of the given class expression depending on direct field.

data_property_domains(p: owlapy.owl_property.OWLDataProperty, direct: bool = False)[source]

Gets the class expressions that are the direct or indirect domains of this property with respect to the: imports closure of the root ontology.

Parameters:

p – The property expression whose domains are to be retrieved.
direct – Specifies if the direct domains should be retrieved (True), or if all domains should be retrieved (False).

Returns:

Let N = equivalent_classes(DataSomeValuesFrom(pe rdfs:Literal)). If direct is True: then if N is not empty then the return value is N, else the return value is the result of super_classes(DataSomeValuesFrom(pe rdfs:Literal), true). If direct is False: then the result of super_classes(DataSomeValuesFrom(pe rdfs:Literal), false) together with N if N is non-empty. (Note, rdfs:Literal is the top datatype).

object_property_domains(p: owlapy.owl_property.OWLObjectProperty, direct: bool = False)[source]

Gets the class expressions that are the direct or indirect domains of this property with respect to the: imports closure of the root ontology.

Parameters:

p – The property expression whose domains are to be retrieved.
direct – Specifies if the direct domains should be retrieved (True), or if all domains should be retrieved (False).

Returns:

Let N = equivalent_classes(ObjectSomeValuesFrom(pe owl:Thing)). If direct is True: then if N is not empty then the return value is N, else the return value is the result of super_classes(ObjectSomeValuesFrom(pe owl:Thing), true). If direct is False: then the result of super_classes(ObjectSomeValuesFrom(pe owl:Thing), false) together with N if N is non-empty.

object_property_ranges(p: owlapy.owl_property.OWLObjectProperty, direct: bool = False)[source]

Gets the class expressions that are the direct or indirect ranges of this property with respect to the: imports closure of the root ontology.

Parameters:

p – The property expression whose ranges are to be retrieved.
direct – Specifies if the direct ranges should be retrieved (True), or if all ranges should be retrieved (False).

Returns:

Let N = equivalent_classes(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing)). If direct is True: then if N is not empty then the return value is N, else the return value is the result of super_classes(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing), true). If direct is False: then the result of super_classes(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing), false) together with N if N is non-empty.

sub_object_properties(p: owlapy.owl_property.OWLObjectProperty, direct: bool = False)[source]

Gets the stream of simplified object property expressions that are the strict (potentially direct) subproperties of the specified object property expression with respect to the imports closure of the root ontology.

Parameters:

p – The object property expression whose strict (direct) subproperties are to be retrieved.
direct – Specifies if the direct subproperties should be retrieved (True) or if the all subproperties (descendants) should be retrieved (False).

Returns:

If direct is True, simplified object property expressions, such that for each simplified object property expression, P, the set of reasoner axioms entails DirectSubObjectPropertyOf(P, pe). If direct is False, simplified object property expressions, such that for each simplified object property expression, P, the set of reasoner axioms entails StrictSubObjectPropertyOf(P, pe). If pe is equivalent to owl:bottomObjectProperty then nothing will be returned.

super_object_properties(p: owlapy.owl_property.OWLObjectProperty, direct: bool = False)[source]

Gets the stream of object properties that are the strict (potentially direct) super properties of the specified object property with respect to the imports closure of the root ontology.

Parameters:

p (OWLObjectPropertyExpression) – The object property expression whose super properties are to be retrieved.
direct (bool) – Specifies if the direct super properties should be retrieved (True) or if the all super properties (ancestors) should be retrieved (False).

Returns:

Iterable of super properties.

sub_data_properties(p: owlapy.owl_property.OWLDataProperty, direct: bool = False)[source]

Gets the set of named data properties that are the strict (potentially direct) subproperties of the specified data property expression with respect to the imports closure of the root ontology.

Parameters:

p – The data property whose strict (direct) subproperties are to be retrieved.
direct – Specifies if the direct subproperties should be retrieved (True) or if the all subproperties (descendants) should be retrieved (False).

Returns:

If direct is True, each property P where the set of reasoner axioms entails DirectSubDataPropertyOf(P, pe). If direct is False, each property P where the set of reasoner axioms entails StrictSubDataPropertyOf(P, pe). If pe is equivalent to owl:bottomDataProperty then nothing will be returned.

super_data_properties(p: owlapy.owl_property.OWLDataProperty, direct: bool = False)[source]

Gets the stream of data properties that are the strict (potentially direct) super properties of the specified data property with respect to the imports closure of the root ontology.

Parameters:

p (OWLDataProperty) – The data property whose super properties are to be retrieved.
direct (bool) – Specifies if the direct super properties should be retrieved (True) or if the all super properties (ancestors) should be retrieved (False).

Returns:

Iterable of super properties.

different_individuals(i: owlapy.owl_individual.OWLNamedIndividual)[source]

Gets the individuals that are different from the specified individual with respect to the set of reasoner axioms.

Parameters:: i – The individual whose different individuals are to be retrieved.
Returns:: All individuals x where the set of reasoner axioms entails DifferentIndividuals(ind x).

same_individuals(i: owlapy.owl_individual.OWLNamedIndividual)[source]

Gets the individuals that are the same as the specified individual with respect to the set of reasoner axioms.

Parameters:: i – The individual whose same individuals are to be retrieved.
Returns:: All individuals x where the root ontology imports closure entails SameIndividual(ind x).

equivalent_object_properties(p: owlapy.owl_property.OWLObjectProperty)[source]

Gets the simplified object properties that are equivalent to the specified object property with respect to the set of reasoner axioms.

Parameters:: p – The object property whose equivalent object properties are to be retrieved.
Returns:: All simplified object properties e where the root ontology imports closure entails EquivalentObjectProperties(op e). If op is unsatisfiable with respect to the set of reasoner axioms then owl:bottomDataProperty will be returned.

equivalent_data_properties(p: owlapy.owl_property.OWLDataProperty)[source]

Gets the data properties that are equivalent to the specified data property with respect to the set of reasoner axioms.

Parameters:: p – The data property whose equivalent data properties are to be retrieved.
Returns:: All data properties e where the root ontology imports closure entails EquivalentDataProperties(dp e). If dp is unsatisfiable with respect to the set of reasoner axioms then owl:bottomDataProperty will be returned.

object_property_values(i: owlapy.owl_individual.OWLNamedIndividual, p: owlapy.owl_property.OWLObjectProperty)[source]

Gets the object property values for the specified individual and object property expression.

Parameters:

i – The individual that is the subject of the object property values.
p – The object property expression whose values are to be retrieved for the specified individual.

Returns:

The named individuals such that for each individual j, the set of reasoner axioms entails ObjectPropertyAssertion(pe ind j).

data_property_values(e: owlapy.owl_object.OWLEntity, p: owlapy.owl_property.OWLDataProperty)[source]

Gets the data property values for the specified entity and data property expression.

Parameters:

e – The entity (usually an individual) that is the subject of the data property values.
p – The data property expression whose values are to be retrieved for the specified individual.

Returns:

A set of OWLLiterals containing literals such that for each literal l in the set, the set of reasoner axioms entails DataPropertyAssertion(pe ind l).

disjoint_object_properties(p: owlapy.owl_property.OWLObjectProperty)[source]

Gets the simplified object properties that are disjoint with the specified object property with respect to the set of reasoner axioms.

Parameters:: p – The object property whose disjoint object properties are to be retrieved.
Returns:: All simplified object properties e where the root ontology imports closure entails EquivalentObjectProperties(e ObjectPropertyComplementOf(op)) or StrictSubObjectPropertyOf(e ObjectPropertyComplementOf(op)).

disjoint_data_properties(p: owlapy.owl_property.OWLDataProperty)[source]

Gets the data properties that are disjoint with the specified data property with respect to the set of reasoner axioms.

Parameters:: p – The data property whose disjoint data properties are to be retrieved.
Returns:: All data properties e where the root ontology imports closure entails EquivalentDataProperties(e DataPropertyComplementOf(dp)) or StrictSubDataPropertyOf(e DataPropertyComplementOf(dp)).

types(individual: owlapy.owl_individual.OWLNamedIndividual, direct: bool = False)[source]

Gets the named classes which are (potentially direct) types of the specified named individual.

Parameters:

individual – The individual whose types are to be retrieved.
direct – Specifies if the direct types should be retrieved (True), or if all types should be retrieved (False).

Returns:

If direct is True, each named class C where the set of reasoner axioms entails DirectClassAssertion(C, ind). If direct is False, each named class C where the set of reasoner axioms entails ClassAssertion(C, ind).

has_consistent_ontology() → bool[source]

Check if the used ontology is consistent.

Returns:: True if the ontology used by this reasoner is consistent, False otherwise.
Return type:: bool

infer_axioms(inference_types: list[str]) → Iterable[owlapy.owl_axiom.OWLAxiom][source]

Infer the specified inference type of axioms for the ontology managed by this instance’s reasoner and return them.

Parameters:: inference_types – Axiom inference types: Avaliable options (can set more than 1): [“InferredClassAssertionAxiomGenerator”, “InferredSubClassAxiomGenerator”, “InferredDisjointClassesAxiomGenerator”, “InferredEquivalentClassAxiomGenerator”, “InferredEquivalentDataPropertiesAxiomGenerator”,”InferredEquivalentObjectPropertyAxiomGenerator”, “InferredInverseObjectPropertiesAxiomGenerator”,”InferredSubDataPropertyAxiomGenerator”, “InferredSubObjectPropertyAxiomGenerator”,”InferredDataPropertyCharacteristicAxiomGenerator”, “InferredObjectPropertyCharacteristicAxiomGenerator” ]
Returns:: Iterable of inferred axioms.

infer_axioms_and_save(output_path: str = None, output_format: str = None, inference_types: list[str] = None)[source]

Generates inferred axioms for the ontology managed by this instance’s reasoner and saves them to a file. This function uses the OWL API to generate inferred class assertion axioms based on the ontology and reasoner associated with this instance. The inferred axioms are saved to the specified output file in the desired format.

Parameters:

output_path – The name of the file where the inferred axioms will be saved.
output_format – The format in which to save the inferred axioms. Supported formats are: - “ttl” or “turtle” for Turtle format - “rdf/xml” for RDF/XML format - “owl/xml” for OWL/XML format If not specified, the format of the original ontology is used.
inference_types – Axiom inference types: Avaliable options (can set more than 1): [“InferredClassAssertionAxiomGenerator”, “InferredSubClassAxiomGenerator”, “InferredDisjointClassesAxiomGenerator”, “InferredEquivalentClassAxiomGenerator”, “InferredEquivalentDataPropertiesAxiomGenerator”,”InferredEquivalentObjectPropertyAxiomGenerator”, “InferredInverseObjectPropertiesAxiomGenerator”,”InferredSubDataPropertyAxiomGenerator”, “InferredSubObjectPropertyAxiomGenerator”,”InferredDataPropertyCharacteristicAxiomGenerator”, “InferredObjectPropertyCharacteristicAxiomGenerator” ]

Returns:

None (the file is saved to the specified directory)

generate_and_save_inferred_class_assertion_axioms(output='temp.ttl', output_format: str = None)[source]

Generates inferred class assertion axioms for the ontology managed by this instance’s reasoner and saves them to a file. This function uses the OWL API to generate inferred class assertion axioms based on the ontology and reasoner associated with this instance. The inferred axioms are saved to the specified output file in the desired format. Parameters: ———– output : str, optional

The name of the file where the inferred axioms will be saved. Default is “temp.ttl”.

output_formatstr, optional: The format in which to save the inferred axioms. Supported formats are: - “ttl” or “turtle” for Turtle format - “rdf/xml” for RDF/XML format - “owl/xml” for OWL/XML format If not specified, the format of the original ontology is used.

Notes:

The function supports saving in multiple formats: Turtle, RDF/XML, and OWL/XML.
The inferred axioms are generated using the reasoner associated with this instance and the OWL API’s InferredClassAssertionAxiomGenerator.
The inferred axioms are added to a new ontology which is then saved in the specified format.

Example:

>>> instance.generate_and_save_inferred_class_assertion_axioms(output="inferred_axioms.ttl", format="ttl")
This will save the inferred class assertion axioms to the file "inferred_axioms.ttl" in Turtle format.

is_entailed(axiom: owlapy.owl_axiom.OWLAxiom) → bool[source]

A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.

Parameters:: axiom – The axiom to check for entailment.
Returns:: True if the axiom is entailed by the reasoner axioms and False otherwise.

is_satisfiable(ce: owlapy.class_expression.OWLClassExpression) → bool[source]

A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.

Parameters:: ce – The class expression to check for satisfiability.
Returns:: True if the class expression is satisfiable by the reasoner axioms and False otherwise.

unsatisfiable_classes()[source]: A convenience method that obtains the classes in the signature of the root ontology that are unsatisfiable.

get_root_ontology() → owlapy.abstracts.abstract_owl_ontology.AbstractOWLOntology[source]: Gets the “root” ontology that is loaded into this reasoner. The reasoner takes into account the axioms in this ontology and its import’s closure.

owlapy.owl_reasoner.initialize_reasoner(reasoner: str, owlapi_ontology)[source]

owlapy.owl_reasoner.import_and_include_axioms_generators()[source]