Conversion, parsing, serialization#
|
Converts value to object. |
|
Converts object to value. |
|
Parses stream into object. |
|
Serializes object to stream. |
Built-in converters#
|
Converts AST value to object. |
|
Converts object to AST value. |
|
Converts SPARQL value to object. |
|
Converts object to SPARQL value. |
|
Converts Z3 value to object. |
|
Converts object to Z3 value. |
Built-in parsers#
|
Parses JSON stream into object. |
|
Parses OWL Functional Syntax stream into object. |
Built-in serializers#
|
Serializes object to JSON stream. |
|
Serializes object to TPTP stream. |
|
Serializes object to ULKB stream. |