pyhornedowl.model
Classes
An |
|
Data associated with a part of the ontology. |
|
An annotation assertion axiom |
|
An OWL AnnotationProperty is a relationship between a part of an ontology and an |
|
Assert the domain of an |
|
Assert the range of an |
|
An OWL2 Anonymous Individual |
|
The asymmetric characteristic. |
|
An OWL Class is a group of individuals. |
|
A class assertion expression. |
|
A universal relationship. |
|
An exact cardinality restriction The class of individuals have exactly |
|
A has-value relationship. |
|
A max cardinality restriction The class of individuals have at most |
|
A minimum cardinality restriction The class of individuals have at least |
|
An OWL DataProperty is a relationship between part of an ontology and some concrete information. |
|
A data property assertion. |
|
The domain of a DataProperty. |
|
The range of a DataProperty. |
|
An existential relationship. |
|
An OWL Datatype is a specific kind of data, such as an integer, string or so forth. |
|
Definition of a datatype. |
|
Declares that an IRI represents an AnnotationProperty in the Ontology. |
|
Declares that an IRI represents a Class in the Ontology |
|
Declares that an IRI represents a DataProperty in the ontology. |
|
Declare that an IRI represents a Datatype in the ontology. |
|
Declare that an IRI represents a NamedIndividual in the ontology. |
|
Declares that an IRI represents an ObjectProperty in the Ontology. |
|
A different individuals expression. |
|
A disjoint relationship between two |
|
A disjoint data property relationship. |
|
A disjoint object property relationship. |
|
A disjoint union expression between one |
|
The IRI from which the ontology was actually loaded. |
|
An equivalence relationship between two |
|
An equivalent data property relationship. |
|
An equivalent object properties relationship. |
|
An OWL2 FacetRestriction |
|
The functional DataProperty characteristic. |
|
The functional characteristic. |
|
A key |
|
Declares that an IRI is an import of this ontology |
|
The inverse functional characteristic |
|
An inverse relationship between two object properties. |
|
The irreflexive characteristic |
|
An OWL NamedIndividual is an individual in the ontology which is specifically known about and can be identified by name. |
|
A negative data property assertion. |
|
A negative object property assertion. |
|
A universal relationship |
|
The boolean not |
|
An exact cardinality relationship between individuals |
|
The class of individuals which have a relation to themselves |
|
An existential relationship to an individual |
|
The boolean and |
|
A max cardinality relationship between individuals |
|
A min cardinality relationship between individuals |
|
An enumeration of individuals |
|
An OWL ObjectProperty is a relationship between two individuals. |
|
An object property assertion. |
|
The domain of the object property. |
|
The range of the object property. |
|
An existential relationship |
|
The boolean or |
|
An annotation associated with this Ontology |
|
The Ontology ID. |
|
The reflexive characteristic |
|
A SWRL Rule |
|
A same individual expression. |
|
An sub-property assertion for annotation properties. |
|
A subclass relationship between two |
|
A sub data property relationship. |
|
A sub property relationship between two object properties. |
|
The symmetric characteristic |
|
A transitive relationship between two object properties. |
|
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