owlapy.render.ManchesterOWLSyntaxOWLObjectRenderer¶

class owlapy.render.ManchesterOWLSyntaxOWLObjectRenderer(short_form_provider: Callable[[owlapy.model.OWLEntity], str] = <function _simple_short_form_provider>, no_render_thing=False)[source]¶

Bases: owlapy.io.OWLObjectRenderer

Manchester Syntax renderer for OWL Objects

Create a new Manchester Syntax renderer

Parameters:

short_form_provider – custom short form provider
no_render_thing – disable manchester rendering for Thing and Nothing

Methods

`render`	Render OWL Object to string
`set_short_form_provider`	Configure a short form provider that shortens the OWL objects during rendering

render(o: owlapy.model.OWLObject) → str[source]¶

render(o: owlapy.model.OWLClass) → str

render(p: owlapy.model.OWLPropertyExpression) → str

render(i: owlapy.model.OWLNamedIndividual) → str

render(e: owlapy.model.OWLObjectSomeValuesFrom) → str

render(e: owlapy.model.OWLObjectAllValuesFrom) → str

render(c: owlapy.model.OWLObjectUnionOf) → str

render(c: owlapy.model.OWLObjectIntersectionOf) → str

render(n: owlapy.model.OWLObjectComplementOf) → str

render(p: owlapy.model.OWLObjectInverseOf) → str

render(r: owlapy.model.OWLObjectMinCardinality) → str

render(r: owlapy.model.OWLObjectExactCardinality) → str

render(r: owlapy.model.OWLObjectMaxCardinality) → str

render(r: owlapy.model.OWLObjectHasSelf) → str

render(r: owlapy.model.OWLObjectHasValue)

render(r: owlapy.model.OWLObjectOneOf)

render(e: owlapy.model.OWLDataSomeValuesFrom) → str

render(e: owlapy.model.OWLDataAllValuesFrom) → str

render(r: owlapy.model.OWLFacetRestriction)

render(r: owlapy.model.OWLDatatypeRestriction)

render(r: owlapy.model.OWLDataHasValue)

render(r: owlapy.model.OWLDataMinCardinality) → str

render(r: owlapy.model.OWLDataExactCardinality) → str

render(r: owlapy.model.OWLDataMaxCardinality) → str

render(r: owlapy.model.OWLDataOneOf)

render(n: owlapy.model.OWLDataComplementOf) → str

render(c: owlapy.model.OWLDataUnionOf) → str

render(c: owlapy.model.OWLDataIntersectionOf) → str

render(t: owlapy.model.OWLDatatype)

render(t: owlapy.model.OWLLiteral) → str

Render OWL Object to string

Parameters:: o – OWL Object
Returns:: String rendition of OWL object

set_short_form_provider(short_form_provider: Callable[[owlapy.model.OWLEntity], str]) → None[source]¶

Configure a short form provider that shortens the OWL objects during rendering

Parameters:: short_form_provider – short form provider