Conversion, parsing, serialization#

Object.convert_from(value[, format])

Converts value to object.

Object.convert_to([format])

Converts object to value.

Object.parse([from_, path, format, encoding])

Parses stream into object.

Object.serialize([to, path, format, encoding])

Serializes object to stream.

Built-in converters#

Object.from_ast(value, **kwargs)

Converts AST value to object.

Object.to_ast(**kwargs)

Converts object to AST value.

Object.from_sparql(value, **kwargs)

Converts SPARQL value to object.

Object.to_sparql(**kwargs)

Converts object to SPARQL value.

Object.from_z3(value, **kwargs)

Converts Z3 value to object.

Object.to_z3(**kwargs)

Converts object to Z3 value.

Built-in parsers#

Object.from_json([from_, path, encoding])

Parses JSON stream into object.

Object.from_ofn([from_, path, encoding])

Parses OWL Functional Syntax stream into object.

Built-in serializers#

Object.to_json([to, encoding])

Serializes object to JSON stream.

Object.to_tptp([to, encoding])

Serializes object to TPTP stream.

Object.to_ulkb([to, encoding])

Serializes object to ULKB stream.