owlapy.model

owlapy.model.providers

The OWL-APy Model class and method names should match those of OWL API [1]

If OWL API has streaming and getter API, it is enough to provide the streaming API only.

many help texts copied from OWL API

[1] https://github.com/owlcs/owlapi

Classes

AddImport	Represents an ontology change where an import statement is added to an ontology.
HasCardinality	An interface to objects that have a cardinality.
HasFiller	An interface to objects that have a filler.
HasIRI
HasIndex	Interface for types with an index; this is used to group objects by type when sorting.
HasOperands	An interface to objects that have a collection of operands.
IRI	An IRI, consisting of a namespace and a remainder
OWLAnnotation	Annotations are used in the various types of annotation axioms, which bind annotations to their subjects (i.e.
OWLAnnotationAssertionAxiom	Represents AnnotationAssertion axioms in the OWL 2 specification.
OWLAnnotationAxiom	A super interface for annotation axioms.
OWLAnnotationObject	A marker interface for the values (objects) of annotations.
OWLAnnotationProperty	Represents an AnnotationProperty in the OWL 2 specification.
OWLAnnotationPropertyDomainAxiom	Represents an AnnotationPropertyDomain axiom in the OWL 2 specification
OWLAnnotationPropertyRangeAxiom	Represents an AnnotationPropertyRange axiom in the OWL 2 specification
OWLAnnotationSubject	A marker interface for annotation subjects, which can either be IRIs or anonymous individuals
OWLAnnotationValue	A marker interface for annotation values, which can either be an IRI (URI), Literal or Anonymous Individual.
OWLAnonymousClassExpression	A Class Expression which is not a named Class
OWLAsymmetricObjectPropertyAxiom	Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
OWLAxiom	Represents Axioms in the OWL 2 Specification.
OWLBooleanClassExpression
OWLCardinalityRestriction	.
OWLClass	An OWL 2 named Class
OWLClassAssertionAxiom	Represents ClassAssertion axioms in the OWL 2 Specification.
OWLClassAxiom	The base interface for class axioms.
OWLClassExpression	An OWL 2 Class Expression
OWLDataAllValuesFrom	Represents DataAllValuesFrom class expressions in the OWL 2 Specification.
OWLDataCardinalityRestriction	Represents Data Property Cardinality Restrictions in the OWL 2 specification
OWLDataComplementOf	Represents DataComplementOf in the OWL 2 Specification.
OWLDataExactCardinality	Represents DataExactCardinality restrictions in the OWL 2 Specification.
OWLDataHasValue	Represents DataHasValue restrictions in the OWL 2 Specification.
OWLDataIntersectionOf	Represents DataIntersectionOf in the OWL 2 Specification.
OWLDataMaxCardinality	Represents DataMaxCardinality restrictions in the OWL 2 Specification.
OWLDataMinCardinality	Represents DataMinCardinality restrictions in the OWL 2 Specification.
OWLDataOneOf	Represents DataOneOf in the OWL 2 Specification.
OWLDataProperty	Represents a Data Property in the OWL 2 Specification.
OWLDataPropertyAssertionAxiom	Represents an DataPropertyAssertion axiom in the OWL 2 specification
OWLDataPropertyAxiom	The base interface for data property axioms.
OWLDataPropertyCharacteristicAxiom
OWLDataPropertyDomainAxiom	Represents a DataPropertyDomain axiom in the OWL 2 Specification.
OWLDataPropertyExpression	A high level interface to describe different types of data properties.
OWLDataPropertyRangeAxiom	Represents a DataPropertyRange axiom in the OWL 2 Specification.
OWLDataRange	Represents a DataRange in the OWL 2 Specification
OWLDataRestriction	Represents a Data Property Restriction in the OWL 2 specification.
OWLDataSomeValuesFrom	Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
OWLDataUnionOf	Represents a DataUnionOf data range in the OWL 2 Specification.
OWLDatatype	Represents a Datatype (named data range) in the OWL 2 Specification.
OWLDatatypeDefinitionAxiom	Represents a DatatypeDefinition axiom in the OWL 2 Specification.
OWLDatatypeRestriction	Represents a DatatypeRestriction data range in the OWL 2 Specification.
OWLDeclarationAxiom	Represents a Declaration axiom in the OWL 2 Specification.
OWLDifferentIndividualsAxiom	Represents a DifferentIndividuals axiom in the OWL 2 Specification.
OWLDisjointClassesAxiom	Represents a DisjointClasses axiom in the OWL 2 Specification.
OWLDisjointDataPropertiesAxiom	Represents DisjointDataProperties axioms in the OWL 2 Specification.
OWLDisjointObjectPropertiesAxiom	Represents DisjointObjectProperties axioms in the OWL 2 Specification.
OWLDisjointUnionAxiom	Represents a DisjointUnion axiom in the OWL 2 Specification.
OWLEntity	Represents Entities in the OWL 2 Specification.
OWLEquivalentClassesAxiom	Represents an EquivalentClasses axiom in the OWL 2 Specification.
OWLEquivalentDataPropertiesAxiom	Represents EquivalentDataProperties axioms in the OWL 2 Specification.
OWLEquivalentObjectPropertiesAxiom	Represents EquivalentObjectProperties axioms in the OWL 2 Specification.
OWLFacetRestriction	A facet restriction is used to restrict a particular datatype.
OWLFunctionalDataPropertyAxiom	Represents FunctionalDataProperty axioms in the OWL 2 specification.
OWLFunctionalObjectPropertyAxiom	Represents FunctionalObjectProperty axioms in the OWL 2 specification.
OWLHasKeyAxiom	Represents a HasKey axiom in the OWL 2 Specification.
OWLHasValueRestriction	OWLHasValueRestriction.
OWLImportsDeclaration	Represents an import statement in an ontology.
OWLIndividual	Represents a named or anonymous individual.
OWLIndividualAxiom	The base interface for individual axioms.
OWLInverseFunctionalObjectPropertyAxiom	Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
OWLInverseObjectPropertiesAxiom	Represents InverseObjectProperties axioms in the OWL 2 Specification.
OWLIrreflexiveObjectPropertyAxiom	Represents IrreflexiveObjectProperty axioms in the OWL 2 specification.
OWLLiteral	Represents a Literal in the OWL 2 Specification.
OWLLogicalAxiom	A base interface of all axioms that affect the logical meaning of an ontology.
OWLNamedIndividual	Represents a Named Individual in the OWL 2 Specification.
OWLNamedObject	Represents a named object for example, class, property, ontology etc.
OWLNaryAxiom	Represents an axiom that contains two or more operands that could also be represented with multiple pairwise axioms.
OWLNaryBooleanClassExpression	OWLNaryBooleanClassExpression.
OWLNaryClassAxiom
OWLNaryDataRange	OWLNaryDataRange.
OWLNaryIndividualAxiom
OWLNaryPropertyAxiom
OWLNegativeDataPropertyAssertionAxiom	Represents an NegativeDataPropertyAssertion axiom in the OWL 2 specification
OWLNegativeObjectPropertyAssertionAxiom	Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 specification
OWLObject	Base interface for OWL objects
OWLObjectAllValuesFrom	Represents an ObjectAllValuesFrom class expression in the OWL 2 Specification.
OWLObjectCardinalityRestriction
OWLObjectComplementOf	Represents an ObjectComplementOf class expression in the OWL 2 Specification.
OWLObjectExactCardinality	Represents an ObjectExactCardinality restriction in the OWL 2 Specification.
OWLObjectHasSelf	Represents an ObjectHasSelf class expression in the OWL 2 Specification.
OWLObjectHasValue	Represents an ObjectHasValue class expression in the OWL 2 Specification.
OWLObjectIntersectionOf	Represents an OWLObjectIntersectionOf class expression in the OWL 2 Specification.
OWLObjectInverseOf	Represents the inverse of a property expression (ObjectInverseOf).
OWLObjectMaxCardinality	Represents a ObjectMaxCardinality restriction in the OWL 2 Specification.
OWLObjectMinCardinality	Represents a ObjectMinCardinality restriction in the OWL 2 Specification.
OWLObjectOneOf	Represents an ObjectOneOf class expression in the OWL 2 Specification.
OWLObjectProperty	Represents an Object Property in the OWL 2 Specification.
OWLObjectPropertyAssertionAxiom	Represents an ObjectPropertyAssertion axiom in the OWL 2 specification
OWLObjectPropertyAxiom	The base interface for object property axioms.
OWLObjectPropertyCharacteristicAxiom
OWLObjectPropertyDomainAxiom	Represents a ObjectPropertyDomain axiom in the OWL 2 Specification.
OWLObjectPropertyExpression
OWLObjectPropertyRangeAxiom	Represents a ObjectPropertyRange axiom in the OWL 2 Specification.
OWLObjectRestriction	Represents a Object Property Restriction in the OWL 2 specification.
OWLObjectSomeValuesFrom	Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification.
OWLObjectUnionOf	Represents an ObjectUnionOf class expression in the OWL 2 Specification.
OWLOntology	Represents an OWL 2 Ontology in the OWL 2 specification.
OWLOntologyChange
OWLOntologyID	An object that identifies an ontology.
OWLOntologyManager	An OWLOntologyManager manages a set of ontologies.
OWLProperty	A marker interface for properties that aren’t expression i.e. named properties.
OWLPropertyAssertionAxiom	Represents a PropertyAssertion axiom in the OWL 2 specification
OWLPropertyAxiom	The base interface for property axioms.
OWLPropertyDomainAxiom	Represents ObjectPropertyDomain axioms in the OWL 2 specification.
OWLPropertyExpression	Represents a property or possibly the inverse of a property.
OWLPropertyRange	OWL Objects that can be the ranges of properties
OWLPropertyRangeAxiom	Represents ObjectPropertyRange axioms in the OWL 2 specification.
OWLQuantifiedDataRestriction	A quantified data restriction.
OWLQuantifiedObjectRestriction	A quantified object restriction.
OWLQuantifiedRestriction	A quantified restriction.
OWLReasoner	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.
OWLReflexiveObjectPropertyAxiom	Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
OWLRestriction	Represents a Object Property Restriction or Data Property Restriction in the OWL 2 specification.
OWLSameIndividualAxiom	Represents a SameIndividual axiom in the OWL 2 Specification.
OWLSubAnnotationPropertyOfAxiom	Represents an SubAnnotationPropertyOf axiom in the OWL 2 specification
OWLSubClassOfAxiom	Represents an SubClassOf axiom in the OWL 2 Specification.
OWLSubDataPropertyOfAxiom	Represents a SubDataPropertyOf axiom in the OWL 2 specification
OWLSubObjectPropertyOfAxiom	Represents a SubObjectPropertyOf axiom in the OWL 2 specification
OWLSubPropertyAxiom
OWLSymmetricObjectPropertyAxiom	Represents SymmetricObjectProperty axioms in the OWL 2 specification.
OWLTransitiveObjectPropertyAxiom	Represents TransitiveObjectProperty axioms in the OWL 2 specification.
OWLUnaryPropertyAxiom

Module attributes

owlapy.model._T

alias of TypeVar(‘_T’)

owlapy.model._C

alias of TypeVar(‘_C’, bound=OWLObject)

owlapy.model._P

alias of TypeVar(‘_P’, bound=OWLPropertyExpression)

owlapy.model._R

alias of TypeVar(‘_R’, bound=OWLPropertyRange)

owlapy.model.Literals

alias of Union[OWLLiteral, int, float, bool, pandas._libs.tslibs.timedeltas.Timedelta, datetime.datetime, datetime.date, str]

owlapy.model._F

alias of TypeVar(‘_F’, bound=owlapy.model.OWLPropertyRange)

owlapy.model._M

alias of TypeVar(‘_M’, bound=OWLOntologyManager)

owlapy.model.OWLThing: Final = OWLClass(IRI('http://www.w3.org/2002/07/owl#','Thing'))

The OWL Class corresponding to owl:Thing

owlapy.model.OWLNothing: Final = OWLClass(IRI('http://www.w3.org/2002/07/owl#','Nothing'))

The OWL Class corresponding to owl:Nothing

owlapy.model.OWLTopObjectProperty: Final = OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','topObjectProperty'))

the built in top object property

owlapy.model.OWLBottomObjectProperty: Final = OWLObjectProperty(IRI('http://www.w3.org/2002/07/owl#','bottomObjectProperty'))

the built in bottom object property

owlapy.model.OWLTopDataProperty: Final = OWLDataProperty(IRI('http://www.w3.org/2002/07/owl#','topDataProperty'))

the built in top data property

owlapy.model.OWLBottomDataProperty: Final = OWLDataProperty(IRI('http://www.w3.org/2002/07/owl#','bottomDataProperty'))

the built in bottom data property

owlapy.model.DoubleOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','double'))

An object representing a double datatype.

owlapy.model.IntegerOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','integer'))

An object representing an integer datatype.

owlapy.model.BooleanOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','boolean'))

An object representing the boolean datatype.

owlapy.model.StringOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','string'))

An object representing the string datatype.

owlapy.model.DateOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','date'))

An object representing the date datatype.

owlapy.model.DateTimeOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','dateTime'))

An object representing the dateTime datatype.

owlapy.model.DurationOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2001/XMLSchema#','duration'))

An object representing the duration datatype.

owlapy.model.TopOWLDatatype: Final = OWLDatatype(IRI('http://www.w3.org/2000/01/rdf-schema#','Literal'))

The OWL Datatype corresponding to the top data type