owlapy.utils.signature

Signature extraction: the set of named entities referenced by an axiom or class expression/data range.

Classes

SignatureExtractor

Computes the signature of an axiom or class expression/data range: the set of named entities

Module Contents

class owlapy.utils.signature.SignatureExtractor[source]

Computes the signature of an axiom or class expression/data range: the set of named entities (OWLClass, OWLObjectProperty, OWLDataProperty, OWLNamedIndividual, OWLDatatype) that it references, collected recursively.

Mirrors the signature() method of OWLAPI’s OWLObject interface. OWLAnonymousIndividual is intentionally excluded (it is not an OWLEntity, per the OWL 2 specification). Likewise, a bare IRI (used as an annotation subject/value or as the domain/range of an annotation property axiom) contributes nothing to the signature unless it has been resolved to a concrete entity elsewhere in the expression.

Covers the full set of class expression/data range constructs plus all OWLAxiom subtypes, including property characteristics, sub-property (and property chain) axioms, has-key, disjoint union, datatype definition, (un)equal individuals and annotation axioms. See https://github.com/dice-group/owlapy/issues/231.

abstractmethod get_signature(o: owlapy.owl_object.OWLObject) → Set[owlapy.owl_object.OWLEntity][source]

Compute the signature of o.

Parameters:: o – An axiom, class expression, data range, property expression, individual or literal.
Returns:: The set of named entities referenced by o.