| 53680982da7898ae889870da416205a85f0bffad |
|
01-Jun-2016 |
Jens Elkner <jel+git@iws.cs.ovgu.de> |
OWL2/java: reformat wrt. java code conventions, only. |
| e2f328730bd39975b02329b81b608d23193f1c3a |
|
05-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
FactProver working
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15449 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b3801e7f361759d6748a661df75c01c084299c67 |
|
01-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
FactProver added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15431 cec4b9c1-7d33-0410-9eda-942365e851bb |