owlapy.model.OWLOntology¶

class owlapy.model.OWLOntology[source]¶

Bases: owlapy.model.OWLObject

Represents an OWL 2 Ontology in the OWL 2 specification.

An OWLOntology consists of a possibly empty set of OWLAxioms and a possibly empty set of OWLAnnotations. An ontology can have an ontology IRI which can be used to identify the ontology. If it has an ontology IRI then it may also have an ontology version IRI. Since OWL 2, an ontology need not have an ontology IRI. (See the OWL 2 Structural Specification)

An ontology cannot be modified directly. Changes must be applied via its OWLOntologyManager.

Methods

`classes_in_signature`	Gets the classes in the signature of this object.
`data_properties_in_signature`	Get the data properties that are in the signature of this object.
`data_property_domain_axioms`	Gets the OWLDataPropertyDomainAxiom objects where the property is equal to the specified property.
`data_property_range_axioms`	Gets the OWLDataPropertyRangeAxiom objects where the property is equal to the specified property.
`get_ontology_id`	Gets the OWLOntologyID belonging to this object.
`get_owl_ontology_manager`	Gets the manager that manages this ontology
`individuals_in_signature`	A convenience method that obtains the individuals that are in the signature of this object.
`is_anonymous`
`object_properties_in_signature`	A convenience method that obtains the object properties that are in the signature of this object.
`object_property_domain_axioms`	Gets the OWLObjectPropertyDomainAxiom objects where the property is equal to the specified property.
`object_property_range_axioms`	Gets the OWLObjectPropertyRangeAxiom objects where the property is equal to the specified property.

Attributes

type_index

abstract classes_in_signature() → Iterable[owlapy.model.OWLClass][source]¶

Gets the classes in the signature of this object.

Returns:: Classes in the signature of this object

abstract data_properties_in_signature() → Iterable[owlapy.model.OWLDataProperty][source]¶

Get the data properties that are in the signature of this object.

Returns:: Data properties that are in the signature of this object

abstract data_property_domain_axioms(property: owlapy.model.OWLDataProperty) → Iterable[owlapy.model.OWLDataPropertyDomainAxiom][source]¶

Gets the OWLDataPropertyDomainAxiom objects where the property is equal to the specified property.

Parameters:: property – The property which is equal to the property of the retrieved axioms.
Returns:: the axioms matching the search.

abstract data_property_range_axioms(property: owlapy.model.OWLDataProperty) → Iterable[owlapy.model.OWLDataPropertyRangeAxiom][source]¶

Gets the OWLDataPropertyRangeAxiom objects where the property is equal to the specified property.

Parameters:: property – The property which is equal to the property of the retrieved axioms.
Returns:: the axioms matching the search.

abstract get_ontology_id() → owlapy.model.OWLOntologyID [source]¶

Gets the OWLOntologyID belonging to this object.

Returns:: The OWLOntologyID

abstract get_owl_ontology_manager() → _M [source]¶: Gets the manager that manages this ontology

abstract individuals_in_signature() → Iterable[owlapy.model.OWLNamedIndividual][source]¶

A convenience method that obtains the individuals that are in the signature of this object.

Returns:: Individuals that are in the signature of this object.

is_anonymous() → bool[source]¶

abstract object_properties_in_signature() → Iterable[owlapy.model.OWLObjectProperty][source]¶

A convenience method that obtains the object properties that are in the signature of this object.

Returns:: Object properties that are in the signature of this object

abstract object_property_domain_axioms(property: owlapy.model.OWLObjectProperty) → Iterable[owlapy.model.OWLObjectPropertyDomainAxiom][source]¶

Gets the OWLObjectPropertyDomainAxiom objects where the property is equal to the specified property.

Parameters:: property – The property which is equal to the property of the retrieved axioms.
Returns:: the axioms matching the search.

abstract object_property_range_axioms(property: owlapy.model.OWLObjectProperty) → Iterable[owlapy.model.OWLObjectPropertyRangeAxiom][source]¶

Gets the OWLObjectPropertyRangeAxiom objects where the property is equal to the specified property.

Parameters:: property – The property which is equal to the property of the retrieved axioms.
Returns:: the axioms matching the search.

type_index: Final = 1¶