| ce39be56aeedc8d333b72b1662548d36097fa22f |
|
08-May-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
improve offline building; rm archive artifacts |
| 8827905b0ce5b86f46d5c445c5158a7a704126dc |
|
29-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
OWL2: simplify build.xml wrt. jars + less noise |
| 8dbc5fec77543515bcd781e1e544dc61e0134cbf |
|
10-Mar-2015 |
cmaeder <c.maeder@jacobs-university.de> |
adjusted initialize_java |
| 28760162801629316952cf99e319faac3280d7e5 |
|
09-Mar-2015 |
cmaeder <c.maeder@jacobs-university.de> |
renamed further fact++ jars |
| 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 |
| 49d647f58ec5bf482da541eec62f531848c49036 |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15775 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 74cb7ef9a569b13747b422ab6fadefb23b600907 |
|
05-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
corrected build file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15450 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a1aa45b85afad61755457312ef2f30f004c43cb2 |
|
01-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
OWLFactProver.jar build added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15434 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b6d9645f900aa97380b475facabf35ac2d1600d9 |
|
30-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build file modified for the newly used FaCT++ Reasoner
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15420 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e506bdab02355eb48f915523c7b0fc979f9bdacd |
|
29-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build file modified again for proper Locality.jar generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15416 cec4b9c1-7d33-0410-9eda-942365e851bb |
| babe416613c8233075ae9f61a0fc7b2b3be46d99 |
|
29-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Build file modified for locality checker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15410 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 64202712ffff73e36697b3f3a4c28016541e7b22 |
|
28-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Build file modified for ConsistencyCheck and latest version of FaCTPlusPlus added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15362 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 68900f2ad435258ae928e83e6713a9903e755a5e |
|
23-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Main-Class path in Manifest attribute corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15255 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d66c5cd538de156c95eb0150d10e068e4b89932b |
|
23-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build file corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15254 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 27914fc5a8fb9134da9ece874ca609c4040d59da |
|
22-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build file corrected - no more owlapi-bin.jar name clash with OWL1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15248 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3412f0946d79643403ad103fe88886afa04c0610 |
|
17-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build file modified for folder change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15183 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b18e2b19fdc0bfcdaf55c29d9a8267ffd327889e |
|
15-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
go for omn output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15133 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3848bd0cb39006fe23fff76a6302fd57a962fc1f |
|
15-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build.xml update
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15132 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ee695e793171b1db3fdbf207ad328484f262f21f |
|
15-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
build.xml update
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15131 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a05d1aff0f8c5d9360de73928cd5085e8fbbced |
|
15-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
changed to OWLParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15125 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b85226e78438b24029dfe713fbf0776f5070b117 |
|
14-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
adjusted ant build file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15114 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 75a666ae9c75f3c3d836e6a7874f99e9199a304d |
|
09-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
added build file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15097 cec4b9c1-7d33-0410-9eda-942365e851bb |