abdc8c3bcf5b761e9bebf51e6ba2bce659d29512 |
|
08-Apr-2018 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Reasoning with database (#1836)
* First step towards saving reasoning results in the database.
* Add first steps of SInE premise selection.
* Try again with 'flattenComorphism'.
* Improve SInE implementation.
* Adjust GraphQL resolvers to new action field.
* Fix rebasing mistakes.
* Fix timeLimit.
* moved let variables to where clause with scoped type vars
* Fix errors in reasoning.
* Fix some more errors in SInE.
* fixed typing problems
* Debug Reasoning.
* Fix compile-time errors.
* Mode debugging.
* made coercion type safe
* Remove commented code.
* Re-implement proving for the REST interface.
* Cleanup.
* Fix SInE selection.
* Cleanup.
* Fix SInE.
* Fix provers command.
* Fix column name.
* Remove commented out code.
* Capture consistency checker output.
* Obey Review.
* Obey review.
* Obey Review.
* Refactor buildReasoningCache.
* Add name to LogicTranslation and get rid of compiler warnings.
* Save all sentences in the database instead of only local ones.
* Rename column to make it more compact.
* Add name to LogicInclusion.
* Save used sentences of a proof attempt. |
5606c84ebef3de545602e215bbd87931334d48f0 |
|
24-May-2016 |
mcodescu <mscodescu@gmail.com> |
translate graph via path |
c24f7998fe7dfca4277f83076a119aabfe6186a0 |
|
24-May-2016 |
mcodescu <mscodescu@gmail.com> |
theory of a node and its translation via a path of comorphisms via the RESTful API |
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 |
9b3e946be44391d35acb2168f4e67d629e560f79 |
|
10-Jan-2016 |
Till Mossakowski <till@communtu.de> |
show instances |
4ded733c298c9fd95db25858b897da482f4ab3e7 |
|
14-Jan-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add and use param to show details and proof. |
ccd9cf19d129595770d592d3d0d80c6619f7a141 |
|
29-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Allow selection of axioms. |
b1f2971b105e6da3f4722315e0a0e2abef96e66f |
|
19-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use proper percent encoding |
024703c9d1326c23e307c0b0d453ed3358e87fe4 |
|
05-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
add json output |
fcd8dd6d9029180ae5e777e94a973c5e355a55cf |
|
23-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added sanity check for unknown query keys |
0a26144c20fa9cdcd05011ca5019cbac8e4afae0 |
|
23-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
extract options from query string |
2e13d910181e056190ae583db81c7479e0fbf648 |
|
21-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
omit question mark in empty query |
ca3e283fa3522032a03f9d704bd243af1e28b1ad |
|
09-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
output path and query to /tmp/emtpy.txt for debugging purposes |
ededd73cb5d833576d271db4a1262895e142bdde |
|
26-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed dependency on LibName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18332 cec4b9c1-7d33-0410-9eda-942365e851bb |
22bb4a9063684a0f37dd7d0e6b21086adcc1e789 |
|
17-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
display consistency checkers of a single node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18200 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdae29fce51a3b43f17e1cad0deb0f5381b9d3f6 |
|
17-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
unified prove and cons-check data structure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18199 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cc76b3190979d475bc8f2c1ffe627d9abf2410b |
|
17-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed prove result to xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18196 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f150d7930b47c297e184638ecd811b3656b0dad |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided for <command-list>
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18189 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cdf614df292d5984d9ffa69755e7e039f328116 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved global commands to Server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18185 cec4b9c1-7d33-0410-9eda-942365e851bb |
b532acc045cf5e26beb0691acc136d11188cce87 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Int instead of EdgeId in Query
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18183 cec4b9c1-7d33-0410-9eda-942365e851bb |
d343b498dda5088c804a8e3da9b82adff088f453 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened global command list computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18181 cec4b9c1-7d33-0410-9eda-942365e851bb |
30ccae9374798a92124e1b294404f7b55ffbb412 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
leave IRI handling for other code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18178 cec4b9c1-7d33-0410-9eda-942365e851bb |
e13afd0f7f7c62e349e1884917977b0376e18bd5 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
made decoding total
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18177 cec4b9c1-7d33-0410-9eda-942365e851bb |
465c6b72e8e480969b5f08658e394992bcc08bfc |
|
11-Sep-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
provided button to enter consistency checker (window exists, but does not function)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17326 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b144823976d79a34bff62f7f9ec032e80b8ce85 |
|
04-Sep-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
web autoproof window does function! now only needs an optic/usability makeover, and the result window has to be adjusted.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17287 cec4b9c1-7d33-0410-9eda-942365e851bb |
04c445e50a1d8b95e667595594e6b551c8b2ff59 |
|
07-Aug-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
provided button for automatic proofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17124 cec4b9c1-7d33-0410-9eda-942365e851bb |
10eaa95e20c860acbfbecd6cf07e3ae0bf7b55cb |
|
05-Aug-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added functionality to request a dgraph-wide list of supported provers/comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17113 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6c31a14c3fe6eb0eb93f376f2224f4023315e55 |
|
31-Jul-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
built in functionality for automatic proofs via web interface. however, it cannot be reached jet since no link for it exists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17084 cec4b9c1-7d33-0410-9eda-942365e851bb |
05c714be15ce094d83f1b989cdf5236be78419bf |
|
04-Jul-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
added implementation of the RESTfull responses for PUT methods
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17005 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e76bbbed1c936bb0aee1753837e1c50416847a2 |
|
27-Jun-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
restructuring and minor changes (e.g. return to theory button for prove result view)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16980 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc9f19b1fe81424205736fe0ae73620395b1bb74 |
|
20-Jun-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
RESTFull response to GET-methods is almost fully implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16954 cec4b9c1-7d33-0410-9eda-942365e851bb |
7463a1bf64cfa90917e2afb6a5017ec411d2b3db |
|
20-Jun-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
modified server.hs to gain better interfaces for RESTFull queries. sorry for the mess
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16952 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f81535ccbe97ecc332b8c03d6c137b92e4ac4aa |
|
10-Jun-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
provides an entry point for implementation of the RESTfullInterface. Request-path and query are checked for appliance with RESTfullInterface and are passed on to old methods otherwise. NOTE: there is no implementation done for when a RESTfull request is at hand, yet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16892 cec4b9c1-7d33-0410-9eda-942365e851bb |
f38daac5bc3e8affe17311c27ba0e6c59c33cfd2 |
|
06-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16859 cec4b9c1-7d33-0410-9eda-942365e851bb |
2bb4812d3aeb7a610e6f3384b0676dcb36f94f1e |
|
06-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved pathBits to anaUri
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16858 cec4b9c1-7d33-0410-9eda-942365e851bb |
e80bbb632bd22010c079852e652d843a15bb133d |
|
25-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
add a format for all symbols for all nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16831 cec4b9c1-7d33-0410-9eda-942365e851bb |
e805192b74403d3f6e9f79f5059062b020919f04 |
|
22-Mar-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
set all illegal timeout input (chars, below 1) to 1 bevor proving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16738 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d46cd96eb5f63953a7608635e9cc2d22506e5d7 |
|
09-Mar-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
fixed usage of selected comorphism in query string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16699 cec4b9c1-7d33-0410-9eda-942365e851bb |
a698a3ffcb5342194e1c9b2f9ad8f20026df8ca8 |
|
04-Mar-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
missing change for rev 16681; fix errors for theorem encoding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16685 cec4b9c1-7d33-0410-9eda-942365e851bb |
f718a463ba829a58fe6dfd7772b9c5717b040f3c |
|
23-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to read prove request
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16676 cec4b9c1-7d33-0410-9eda-942365e851bb |
92ae4d5885ea837ffe3dae9b2de742f871229b94 |
|
22-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added button to show symbols #999
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16669 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bcf1494c01dd2ac6286859bfadcec57e57e417e |
|
06-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added escaping of special characters
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16523 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a0b5a7eb92c3dc61b89351bab6716e9f2b28e49 |
|
05-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
try without decode plus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16513 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f0ca8050a33fbc1a23c0bd2dec0d09c17e3c548 |
|
16-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored to use query pairs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16455 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b6770a0c1c1c6f0bc3e41fbb757570112ac3312 |
|
10-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
percent encode +
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16440 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd90cf050d470eb42f6e0b79327cc53bd0f80dc9 |
|
14-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added separate pdf format
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14710 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d50556254571c0811e94b4d948463754812a5aa |
|
11-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for available provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14701 cec4b9c1-7d33-0410-9eda-942365e851bb |
c30be06a00dca8796bc38d51edf68b9e58dd0fe9 |
|
24-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made coding query string more robust
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14614 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea5ccb1c6e89486a54e1f4bd95840147e96093ed |
|
21-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pp output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14596 cec4b9c1-7d33-0410-9eda-942365e851bb |
be9d4ffdd00c0665f9c25a4a905b0a0bf0c90bbf |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
used isNat test before calling read
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14527 cec4b9c1-7d33-0410-9eda-942365e851bb |
74ce8ed78c62ad2b1ec30fa9292c6589e2b4d171 |
|
31-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
list theorems in query string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14454 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdae1f4c0c6e32f5463a7ce9986600e27f8ac253 |
|
21-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
first and wrong attempt to treat selected theorems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14413 cec4b9c1-7d33-0410-9eda-942365e851bb |
5727dbcb926ede2e7b05f43685476ce656ce01e4 |
|
12-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to select nodes by name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14375 cec4b9c1-7d33-0410-9eda-942365e851bb |
65f32942e29aea5c03f78d72851a8cb5d9f56bb3 |
|
11-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow timeout in queries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14367 cec4b9c1-7d33-0410-9eda-942365e851bb |
43d8d7472d3a0a78d9a2c85122815a81deb8689a |
|
07-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
better check prover queries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14348 cec4b9c1-7d33-0410-9eda-942365e851bb |
5506825574abaefd5556d45ed84f22e755249823 |
|
07-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended prover queries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14347 cec4b9c1-7d33-0410-9eda-942365e851bb |
410e197a44a0d162c81cc4cadaa2cb39918adb44 |
|
07-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared prover queries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14346 cec4b9c1-7d33-0410-9eda-942365e851bb |
5bedf8c26d27eac08962c78379bcb2e5cb529036 |
|
02-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
support for an update command
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14281 cec4b9c1-7d33-0410-9eda-942365e851bb |
990cfa5c6abdd4d093cea540c34bb5522bf540d2 |
|
25-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
add dot output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14269 cec4b9c1-7d33-0410-9eda-942365e851bb |
a07a6a1143844a6f061a49aefc550e3bdd28f331 |
|
24-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added session
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14267 cec4b9c1-7d33-0410-9eda-942365e851bb |
18548c6cc2dff13bf9f5f08b3f6cde6ca914df1d |
|
05-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored by using a query type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14199 cec4b9c1-7d33-0410-9eda-942365e851bb |