pyhornedowl.model

Classes

AnnotatedComponent

An AnnotatedComponent is an Component with one or more Annotation.

Annotation

Data associated with a part of the ontology.

AnnotationAssertion

An annotation assertion axiom

AnnotationProperty

An OWL AnnotationProperty is a relationship between a part of an ontology and an Annotation.

AnnotationPropertyDomain

Assert the domain of an AnnotationProperty

AnnotationPropertyRange

Assert the range of an AnnotationProperty

AnonymousIndividual

An OWL2 Anonymous Individual

AsymmetricObjectProperty

The asymmetric characteristic.

BuiltInAtom

Class

An OWL Class is a group of individuals.

ClassAssertion

A class assertion expression.

ClassAtom

DataAllValuesFrom

A universal relationship.

DataComplementOf

DataExactCardinality

An exact cardinality restriction The class of individuals have exactly n relationships of the kind dp to a given data range dr.

DataHasValue

A has-value relationship.

DataIntersectionOf

DataMaxCardinality

A max cardinality restriction The class of individuals have at most n relationships of the kind dp to a given data range dr.

DataMinCardinality

A minimum cardinality restriction The class of individuals have at least n relationships of the kind dp to a given data range dr.

DataOneOf

DataProperty

An OWL DataProperty is a relationship between part of an ontology and some concrete information.

DataPropertyAssertion

A data property assertion.

DataPropertyAtom

DataPropertyDomain

The domain of a DataProperty.

DataPropertyRange

The range of a DataProperty.

DataRangeAtom

DataSomeValuesFrom

An existential relationship.

DataUnionOf

Datatype

An OWL Datatype is a specific kind of data, such as an integer, string or so forth.

DatatypeDefinition

Definition of a datatype.

DatatypeLiteral

DatatypeRestriction

DeclareAnnotationProperty

Declares that an IRI represents an AnnotationProperty in the Ontology.

DeclareClass

Declares that an IRI represents a Class in the Ontology

DeclareDataProperty

Declares that an IRI represents a DataProperty in the ontology.

DeclareDatatype

Declare that an IRI represents a Datatype in the ontology.

DeclareNamedIndividual

Declare that an IRI represents a NamedIndividual in the ontology.

DeclareObjectProperty

Declares that an IRI represents an ObjectProperty in the Ontology.

DifferentIndividuals

A different individuals expression.

DifferentIndividualsAtom

DisjointClasses

A disjoint relationship between two ClassExpression

DisjointDataProperties

A disjoint data property relationship.

DisjointObjectProperties

A disjoint object property relationship.

DisjointUnion

A disjoint union expression between one ClassExpression and a set of others.

DocIRI

The IRI from which the ontology was actually loaded.

EquivalentClasses

An equivalence relationship between two ClassExpression.

EquivalentDataProperties

An equivalent data property relationship.

EquivalentObjectProperties

An equivalent object properties relationship.

Facet

FacetRestriction

An OWL2 FacetRestriction

FunctionalDataProperty

The functional DataProperty characteristic.

FunctionalObjectProperty

The functional characteristic.

HasKey

A key

IRI

Import

Declares that an IRI is an import of this ontology

InverseFunctionalObjectProperty

The inverse functional characteristic

InverseObjectProperties

An inverse relationship between two object properties.

InverseObjectProperty

IrreflexiveObjectProperty

The irreflexive characteristic

LanguageLiteral

NamedIndividual

An OWL NamedIndividual is an individual in the ontology which is specifically known about and can be identified by name.

NegativeDataPropertyAssertion

A negative data property assertion.

NegativeObjectPropertyAssertion

A negative object property assertion.

ObjectAllValuesFrom

A universal relationship

ObjectComplementOf

The boolean not

ObjectExactCardinality

An exact cardinality relationship between individuals

ObjectHasSelf

The class of individuals which have a relation to themselves

ObjectHasValue

An existential relationship to an individual

ObjectIntersectionOf

The boolean and

ObjectMaxCardinality

A max cardinality relationship between individuals

ObjectMinCardinality

A min cardinality relationship between individuals

ObjectOneOf

An enumeration of individuals

ObjectProperty

An OWL ObjectProperty is a relationship between two individuals.

ObjectPropertyAssertion

An object property assertion.

ObjectPropertyAtom

ObjectPropertyDomain

The domain of the object property.

ObjectPropertyRange

The range of the object property.

ObjectSomeValuesFrom

An existential relationship

ObjectUnionOf

The boolean or

OntologyAnnotation

An annotation associated with this Ontology

OntologyID

The Ontology ID.

ReflexiveObjectProperty

The reflexive characteristic

Rule

A SWRL Rule

SameIndividual

A same individual expression.

SameIndividualAtom

SimpleLiteral

SubAnnotationPropertyOf

An sub-property assertion for annotation properties.

SubClassOf

A subclass relationship between two ClassExpression.

SubDataPropertyOf

A sub data property relationship.

SubObjectPropertyOf

A sub property relationship between two object properties.

SymmetricObjectProperty

The symmetric characteristic

TransitiveObjectProperty

A transitive relationship between two object properties.

Variable

A SWRL Variable

Module aliases

pyhornedowl.model.AnnotationSubject

An OWL2 annotation subjection can either an IRI or anonymous individual

alias of IRI | AnonymousIndividual

pyhornedowl.model.AnnotationValue

The value of an annotation

alias of SimpleLiteral | LanguageLiteral | DatatypeLiteral | IRI | AnonymousIndividual

pyhornedowl.model.ClassExpression

A class expression

As well as a named class, it is possible to define classes of individuals based on these class constructors.

alias of ObjectIntersectionOf | ObjectUnionOf | ObjectComplementOf | ObjectOneOf | ObjectSomeValuesFrom | ObjectAllValuesFrom | ObjectHasValue | ObjectHasSelf | ObjectMinCardinality | ObjectMaxCardinality | ObjectExactCardinality | DataSomeValuesFrom | DataAllValuesFrom | DataHasValue | DataMinCardinality | DataMaxCardinality | DataExactCardinality | Class

pyhornedowl.model.DataRange

An OWL2 Data Range

alias of DataIntersectionOf | DataUnionOf | DataComplementOf | DataOneOf | DatatypeRestriction | Datatype

pyhornedowl.model.Individual

An OWL2 Individual is either Named or Anonymous

alias of AnonymousIndividual | NamedIndividual

pyhornedowl.model.Literal

Non-axiom data structures associated with OWL

alias of SimpleLiteral | LanguageLiteral | DatatypeLiteral

pyhornedowl.model.ObjectPropertyExpression

A object property expression

alias of InverseObjectProperty | ObjectProperty

pyhornedowl.model.PropertyExpression

A property expression

alias of InverseObjectProperty | ObjectProperty | DataProperty | AnnotationProperty

pyhornedowl.model.SubObjectPropertyExpression

A sub-object property expression

alias of List[InverseObjectProperty | ObjectProperty] | InverseObjectProperty | ObjectProperty