| 4ffc423a7df8af7e7d7e563a15471da4505ddeb5 |
|
05-Mar-2015 |
ignazio <ignazio.palmisano@gmail.com> |
update owlapi to 3.5.1, update FaCT++ to 1.6.3.1 |
| 6fae3126c8544613bfd4933f6c573a3ce6c30ab1 |
|
13-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to FaCTpp-OWLAPI-3.4-v1.6.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17620 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d12fd2c08b10eb4b8348dae76b493f1056c2be57 |
|
29-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
library file updated for the new Fact++ version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15412 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2039ce74c7687baf25c0e868e71e3c62eed7ea79 |
|
28-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
library added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15377 cec4b9c1-7d33-0410-9eda-942365e851bb |