search

knowsys / rulewerk

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

[owlapi] handle owl:BottomObjectProperty #213

Open irina-dragoste opened 3 years ago

irina-dragoste commented 3 years ago

should we handle the special property owl:BottomObjectProperty when transforming axioms to rules?