c875adb9834cc20ae9860b2b8e0c447beb92a022 |
|
26-Aug-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
Revert "fixed #1727"
This reverts commit 8addebb0e5a570a03503eeea99cc3c9791588893. |
8addebb0e5a570a03503eeea99cc3c9791588893 |
|
21-Aug-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
fixed #1727 |
2c5c007c8f164dce4a11b5e28d56405bb29fd182 |
|
14-Aug-2016 |
mcodescu <mscodescu@gmail.com> |
put the char cons in char sign |
ab197492a2668a2fdf1d188b43076264d497c19a |
|
14-Aug-2016 |
mcodescu <mscodescu@gmail.com> |
split signatures of datatypes |
792866245d2a07619868b9a207c84cfd894cf054 |
|
14-Aug-2016 |
mcodescu <mscodescu@gmail.com> |
almost no datatypes for now |
200047c6bcc532759c37274b5c663388d3dd54a6 |
|
08-Aug-2016 |
mcodescu <mscodescu@gmail.com> |
use generated names for variables |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
28c22436497e6d33c031c76be0e46026b77cb1cd |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16051 cec4b9c1-7d33-0410-9eda-942365e851bb |
083b2687afdb676237f926bdb643b24027291d05 |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
moved some keywords to OWL2.Keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16050 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b7c9b9fec53befb553f2c9b11e30a4fe2235e03 |
|
27-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
changes to owl22casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16037 cec4b9c1-7d33-0410-9eda-942365e851bb |
0eb106d6adeaced34e54123ff962ae91bb198709 |
|
25-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified CASL_DL (printing still goes wrong)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16031 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab72ebade3d901d3857bf76626216456b83ebdc6 |
|
24-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added sorts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16016 cec4b9c1-7d33-0410-9eda-942365e851bb |
a98ae3297826edfeba8f9300e389594cccb6b80c |
|
23-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added translations to owl 2 casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16006 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9e4ab732033f9a01bbdafc13a281d33a3a97b98 |
|
08-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed DATA as subsort of Thing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15922 cec4b9c1-7d33-0410-9eda-942365e851bb |
c704da29ad5d9d00c07e75f9109442d178dd990b |
|
04-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
literals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15878 cec4b9c1-7d33-0410-9eda-942365e851bb |
847ceaa7e82af40bb7e2a4bcbbcf4017a6a14de0 |
|
03-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added floats
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15854 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3e5e8585e4e83f5bb2803123552dc7001bbfc72 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ascii is enough
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15821 cec4b9c1-7d33-0410-9eda-942365e851bb |
479aeb4d8077da5640db1ee3f63fdc4d72f847bc |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to global annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15819 cec4b9c1-7d33-0410-9eda-942365e851bb |
90828fb7d8a686e4cdd3bfd3cfb1c7956d3884f4 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted leading zeros
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15816 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdcbbb3898a4c5d548dda1ae9e38e35be5b716af |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added true and false terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15815 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c3a9aef78601a2c1e1ef1f9d77f798d2eadd4e7 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added boolean, integer and string functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15813 cec4b9c1-7d33-0410-9eda-942365e851bb |
91bc4b967a77366206ed8ad0d46ff0eab447049d |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more predefined functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15812 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a2de7e5a3c5da0a96c9563617ab332685a41ced |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced term and formula construction shortcuts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15590 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ae6cb414e0934b6cf8a3986fa711ebb939ebd98 |
|
15-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
actually make Thing the top sort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15570 cec4b9c1-7d33-0410-9eda-942365e851bb |
148897af8457fe167e0e310dc3f9a60e10381f5d |
|
15-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused CASL_DL.PredefinedCASLAxioms and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15569 cec4b9c1-7d33-0410-9eda-942365e851bb |
993cbe47cbad455281db80ce9194d75ffe3f6feb |
|
08-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed reflexivity
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15507 cec4b9c1-7d33-0410-9eda-942365e851bb |
dece9056c18ada64bcc8f2fba285270374139ee8 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reflexive sort relation and avoid a separate sort set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
1019f6e38333af71a77ae02703688a07749def9d |
|
02-Dec-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed clutter from CASL_DL2CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11138 cec4b9c1-7d33-0410-9eda-942365e851bb |
359f1eda4f71c68cd0c2d071e1129cf99a2c1c83 |
|
15-May-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed bug in CASL_DL2CASL that prevented the view in MoreCats from working, it was a subtle subsorting mismatch in the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10008 cec4b9c1-7d33-0410-9eda-942365e851bb |
49c38f270d9c13ff5f94a8b39cacfdc56c0510d0 |
|
13-May-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed prover bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10004 cec4b9c1-7d33-0410-9eda-942365e851bb |
5bed2c62278d4f062c980a72c631578a9ee4a608 |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9286 cec4b9c1-7d33-0410-9eda-942365e851bb |
af569976499dad6c641d6ddb4a83326b6612e59a |
|
28-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed hacks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9259 cec4b9c1-7d33-0410-9eda-942365e851bb |
84b5399665d00a782d3197ceb1569f5d3ca14e3a |
|
28-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
CASL_DL2CASL is almost ready, Nothing is missing, removed some crap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9258 cec4b9c1-7d33-0410-9eda-942365e851bb |