search

gtfierro / reasonable

OWL 2 Reasoner built on DataFrog
BSD 3-Clause "New" or "Revised" License
67 stars 4 forks source link

Fix owl:FunctionalProperty behavior #14

Closed gtfierro closed 1 year ago

gtfierro commented 1 year ago

Now checks for equality of the "independent" variable