search

opencaesar / oml

Ontological Modeling Language (OML)
https://opencaesar.github.io/oml/
Apache License 2.0
23 stars 4 forks source link

RelationRestrictionAxiom validation should check the range, not the domain #62

Closed NicolasRouquette closed 3 years ago

NicolasRouquette commented 3 years ago

Incorrect assessment. The validation rule is fine as is.