| ab5781bda9fa3062a3a92c4b57fa6bc7b70c745a |
|
10-Jan-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
new logic graph; interactive provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17724 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d5f0fdfdd784f312a416af96ffabeffc83a938ac |
|
02-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
improved COLORE relative interpretation explanation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16647 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a3457e83a4f8b69f07b3e1746b4a1c49ffdb659 |
|
01-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
added one more example to Hets-lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16644 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e8fb767fb6c620c28261b928c2221153f3559b31 |
|
01-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
ported most metatheoretical relation annotations to HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16643 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e11cf710af51edc40a31a6acb70b1c9e868651a3 |
|
26-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
changed cl:foo to cl-foo syntax; partly removed obsolete CLIF-embedded theory relation annotation in favor of HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16637 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 26973ce551bd587f878f49182d9a32722e6408a9 |
|
25-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16634 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4ec6e80b96aee974b14184a95894325288ae4c4f |
|
23-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed/improved listings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16626 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5 |
|
23-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
doing listings properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16624 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7f518a9f1becd776dec07ab6fa8620870cc760e2 |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
one more example for relative interpretations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16616 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 500bea7e0f72dee7bacf9955b55901d64bcf5790 |
|
21-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
ednotes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16614 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1d9290e729b7cd9a6f666432934fd890a9766fbd |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
example for relative interpretation (COLORE annotation and HetCASL view)
example for heterogeneous views
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16613 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6da256dc5192c4ce031c79d312163f3add327507 |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
AAL example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16612 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2fd0eb33dd1d635a91e5b1a790e194ceaccae489 |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
restructured example section
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16611 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c1d5a80013fc6210bcf4e140c0e668a14d281d0a |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
final minor revisions; additional contributions follow now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16608 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c8fc7196409d4bab011dc63d8d0f98dbb4fe9a6 |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
sync
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16606 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 89854cacce87700413f11637e44e751c817868a8 |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed some \ref's
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16605 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3239cf1136f8bd541c06c48a4e2dad5aa7892a6a |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
RDF serializations; small fixes in CL relations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16604 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 23a1026bd42cfe799dcd6eca773a74eeb667eaf7 |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
adding logic graph; minor revisions in dev. graph section
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16603 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f8b3526c0e58902c94ea3ae921409828925e1115 |
|
19-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
listing format
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16602 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a1d8bba3902b41ef78942045fa76e48d72c9bbb |
|
19-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
spell check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16601 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 25a9c66b8737ec14fd01455cc6cac2d164460a19 |
|
19-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
spell-checked; more OWL literature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16600 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c65ffca573f257042cd8768af06ae2d6fb7f02d7 |
|
19-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
CL and OWL literature; OWL 2 profiles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16599 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9254d74a4a022ccef8da03b014ab0a8082c9e9b8 |
|
19-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
started some minor revisions, from beginning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16598 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fbee0dd77d7c7336ec63cddc00e5b4d2cf0db3e7 |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Hets input languages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16597 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a3e28d26415195235645c088c842ca120bca7762 |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Hets input languages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16596 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 46bfe178e26ae8c4edfd9247b5c0801225b9d1e6 |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Moved proving section ahead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16595 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b0c7e8b63a85151b0a6fd033659defa1727e50a9 |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
HetCASL syntax for views
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16594 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ef5b1e7526b304142a4a27b41ec9f66904c57971 |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CASL and HasCASL as hubs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16593 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a17349d0247036407c22e632ece0e8f2b736253c |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Intro to CL user guide, something on TPTP and THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16592 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a22936ffa58b0b92b957098a1ebc75a22cc48f85 |
|
18-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed some typos and formatting issues
updated some references
syntax highlighting in listings
added myself (Christoph Lange) as author
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16590 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6c437f94e1f11c822f322f7274e48b7c295c9fc9 |
|
26-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16386 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5c9181d2fd65687ced28a27cb8e161dee6d97f51 |
|
21-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16360 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5f60cf66343b307cbfd776be981fd4ae684e1fbd |
|
18-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
improved Hets User Guide for Common Logic Users
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16326 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7e7e0f5d3e765fb1d85a2e70aa8405c09e77b8b7 |
|
08-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
improved documentation for cl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16111 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dd29aea0190ac8707f2a0896a4a4b8bb2aac13ff |
|
01-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Doc: Hets for CL Users
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16073 cec4b9c1-7d33-0410-9eda-942365e851bb |