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`	BuiltInAtom(pred: IRIargs: typing.List[DArgument]
`Class`	A named class
`ClassAssertion`	A class assertion expression.
`ClassAtom`	ClassAtom(pred: ClassExpressionarg: IArgument
`DataAllValuesFrom`	DataAllValuesFrom(dp: DataPropertydr: DataRange
`DataComplementOf`	DataComplementOf(first: DataRange
`DataExactCardinality`	DataExactCardinality(n: intdp: DataPropertydr: DataRange
`DataHasValue`	DataHasValue(dp: DataPropertyl: Literal
`DataIntersectionOf`	DataIntersectionOf(first: typing.List[DataRange]
`DataMaxCardinality`	DataMaxCardinality(n: intdp: DataPropertydr: DataRange
`DataMinCardinality`	DataMinCardinality(n: intdp: DataPropertydr: DataRange
`DataOneOf`	DataOneOf(first: typing.List[Literal]
`DataProperty`	An OWL DataProperty is a relationship between part of an ontology and some concrete information.
`DataPropertyAssertion`	A data property assertion.
`DataPropertyAtom`	DataPropertyAtom(pred: DataPropertyargs: typing.Tuple[DArgument,DArgument]
`DataPropertyDomain`	The domain of a DataProperty.
`DataPropertyRange`	The range of a DataProperty.
`DataRangeAtom`	DataRangeAtom(pred: DataRangearg: DArgument
`DataSomeValuesFrom`	DataSomeValuesFrom(dp: DataPropertydr: DataRange
`DataUnionOf`	DataUnionOf(first: typing.List[DataRange]
`Datatype`	An OWL Datatype is a specific kind of data, such as an integer, string or so forth.
`DatatypeDefinition`	Definition of a datatype.
`DatatypeLiteral`	DatatypeLiteral(literal: strdatatype_iri: IRI
`DatatypeRestriction`	DatatypeRestriction(first: Datatypesecond: typing.List[FacetRestriction]
`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`	DifferentIndividualsAtom(first: IArgumentsecond: IArgument
`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`	InverseObjectProperty(first: ObjectProperty
`IrreflexiveObjectProperty`	The irreflexive characteristic
`LanguageLiteral`	LanguageLiteral(literal: strlang: str
`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`	ObjectAllValuesFrom(ope: ObjectPropertyExpressionbce: ClassExpression
`ObjectComplementOf`	ObjectComplementOf(first: ClassExpression
`ObjectExactCardinality`	ObjectExactCardinality(n: intope: ObjectPropertyExpressionbce: ClassExpression
`ObjectHasSelf`	ObjectHasSelf(first: ObjectPropertyExpression
`ObjectHasValue`	ObjectHasValue(ope: ObjectPropertyExpressioni: Individual
`ObjectIntersectionOf`	ObjectIntersectionOf(first: typing.List[ClassExpression]
`ObjectMaxCardinality`	ObjectMaxCardinality(n: intope: ObjectPropertyExpressionbce: ClassExpression
`ObjectMinCardinality`	ObjectMinCardinality(n: intope: ObjectPropertyExpressionbce: ClassExpression
`ObjectOneOf`	ObjectOneOf(first: typing.List[Individual]
`ObjectProperty`	An OWL ObjectProperty is a relationship between two individuals.
`ObjectPropertyAssertion`	An object property assertion.
`ObjectPropertyAtom`	ObjectPropertyAtom(pred: ObjectPropertyExpressionargs: typing.Tuple[IArgument,IArgument]
`ObjectPropertyDomain`	The domain of the object property.
`ObjectPropertyRange`	The range of the object property.
`ObjectSomeValuesFrom`	ObjectSomeValuesFrom(ope: ObjectPropertyExpressionbce: ClassExpression
`ObjectUnionOf`	ObjectUnionOf(first: typing.List[ClassExpression]
`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`	SameIndividualAtom(first: IArgumentsecond: IArgument
`SimpleLiteral`	SimpleLiteral(literal: str
`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