search

gavel-tool / python-gavel-owl

GNU Affero General Public License v3.0
3 stars 1 forks source link

fix reflexive object property #17

Closed sfluegel05 closed 6 months ago

sfluegel05 commented 6 months ago

closes issue #16

I tested this for the ontology 

Prefix: : <http://example.com/>

Ontology:

ObjectProperty: R
  Characteristics: Reflexive

The FOL translation of this is now satisfiable.

I also updated the unit test and the pom.xml (unit tests are now executed during mvn install)

Thanks to @b-gehrke for finding this issue!