| 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 |
| 3a765b2bdacaabfa6d3d9d6c2b7995342ef0e5d1 |
|
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@15411 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 404d796c0e4a9812958a45174fd943f1602b574a |
|
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@15376 cec4b9c1-7d33-0410-9eda-942365e851bb |