Index

A

add_axiom() (pyhornedowl.PyIndexedOntology method) add_component() (pyhornedowl.PyIndexedOntology method) add_default_prefix_names() (pyhornedowl.PrefixMapping method) add_prefix() (pyhornedowl.PrefixMapping method) add_prefix_mapping() (pyhornedowl.PyIndexedOntology method) AnnotatedComponent (class in pyhornedowl.model) Annotation (class in pyhornedowl.model) annotation_property() (pyhornedowl.PyIndexedOntology method) AnnotationAssertion (class in pyhornedowl.model)

AnnotationProperty (class in pyhornedowl.model) AnnotationPropertyDomain (class in pyhornedowl.model) AnnotationPropertyRange (class in pyhornedowl.model) AnnotationSubject (in module pyhornedowl.model) AnnotationValue (in module pyhornedowl.model) anonymous_individual() (pyhornedowl.PyIndexedOntology method) AnonymousIndividual (class in pyhornedowl.model) AsymmetricObjectProperty (class in pyhornedowl.model) Atom (in module pyhornedowl.model)

B

build_component_index() (pyhornedowl.PyIndexedOntology method) build_indexes() (pyhornedowl.PyIndexedOntology method)

build_iri_index() (pyhornedowl.PyIndexedOntology method) BuiltInAtom (class in pyhornedowl.model)

C

check_profile() (in module pyhornedowl.profile) Class (class in pyhornedowl.model) class_() (pyhornedowl.PyIndexedOntology method) ClassAssertion (class in pyhornedowl.model) ClassAtom (class in pyhornedowl.model) ClassExpression (in module pyhornedowl.model)

clazz() (pyhornedowl.PyIndexedOntology method) Component (in module pyhornedowl.model) conformant_profiles() (in module pyhornedowl.profile) create_reasoner() (in module pyhornedowl.reasoning) create_structural_reasoner() (in module pyhornedowl.reasoning) curie() (pyhornedowl.PyIndexedOntology method)

D

DArgument (in module pyhornedowl.model) data_property() (pyhornedowl.PyIndexedOntology method) DataAllValuesFrom (class in pyhornedowl.model) DataComplementOf (class in pyhornedowl.model) DataExactCardinality (class in pyhornedowl.model) DataHasValue (class in pyhornedowl.model) DataIntersectionOf (class in pyhornedowl.model) DataMaxCardinality (class in pyhornedowl.model) DataMinCardinality (class in pyhornedowl.model) DataOneOf (class in pyhornedowl.model) DataProperty (class in pyhornedowl.model) DataPropertyAssertion (class in pyhornedowl.model) DataPropertyAtom (class in pyhornedowl.model) DataPropertyDomain (class in pyhornedowl.model) DataPropertyRange (class in pyhornedowl.model) DataRange (in module pyhornedowl.model) DataRangeAtom (class in pyhornedowl.model) DataSomeValuesFrom (class in pyhornedowl.model) Datatype (class in pyhornedowl.model) DatatypeDefinition (class in pyhornedowl.model)

DatatypeLiteral (class in pyhornedowl.model) DatatypeRestriction (class in pyhornedowl.model) DataUnionOf (class in pyhornedowl.model) declare_annotation_property() (pyhornedowl.PyIndexedOntology method) declare_class() (pyhornedowl.PyIndexedOntology method) declare_data_property() (pyhornedowl.PyIndexedOntology method) declare_individual() (pyhornedowl.PyIndexedOntology method) declare_object_property() (pyhornedowl.PyIndexedOntology method) DeclareAnnotationProperty (class in pyhornedowl.model) DeclareClass (class in pyhornedowl.model) DeclareDataProperty (class in pyhornedowl.model) DeclareDatatype (class in pyhornedowl.model) DeclareNamedIndividual (class in pyhornedowl.model) DeclareObjectProperty (class in pyhornedowl.model) DifferentIndividuals (class in pyhornedowl.model) DifferentIndividualsAtom (class in pyhornedowl.model) DisjointClasses (class in pyhornedowl.model) DisjointDataProperties (class in pyhornedowl.model) DisjointObjectProperties (class in pyhornedowl.model) DisjointUnion (class in pyhornedowl.model) DocIRI (class in pyhornedowl.model)

E

EquivalentClasses (class in pyhornedowl.model) EquivalentDataProperties (class in pyhornedowl.model) EquivalentObjectProperties (class in pyhornedowl.model)

exact() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method) expand_curie() (pyhornedowl.PrefixMapping method)

F

Facet (class in pyhornedowl.model) FacetRestriction (class in pyhornedowl.model)

flush() (pyhornedowl.reasoning.PyReasoner method) FunctionalDataProperty (class in pyhornedowl.model) FunctionalObjectProperty (class in pyhornedowl.model)

G

get_ancestors() (pyhornedowl.PyIndexedOntology method) get_annotation() (pyhornedowl.PyIndexedOntology method) get_annotation_properties() (pyhornedowl.PyIndexedOntology method) get_annotations() (pyhornedowl.PyIndexedOntology method) get_axioms() (pyhornedowl.PyIndexedOntology method) get_axioms_for_iri() (pyhornedowl.PyIndexedOntology method) get_classes() (pyhornedowl.PyIndexedOntology method) get_components() (pyhornedowl.PyIndexedOntology method) get_components_for_iri() (pyhornedowl.PyIndexedOntology method) get_data_properties() (pyhornedowl.PyIndexedOntology method) get_datatypes() (pyhornedowl.PyIndexedOntology method) get_descendants() (pyhornedowl.PyIndexedOntology method) get_disjoint_classes() (pyhornedowl.reasoning.PyReasoner method) get_equivalent_classes() (pyhornedowl.reasoning.PyReasoner method)

get_id_for_iri() (pyhornedowl.PyIndexedOntology method) get_iri() (pyhornedowl.PyIndexedOntology method) get_iri_for_id() (pyhornedowl.PyIndexedOntology method) get_iri_for_label() (pyhornedowl.PyIndexedOntology method) get_name() (pyhornedowl.reasoning.PyReasoner method) get_named_individuals() (pyhornedowl.PyIndexedOntology method) get_object_properties() (pyhornedowl.PyIndexedOntology method) get_root_classes() (pyhornedowl.PyIndexedOntology method) get_subclasses() (pyhornedowl.PyIndexedOntology method) (pyhornedowl.reasoning.PyReasoner method) get_superclasses() (pyhornedowl.PyIndexedOntology method) (pyhornedowl.reasoning.PyReasoner method) get_unsatisfiable_classes() (pyhornedowl.reasoning.PyReasoner method) get_version() (pyhornedowl.reasoning.PyReasoner method) get_version_iri() (pyhornedowl.PyIndexedOntology method)

H

has_self() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method)

has_value() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method) HasKey (class in pyhornedowl.model)

I

IArgument (in module pyhornedowl.model) Import (class in pyhornedowl.model) IndexCreationStrategy (class in pyhornedowl) Individual (in module pyhornedowl.model) inferred_axioms() (pyhornedowl.reasoning.PyReasoner method) InverseFunctionalObjectProperty (class in pyhornedowl.model) InverseObjectProperties (class in pyhornedowl.model)

InverseObjectProperty (class in pyhornedowl.model) IRI (class in pyhornedowl.model) iri() (pyhornedowl.PyIndexedOntology method) IRIParam (in module pyhornedowl.model) IrreflexiveObjectProperty (class in pyhornedowl.model) is_consistent() (pyhornedowl.reasoning.PyReasoner method) is_entailed() (pyhornedowl.reasoning.PyReasoner method) is_satifisable() (pyhornedowl.reasoning.PyReasoner method)

L

LanguageLiteral (class in pyhornedowl.model)

Literal (in module pyhornedowl.model)

M

max() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method)

min() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method)

N

named_individual() (pyhornedowl.PyIndexedOntology method) NamedIndividual (class in pyhornedowl.model)

NegativeDataPropertyAssertion (class in pyhornedowl.model) NegativeObjectPropertyAssertion (class in pyhornedowl.model)

O

object_property() (pyhornedowl.PyIndexedOntology method) ObjectAllValuesFrom (class in pyhornedowl.model) ObjectComplementOf (class in pyhornedowl.model) ObjectExactCardinality (class in pyhornedowl.model) ObjectHasSelf (class in pyhornedowl.model) ObjectHasValue (class in pyhornedowl.model) ObjectIntersectionOf (class in pyhornedowl.model) ObjectMaxCardinality (class in pyhornedowl.model) ObjectMinCardinality (class in pyhornedowl.model) ObjectOneOf (class in pyhornedowl.model) ObjectProperty (class in pyhornedowl.model) ObjectPropertyAssertion (class in pyhornedowl.model)

ObjectPropertyAtom (class in pyhornedowl.model) ObjectPropertyDomain (class in pyhornedowl.model) ObjectPropertyExpression (in module pyhornedowl.model) ObjectPropertyRange (class in pyhornedowl.model) ObjectSomeValuesFrom (class in pyhornedowl.model) ObjectUnionOf (class in pyhornedowl.model) only() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method) OntologyAnnotation (class in pyhornedowl.model) OntologyID (class in pyhornedowl.model) open_ontology() (in module pyhornedowl) open_ontology_from_file() (in module pyhornedowl) open_ontology_from_string() (in module pyhornedowl)

P

parse() (pyhornedowl.model.IRI class method) PrefixMapping (class in pyhornedowl) Profile (class in pyhornedowl.profile)

ProfileReport (class in pyhornedowl.profile) PropertyExpression (in module pyhornedowl.model) PyIndexedOntology (class in pyhornedowl) PyReasoner (class in pyhornedowl.reasoning)

R

ReflexiveObjectProperty (class in pyhornedowl.model) remove_axiom() (pyhornedowl.PyIndexedOntology method)

remove_component() (pyhornedowl.PyIndexedOntology method) remove_prefix() (pyhornedowl.PrefixMapping method) Rule (class in pyhornedowl.model)

S

SameIndividual (class in pyhornedowl.model) SameIndividualAtom (class in pyhornedowl.model) save_to_file() (pyhornedowl.PyIndexedOntology method) save_to_string() (pyhornedowl.PyIndexedOntology method) serialize() (pyhornedowl.model.AnnotatedComponent method) (pyhornedowl.model.Annotation method) (pyhornedowl.model.AnnotationAssertion method) (pyhornedowl.model.AnnotationProperty method) (pyhornedowl.model.AnnotationPropertyDomain method) (pyhornedowl.model.AnnotationPropertyRange method) (pyhornedowl.model.AnonymousIndividual method) (pyhornedowl.model.AsymmetricObjectProperty method) (pyhornedowl.model.BuiltInAtom method) (pyhornedowl.model.Class method) (pyhornedowl.model.ClassAssertion method) (pyhornedowl.model.ClassAtom method) (pyhornedowl.model.DataAllValuesFrom method) (pyhornedowl.model.DataComplementOf method) (pyhornedowl.model.DataExactCardinality method) (pyhornedowl.model.DataHasValue method) (pyhornedowl.model.DataIntersectionOf method) (pyhornedowl.model.DataMaxCardinality method) (pyhornedowl.model.DataMinCardinality method) (pyhornedowl.model.DataOneOf method) (pyhornedowl.model.DataProperty method) (pyhornedowl.model.DataPropertyAssertion method) (pyhornedowl.model.DataPropertyAtom method) (pyhornedowl.model.DataPropertyDomain method) (pyhornedowl.model.DataPropertyRange method) (pyhornedowl.model.DataRangeAtom method) (pyhornedowl.model.DataSomeValuesFrom method) (pyhornedowl.model.Datatype method) (pyhornedowl.model.DatatypeDefinition method) (pyhornedowl.model.DatatypeLiteral method) (pyhornedowl.model.DatatypeRestriction method) (pyhornedowl.model.DataUnionOf method) (pyhornedowl.model.DeclareAnnotationProperty method) (pyhornedowl.model.DeclareClass method) (pyhornedowl.model.DeclareDataProperty method) (pyhornedowl.model.DeclareDatatype method) (pyhornedowl.model.DeclareNamedIndividual method) (pyhornedowl.model.DeclareObjectProperty method) (pyhornedowl.model.DifferentIndividuals method) (pyhornedowl.model.DifferentIndividualsAtom method) (pyhornedowl.model.DisjointClasses method) (pyhornedowl.model.DisjointDataProperties method) (pyhornedowl.model.DisjointObjectProperties method) (pyhornedowl.model.DisjointUnion method) (pyhornedowl.model.DocIRI method) (pyhornedowl.model.EquivalentClasses method) (pyhornedowl.model.EquivalentDataProperties method) (pyhornedowl.model.EquivalentObjectProperties method) (pyhornedowl.model.Facet method) (pyhornedowl.model.FacetRestriction method) (pyhornedowl.model.FunctionalDataProperty method) (pyhornedowl.model.FunctionalObjectProperty method) (pyhornedowl.model.HasKey method) (pyhornedowl.model.Import method) (pyhornedowl.model.InverseFunctionalObjectProperty method) (pyhornedowl.model.InverseObjectProperties method) (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.IRI method) (pyhornedowl.model.IrreflexiveObjectProperty method) (pyhornedowl.model.LanguageLiteral method) (pyhornedowl.model.NamedIndividual method) (pyhornedowl.model.NegativeDataPropertyAssertion method) (pyhornedowl.model.NegativeObjectPropertyAssertion method) (pyhornedowl.model.ObjectAllValuesFrom method) (pyhornedowl.model.ObjectComplementOf method) (pyhornedowl.model.ObjectExactCardinality method) (pyhornedowl.model.ObjectHasSelf method) (pyhornedowl.model.ObjectHasValue method) (pyhornedowl.model.ObjectIntersectionOf method) (pyhornedowl.model.ObjectMaxCardinality method) (pyhornedowl.model.ObjectMinCardinality method) (pyhornedowl.model.ObjectOneOf method) (pyhornedowl.model.ObjectProperty method) (pyhornedowl.model.ObjectPropertyAssertion method) (pyhornedowl.model.ObjectPropertyAtom method) (pyhornedowl.model.ObjectPropertyDomain method) (pyhornedowl.model.ObjectPropertyRange method) (pyhornedowl.model.ObjectSomeValuesFrom method) (pyhornedowl.model.ObjectUnionOf method) (pyhornedowl.model.OntologyAnnotation method) (pyhornedowl.model.OntologyID method) (pyhornedowl.model.ReflexiveObjectProperty method) (pyhornedowl.model.Rule method) (pyhornedowl.model.SameIndividual method) (pyhornedowl.model.SameIndividualAtom method) (pyhornedowl.model.SimpleLiteral method) (pyhornedowl.model.SubAnnotationPropertyOf method) (pyhornedowl.model.SubClassOf method) (pyhornedowl.model.SubDataPropertyOf method) (pyhornedowl.model.SubObjectPropertyOf method) (pyhornedowl.model.SymmetricObjectProperty method) (pyhornedowl.model.TransitiveObjectProperty method) (pyhornedowl.model.Variable method)

set_label() (pyhornedowl.PyIndexedOntology method) shrink_iri() (pyhornedowl.PrefixMapping method) SimpleLiteral (class in pyhornedowl.model) some() (pyhornedowl.model.InverseObjectProperty method) (pyhornedowl.model.ObjectProperty method) SubAnnotationPropertyOf (class in pyhornedowl.model) SubClassOf (class in pyhornedowl.model) SubDataPropertyOf (class in pyhornedowl.model) SubObjectPropertyExpression (in module pyhornedowl.model) SubObjectPropertyOf (class in pyhornedowl.model) SymmetricObjectProperty (class in pyhornedowl.model)

T

TransitiveObjectProperty (class in pyhornedowl.model)

U

UseOfBuiltinDatatypeInDatatypeDefinition (class in pyhornedowl.profile) UseOfClassExpressionWithTooFewOperands (class in pyhornedowl.profile) UseOfDataOneOfWithMultipleLiterals (class in pyhornedowl.profile) UseOfDataRangeWithTooFewOperands (class in pyhornedowl.profile) UseOfIllegalAxiomKind (class in pyhornedowl.profile) UseOfIllegalClassExpression (class in pyhornedowl.profile) UseOfIllegalPunning (class in pyhornedowl.profile) UseOfNonAtomicClassExpression (class in pyhornedowl.profile) UseOfNonSimplePropertyInAsymmetricPropertyAxiom (class in pyhornedowl.profile) UseOfNonSimplePropertyInCardinalityRestriction (class in pyhornedowl.profile) UseOfNonSimplePropertyInDisjointPropertiesAxiom (class in pyhornedowl.profile) UseOfNonSimplePropertyInFunctionalPropertyAxiom (class in pyhornedowl.profile)

UseOfNonSimplePropertyInInverseFunctionalPropertyAxiom (class in pyhornedowl.profile) UseOfNonSimplePropertyInIrreflexivePropertyAxiom (class in pyhornedowl.profile) UseOfNonSimplePropertyInObjectHasSelf (class in pyhornedowl.profile) UseOfNonSubClassExpression (class in pyhornedowl.profile) UseOfNonSuperClassExpression (class in pyhornedowl.profile) UseOfObjectPropertyInverse (class in pyhornedowl.profile) UseOfPropertyInChainCausingCycle (class in pyhornedowl.profile) UseOfReservedVocabulary (class in pyhornedowl.profile) UseOfUndeclaredAnnotationProperty (class in pyhornedowl.profile) UseOfUndeclaredClass (class in pyhornedowl.profile) UseOfUndeclaredDataProperty (class in pyhornedowl.profile) UseOfUndeclaredDatatype (class in pyhornedowl.profile) UseOfUndeclaredObjectProperty (class in pyhornedowl.profile)

V

Variable (class in pyhornedowl.model)

Violation (class in pyhornedowl.profile)