owlcs / owlapi

OWL API main repository
813 stars 314 forks source link

DLSafeRule serialisation is non-deterministic #1100

Open matentzn opened 1 year ago

matentzn commented 1 year ago

OWLAPI: 4.5.24

The last OWLAPI versions are a game changer in terms of stable OWLAPI serialisations. I just noticed a tiny exceptions: DLSafeRule Body variables.

image

Example file: https://github.com/oborel/obo-relations/blob/master/src/ontology/ro-edit.owl

Just if an enthusiastic contributor is looking at these rules. :)