53680982da7898ae889870da416205a85f0bffad |
|
01-Jun-2016 |
Jens Elkner <jel+git@iws.cs.ovgu.de> |
OWL2/java: reformat wrt. java code conventions, only. |
b9a7d49f35eb8e755189f34ecfad041c1d689c14 |
|
30-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Reasoner creation corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15422 cec4b9c1-7d33-0410-9eda-942365e851bb |
4a9dcbcacd50df211bb3727bf8a1afe1e9fcb59d |
|
30-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Fact consistency cheker modified for FaCT++Reasoner
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15419 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1a486f890607d2b00183905564770d4444df9a5 |
|
28-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Fact folder added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15381 cec4b9c1-7d33-0410-9eda-942365e851bb |