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	Documentation not available.
Class	An OWL Class is a group of individuals.
ClassAssertion	A class assertion expression.
ClassAtom	Documentation not available.
DataAllValuesFrom	A universal relationship.
DataComplementOf	Documentation not available.
DataExactCardinality	An exact cardinality restriction
DataHasValue	A has-value relationship.
DataIntersectionOf	Documentation not available.
DataMaxCardinality	A max cardinality restriction
DataMinCardinality	A minimum cardinality restriction
DataOneOf	Documentation not available.
DataProperty	An OWL DataProperty is a relationship between part of an ontology and some concrete information.
DataPropertyAssertion	A data property assertion.
DataPropertyAtom	Documentation not available.
DataPropertyDomain	The domain of a DataProperty.
DataPropertyRange	The range of a DataProperty.
DataRangeAtom	Documentation not available.
DataSomeValuesFrom	An existential relationship.
DataUnionOf	Documentation not available.
Datatype	An OWL Datatype is a specific kind of data, such as an integer, string or so forth.
DatatypeDefinition	Definition of a datatype.
DatatypeLiteral	Documentation not available.
DatatypeRestriction	Documentation not available.
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	Documentation not available.
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	Documentation not available.
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	Documentation not available.
IrreflexiveObjectProperty	The irreflexive characteristic
LanguageLiteral	Documentation not available.
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	Documentation not available.
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	Documentation not available.
SimpleLiteral	Documentation not available.
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

type pyhornedowl.model.AnnotationSubject = IRI | AnonymousIndividual

type pyhornedowl.model.AnnotationValue = SimpleLiteral | LanguageLiteral | DatatypeLiteral | IRI | AnonymousIndividual

type pyhornedowl.model.Atom = BuiltInAtom | ClassAtom | DataPropertyAtom | DataRangeAtom | DifferentIndividualsAtom | ObjectPropertyAtom | SameIndividualAtom

type pyhornedowl.model.ClassExpression = Class | ObjectIntersectionOf | ObjectUnionOf | ObjectComplementOf | ObjectOneOf | ObjectSomeValuesFrom | ObjectAllValuesFrom | ObjectHasValue | ObjectHasSelf | ObjectMinCardinality | ObjectMaxCardinality | ObjectExactCardinality | DataSomeValuesFrom | DataAllValuesFrom | DataHasValue | DataMinCardinality | DataMaxCardinality | DataExactCardinality

type pyhornedowl.model.Component = OntologyID | DocIRI | OntologyAnnotation | Import | DeclareClass | DeclareObjectProperty | DeclareAnnotationProperty | DeclareDataProperty | DeclareNamedIndividual | DeclareDatatype | SubClassOf | EquivalentClasses | DisjointClasses | DisjointUnion | SubObjectPropertyOf | EquivalentObjectProperties | DisjointObjectProperties | InverseObjectProperties | ObjectPropertyDomain | ObjectPropertyRange | FunctionalObjectProperty | InverseFunctionalObjectProperty | ReflexiveObjectProperty | IrreflexiveObjectProperty | SymmetricObjectProperty | AsymmetricObjectProperty | TransitiveObjectProperty | SubDataPropertyOf | EquivalentDataProperties | DisjointDataProperties | DataPropertyDomain | DataPropertyRange | FunctionalDataProperty | DatatypeDefinition | HasKey | SameIndividual | DifferentIndividuals | ClassAssertion | ObjectPropertyAssertion | NegativeObjectPropertyAssertion | DataPropertyAssertion | NegativeDataPropertyAssertion | AnnotationAssertion | SubAnnotationPropertyOf | AnnotationPropertyDomain | AnnotationPropertyRange | Rule

type pyhornedowl.model.DArgument = SimpleLiteral | LanguageLiteral | DatatypeLiteral | Variable

type pyhornedowl.model.DataRange = Datatype | DataIntersectionOf | DataUnionOf | DataComplementOf | DataOneOf | DatatypeRestriction

type pyhornedowl.model.IArgument = AnonymousIndividual | NamedIndividual | Variable

type pyhornedowl.model.Individual = AnonymousIndividual | NamedIndividual

type pyhornedowl.model.IRIParam = IRI | str | Tuple[str, bool]

type pyhornedowl.model.Literal = SimpleLiteral | LanguageLiteral | DatatypeLiteral

type pyhornedowl.model.ObjectPropertyExpression = ObjectProperty | InverseObjectProperty

type pyhornedowl.model.PropertyExpression = ObjectProperty | InverseObjectProperty | DataProperty | AnnotationProperty

type pyhornedowl.model.SubObjectPropertyExpression = List[ObjectProperty | InverseObjectProperty] | ObjectProperty | InverseObjectProperty