owlapy.owlapi_dlsyntax

OWLAPI-based DL Syntax parser and renderer.

This module provides DL (Description Logic) syntax parsing and rendering using the OWLAPI Java library via JPype. It leverages OWLAPI’s DLSyntaxObjectRenderer and DLSyntaxParser to handle both OWL class expressions and OWL axioms in DL notation, and uses OWLAPIMapper to convert between owlapi Java objects and owlapy Python objects.

Usage example:

from owlapy.owlapi_dlsyntax import OWLAPIDLSyntaxParser, OWLAPIDLSyntaxRenderer

renderer = OWLAPIDLSyntaxRenderer()
parser = OWLAPIDLSyntaxParser(namespace="http://example.org/")

# Render an owlapy object to DL syntax string
dl_string = renderer.render(some_owlapy_class_expression)
dl_axiom_string = renderer.render(some_owlapy_axiom)

# Parse a DL syntax string to an owlapy object
ce = parser.parse_expression("∃ r.A ⊓ B")
axiom = parser.parse_axiom("A ⊑ ∃ r.B")

Classes

OWLAPIDLSyntaxRenderer	DL Syntax renderer backed by OWLAPI's DLSyntaxObjectRenderer.
OWLAPIDLSyntaxParser	DL Syntax parser backed by OWLAPI's DLSyntaxParser.

Module Contents

class owlapy.owlapi_dlsyntax.OWLAPIDLSyntaxRenderer

DL Syntax renderer backed by OWLAPI’s DLSyntaxObjectRenderer.

Renders owlapy OWL objects (class expressions and axioms) into Description Logic syntax strings by first mapping them to OWLAPI Java objects, then delegating to the OWLAPI renderer.

Examples

>>> from owlapy.owlapi_dlsyntax import OWLAPIDLSyntaxRenderer
>>> from owlapy.class_expression import OWLClass, OWLObjectSomeValuesFrom
>>> from owlapy.owl_property import OWLObjectProperty
>>> from owlapy.iri import IRI
>>> renderer = OWLAPIDLSyntaxRenderer()
>>> A = OWLClass(IRI.create("http://example.org/", "A"))
>>> r = OWLObjectProperty(IRI.create("http://example.org/", "r"))
>>> expr = OWLObjectSomeValuesFrom(r, A)
>>> renderer.render(expr)
'∃ r.A'

render(obj: owlapy.owl_object.OWLObject) → str

Render an owlapy OWL object to a DL syntax string.

Parameters:

obj – An owlapy OWL object — can be an OWLClassExpression, OWLAxiom, or any other OWLObject supported by the OWLAPI DL renderer.

Returns:

The DL syntax string representation.

Raises:

NotImplementedError – If the object type is not supported by the mapper.

class owlapy.owlapi_dlsyntax.OWLAPIDLSyntaxParser(namespace: str | None = None)

DL Syntax parser backed by OWLAPI’s DLSyntaxParser.

Parses DL syntax strings into owlapy OWL objects (class expressions and axioms) by delegating to the OWLAPI Java parser, then mapping the result back using OWLAPIMapper.

Parameters:

namespace – Default namespace for resolving unqualified names. For example "http://example.org/" will resolve A to <http://example.org/#A>. Note that OWLAPI’s DL parser appends # between the namespace and local name.

Examples

>>> from owlapy.owlapi_dlsyntax import OWLAPIDLSyntaxParser
>>> parser = OWLAPIDLSyntaxParser(namespace="http://example.org/")
>>> ce = parser.parse_expression("∃ r.A ⊓ B")
>>> axiom = parser.parse_axiom("A ⊑ ∃ r.B")

property namespace: str | None

The default namespace used for resolving unqualified names.

parse_expression(expression_str: str) → owlapy.class_expression.OWLClassExpression

Parse a DL syntax string into an owlapy OWLClassExpression.

Parameters:

expression_str – DL syntax string representing a class expression. Examples: "A", "∃ r.A ⊓ B", "¬A ⊔ (∀ r.B)".

Returns:

The corresponding owlapy OWLClassExpression.

Raises:

Exception – If the string cannot be parsed as a valid DL class expression (wraps OWLAPI’s ParseException).

parse_axiom(axiom_str: str) → owlapy.owl_axiom.OWLAxiom

Parse a DL syntax string into an owlapy OWLAxiom.

Parameters:

axiom_str – DL syntax string representing an axiom. Examples: "A ⊑ ∃ r.B" (subclass), "A ≡ B ⊓ C" (equivalent classes).

Returns:

The corresponding owlapy OWLAxiom.

Raises:

Exception – If the string cannot be parsed as a valid DL axiom (wraps OWLAPI’s ParseException).

parse_axioms(axioms_str: str) → List[owlapy.owl_axiom.OWLAxiom]

Parse a DL syntax string containing multiple axioms.

The OWLAPI DLSyntaxParser.parseAxioms() expects axioms to be newline-separated.

Parameters:

axioms_str – DL syntax string with multiple axioms separated by newlines.

Returns:

A list of owlapy OWLAxiom objects.

Raises:

Exception – If any axiom cannot be parsed (wraps OWLAPI’s ParseException).