The code is in active development and subject to frequent changes.
Feedback and PRs are welcome! There is always more to do and things to improve.
wiring reads OWL axioms serialised as thick triples and generates OWL Functional Notation S-expressions (OFN S-expression).
For example, the OWL axiom
obo:OBI_1110023 equivalentTo obo:RO_0000087 some obo:OBI_1110082
is encoded by the thick triple
{"object":{"owl:onProperty":[{"object":"obo:RO_0000087"}],"owl:someValuesFrom":[{"object":"obo:OBI_1110082"}],"rdf:type":[{"object":"owl:Restriction"}]},"predicate":"owl:equivalentClass","subject":"obo:OBI_1110023"}
which can be translated with wiring into the OFN S-expression
["EquivalentClasses","obo:OBI_1110023",["ObjectSomeValuesFrom","obo:RO_0000087","obo:OBI_1110082"]].
An OFN S-expression can be processed in wiring, e.g. by replacing named entities with their corresponding labels: ["EquivalentClasses","'immunogen@en'",["ObjectSomeValuesFrom","'has role@en'","obo:OBI_1110082"]]. Such (processed) OFN S-expressions can be serialised into Manchester Syntax: EquivalentClasses: 'immunogen@en', 'has role@en' some obo:OBI_1110082.
The main.rs file contains example code showcasing the basic functionality of wiring by translating thick triples into OFN S-expressions and serialising them in Manchester Syntax.
wiringcurrently only supports class expression axioms (excluding data types) and should be extended to all of OWL