search

stardog-union / pellet

Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.
http://clarkparsia.com/pellet
Other
306 stars 151 forks source link

tentative update to OWLAPI 4 #9

Closed ignazio1977 closed 10 years ago

ignazio1977 commented 10 years ago

This is an update to OWLAPI version 4.0.0-alpha-SNAPSHOT. As the version suggests, this is not yet the definitive release. This pull request is mainly for comments and feedback.

ansell commented 10 years ago

I rebased your changes onto the current pellet/master and bumped the version to test with the latest owlapi-4.0.1-SNAPSHOT from git (f9b4711573663216f51050cb7077b0cbc86d9fe7) and some of the tests started to fail.

Failed tests: OWLAPIExplanationTest>AbstractExplanationTest.subPropertiesOfFunctionalDataProperty:569->AbstractExplanationTest.testExplanations:116->AbstractExplanationTest.testExplanations:127->testExplanations:200 Error in explanation, see the log file for details OWLAPIExplanationTest>AbstractExplanationTest.ruleBuiltinTest3:438->AbstractExplanationTest.testExplanations:116->AbstractExplanationTest.testExplanations:127->testExplanations:200 Error in explanation, see the log file for details OWLAPIExplanationTest>AbstractExplanationTest.subPropertiesOfFunctionalDataProperty:569->AbstractExplanationTest.testExplanations:116->AbstractExplanationTest.testExplanations:127->testExplanations:200 Error in explanation, see the log file for details OWLAPIExplanationTest>AbstractExplanationTest.ruleBuiltinTest3:438->AbstractExplanationTest.testExplanations:116->AbstractExplanationTest.testExplanations:127->testExplanations:200 Error in explanation, see the log file for details OWLAPIExplanationTest>AbstractExplanationTest.subPropertiesOfFunctionalDataProperty:569->AbstractExplanationTest.testExplanations:116->AbstractExplanationTest.testExplanations:127->testExplanations:200 Error in explanation, see the log file for details OWLAPIExplanationTest>AbstractExplanationTest.subPropertiesOfFunctionalDataProperty:569->AbstractExplanationTest.testExplanations:116->AbstractExplanationTest.testExplanations:127->testExplanations:200 Error in explanation, see the log file for details CLITests.classifyWithPersist:115 null

ignazio1977 commented 10 years ago

Cheers Peter, I'll investigate

ignazio1977 commented 10 years ago

I've replaced this pull request with an updated one where these tests pass.