tobiaswjohn opened a new issue, #2151: URL: https://github.com/apache/jena/issues/2151
### Version 4.10 ### Feature As far as I see, no reasoner supports `owl:AllDisjointClasses` constructs (also implicitly mentioned in the [documentation](https://jena.apache.org/documentation/inference/index.html#validation)). E.g. for the following example (turtle syntax), the inferred model does not contain pairwise `owl:disjointWith` statements between the three classes (as one might expect). ``` [ rdf:type owl:AllDisjointClasses ; owl:members ( :A :B :C ) ] . ``` However, they are not produced. This leads (for me) to unintuitive behavior, as this information is then not used when I perform a validity check on the inferred model, whereas the standard `owl:disjointWith` is supported (at least with the "full" and "mini" reasoner). I work a lot with OWL ontologies created with Protege, which commonly creates `owl:AllDisjointClass` constructs, so i run into this issue rather often. Is there a particular reason why this construct is not supported? If not, I think this would be a very helpful feature. PS: as far as I can see, this also applies to `AllDisjointProperties` ### Are you interested in contributing a solution yourself? No -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
