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 |
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced new API for prefixes and applied this to CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb |
142fd5dd7fcfa170f08b2a0ab232859428f6e3c2 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced readProcessWithCode by executeProcess
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17099 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 |
27fdf879983dd28e211b41f3be6c0e930b7c816b |
|
18-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15982 cec4b9c1-7d33-0410-9eda-942365e851bb |
431571057e88a650a974adec93ea4bb5173b6213 |
|
17-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
moved OWL2.Morphism frames crossing in OWL2.Function as instance of Function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15981 cec4b9c1-7d33-0410-9eda-942365e851bb |
7334873f68772d895905c99d7aaa43a6a715c953 |
|
04-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
also extract annotation properties from annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15870 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc05327b875b5723b6c17849b83477f29ec12c90 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added module OWL2.Function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15799 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 |
75aaf82c430ad2a5cf159962b1c5c09255010fb4 |
|
25-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added file extract.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15677 cec4b9c1-7d33-0410-9eda-942365e851bb |
077aed718cd739bd514c349cf718f16229c7a87f |
|
21-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
rewrote expand
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15658 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e980332cffd74aad2c761cf5702494b76df47dd |
|
21-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
expanded prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15657 cec4b9c1-7d33-0410-9eda-942365e851bb |
72021924fdf23d9e4a0b156e9f065579fda16b35 |
|
21-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Removed debug trace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15655 cec4b9c1-7d33-0410-9eda-942365e851bb |
a02e7bd8cab19c4c04864642da38e39f5bb1d1a8 |
|
21-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
cleaned with scan and hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15653 cec4b9c1-7d33-0410-9eda-942365e851bb |
392bdab3713467f001bf31e4b0e26d7d1ca344f6 |
|
21-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
DMU2OWL2 comorphism implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15647 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa28354d88299af4221c60d059d35a214fcf206a |
|
21-Jul-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Complete Sign function added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15644 cec4b9c1-7d33-0410-9eda-942365e851bb |