pyhornedowl.profile

Functions

`check_profile`	Checks `ontology` against a single profile and returns a `ProfileReport` with conformance and the violations found.
`conformant_profiles`	Returns every OWL 2 profile the ontology conforms to, in declaration order (OWL2DL, EL, QL, RL).

Classes

`Profile`	OWL 2 profiles
`ProfileReport`	The result of checking an ontology against one OWL 2 profile.
`UseOfBuiltinDatatypeInDatatypeDefinition`	A `DatatypeDefinition` whose subject is itself a built-in XSD/OWL 2 datatype -- `DatatypeDefinition` introduces a new datatype, it cannot redefine an existing built-in one.
`UseOfClassExpressionWithTooFewOperands`	`ObjectUnionOf`/`ObjectIntersectionOf` built with fewer than the two operands OWL 2 DL requires for these n-ary constructors.
`UseOfDataOneOfWithMultipleLiterals`	EL-specific: `DataOneOf` with more than one literal.
`UseOfDataRangeWithTooFewOperands`	`DataUnionOf`/`DataIntersectionOf` built with fewer than two operands.
`UseOfIllegalAxiomKind`	This whole axiom kind is not permitted in the profile, regardless of its content -- e.g. `FunctionalObjectProperty` in EL.
`UseOfIllegalClassExpression`	A class expression is not legal in OWL 2 DL at all, in any position.
`UseOfIllegalPunning`	`iri` is declared as more than one mutually-exclusive entity kind.
`UseOfNonAtomicClassExpression`	A class expression is not atomic where OWL 2 DL requires one to be.
`UseOfNonSimplePropertyInAsymmetricPropertyAxiom`	`AsymmetricObjectProperty` is given a composite (non-simple) object property.
`UseOfNonSimplePropertyInCardinalityRestriction`	An object-cardinality restriction is given a composite (non-simple) object property.
`UseOfNonSimplePropertyInDisjointPropertiesAxiom`	`DisjointObjectProperties` includes a composite (non-simple) object property.
`UseOfNonSimplePropertyInFunctionalPropertyAxiom`	`FunctionalObjectProperty` is given a composite (non-simple) object property.
`UseOfNonSimplePropertyInInverseFunctionalPropertyAxiom`	`InverseFunctionalObjectProperty` is given a composite (non-simple) object property.
`UseOfNonSimplePropertyInIrreflexivePropertyAxiom`	`IrreflexiveObjectProperty` is given a composite (non-simple) object property.
`UseOfNonSimplePropertyInObjectHasSelf`	`ObjectHasSelf` is given a composite (non-simple) object property.
`UseOfNonSubClassExpression`	`ce` is not legal in the profile's subclass-position grammar.
`UseOfNonSuperClassExpression`	`ce` is not legal in the profile's superclass-position grammar.
`UseOfObjectPropertyInverse`	EL-specific: object property inverses are not permitted at all.
`UseOfPropertyInChainCausingCycle`	A cycle in the role hierarchy's property-chain graph.
`UseOfReservedVocabulary`	A reserved `rdf:`/`rdfs:`/`owl:` structural vocabulary term is the subject of a `Declare*` axiom.
`UseOfUndeclaredAnnotationProperty`	`iri` is used as an annotation property without a `DeclareAnnotationProperty` axiom.
`UseOfUndeclaredClass`	`iri` is used as a class without a `DeclareClass` axiom.
`UseOfUndeclaredDataProperty`	`iri` is used as a data property without a `DeclareDataProperty` axiom.
`UseOfUndeclaredDatatype`	`iri` is used as a datatype without a `DeclareDatatype` axiom.
`UseOfUndeclaredObjectProperty`	`iri` is used as an object property without a `DeclareObjectProperty` axiom.
`Violation`	Base class for profile violations