search

knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

Questions #190

Open gsanou opened 4 years ago

gsanou commented 4 years ago

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 commented 3 years ago

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