owlapy

Subpackages

Submodules

Package Contents

Functions

owl_expression_to_dl(→ str)

owl_expression_to_manchester(→ str)

dl_to_owl_expression(dl_expression, namespace)

manchester_to_owl_expression(manchester_expression, ...)

owl_expression_to_sparql(→ str)

Convert an OWL Class Expression (https://www.w3.org/TR/owl2-syntax/#Class_Expressions) into a SPARQL query

Attributes

__version__

owlapy.owl_expression_to_dl(o: owlapy.owl_object.OWLObject) → str[source]
owlapy.owl_expression_to_manchester(o: owlapy.owl_object.OWLObject) → str[source]
owlapy.dl_to_owl_expression(dl_expression: str, namespace: str)[source]
owlapy.manchester_to_owl_expression(manchester_expression: str, namespace: str)[source]
owlapy.owl_expression_to_sparql(expression: owlapy.class_expression.OWLClassExpression = None, root_variable: str = '?x', values: Iterable[owlapy.owl_individual.OWLNamedIndividual] | None = None, for_all_de_morgan: bool = True, named_individuals: bool = False) → str[source]

Convert an OWL Class Expression (https://www.w3.org/TR/owl2-syntax/#Class_Expressions) into a SPARQL query root variable: the variable that will be projected expression: the class expression to be transformed to a SPARQL query

values: positive or negative examples from a class expression problem. Unclear for_all_de_morgan: if set to True, the SPARQL mapping will use the mapping containing the nested FILTER NOT EXISTS patterns for the universal quantifier (¬(∃r.¬C)), instead of the counting query named_individuals: if set to True, the generated SPARQL query will return only entities that are instances of owl:NamedIndividual

owlapy.__version__ = '1.0.2'