-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ignore invalid axioms: property chains with one property #19
Comments
Your code is correct, this is either due to a particular structure in the ontology or a reasoner bug. I'll debug the issue once I get a chance, thanks for providing an example. |
For the record, if the issue is in the ontology I suspect it might be a role chain with only one property in it. |
The bug cannot be reproduced in the latest trunk. I have tried running profile check with the OWLAPI version required with JFact 5.0.1 and got a null pointer exception. With the latest trunk, that's not repeatable either. Looks like the bugs this ontology triggered have been fixed in more recent versions. Incidentally the ontology has violations of the OWL2 DL profile - you might want to check if it's worth fixing them.
|
Uhm first diagnosis incorrect - I had the wrong branch checked out. |
The construct that is tripping up the reasoner is this one:
The first chain is invalid. JFact should handle this invalid axiom more gracefully. |
Failure fixed in 4.0.5 and 5.0.3 |
Thank you so much for your help in diagnosing my issue and improving error reporting! |
I've been trying to reason over an ontology with JFact++. It works fine in jfact 1.2.4 from Maven, but when I try to upgrade to either 4.0.3 or 5.0.1, the ontology can still be loaded correctly:
But reasoning fails with an odd exception:
The reference to TestCommand.java:118 corresponds to line 124 in the Github version, where I'm trying to
getInstances
from the reasoner.Any idea what I'm doing wrong? Thanks for your attention!
The text was updated successfully, but these errors were encountered: