Questions

[gsanou]

Hello,

Firstlty, i want to thank developper of this great tools, i'm phd student in international information system of immunogenetic (IMGT in France). I work in the creation of a KB - KG in this field. I create my ontologie first and use SWRL rule to handle complex statements, unfortunatly with my large A-box (with many datatype property), i cannot reason on my ontology. So i find your work, it's amazing. My question is too know if rulewerk support datatype properties and if it syntax include math buil-in function as SWRL ?
Sorry for my english,
Best,

[irina-dragoste]

Hello, apologies for the late reply. Unfortunately our translation from OWL to rules does not have support implemented for SWRL rules or OWL datatypes.

However, if datatypes can be treated as regular constants, I suggest encoding the ABox as regular Rulewerk facts, using Rulewerk rules instead of SWRL rules, and translate the remaining TBox into rules, either using rulewerk-owl (if the respected axioms are all supported), or manually.

Best,
Irina