e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
7852de3551fc797566ee71165bafe05b6d81728c |
|
21-Oct-2014 |
notanartist <notanartist@outlook.com> |
added 'lable' field to Entity data type. in this snd attempt, a constructor is employed for better maintainability |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
f8c3d045dda224e92bf6bcb6288e1ee75ab54d1e |
|
07-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed OWL keyword lists to sets (hoping for more speed)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18536 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc57307d0ddc488f43de34aea793f05408d9e53a |
|
30-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved sublogic construction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17074 cec4b9c1-7d33-0410-9eda-942365e851bb |
544bd831b3a3434899db4008bbe131beafd07c4d |
|
30-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
better structured too many sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17072 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0c2bc4ba02902c20dae5c2e7a9bc25dbcfdfa49 |
|
27-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled the tests in OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17069 cec4b9c1-7d33-0410-9eda-942365e851bb |
39bb489dcaaa867e065e4b33ec658ac915ef9ea6 |
|
02-Sep-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogic fix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16080 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3cb3401882f6956de016f8eecbec1cd3b868acb |
|
01-Sep-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
hlinted, scanned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16071 cec4b9c1-7d33-0410-9eda-942365e851bb |
edf2f1288904f44f4796f62c05e9bb6829106adb |
|
01-Sep-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16070 cec4b9c1-7d33-0410-9eda-942365e851bb |
a03c109eabfe250e4b57bdf44f37f53751a65df4 |
|
01-Sep-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
put all datatypes in the sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16069 cec4b9c1-7d33-0410-9eda-942365e851bb |
447120bd494a3c59f65b77cf6bb9018b498288af |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
removed plenty whitespace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16058 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c3badd7ad83eb89f64ef5ed1122c4fa856fb45d |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
cleaned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16056 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ef348e48df28b20cf495a979b7add7c94580c6d |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid < in sublogic names as it is gtk markup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15880 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6b82a7f86a0f0e2ce071df355484b221b32905e |
|
03-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sublogic name reparsable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15853 cec4b9c1-7d33-0410-9eda-942365e851bb |
45e34c7696f9dd6163686ff6798b33a126590fa2 |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
profiles and sublogics merged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15772 cec4b9c1-7d33-0410-9eda-942365e851bb |
b692a1c197999710e9d8bfc916b203b1ff2bfb2b |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogic + profiles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15767 cec4b9c1-7d33-0410-9eda-942365e851bb |
58231c02ba63cd573b7d523e938acdb0798983c4 |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogic + profiles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15766 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba8d76959b425aa9d5d999eda12a716f7505782f |
|
28-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Sublogic.hs added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15368 cec4b9c1-7d33-0410-9eda-942365e851bb |