| 4abae525d8c7337e817afc2f831e4c94bd880751 |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
refactored entries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16610 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 |
| 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 |
| 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 |
| e7eefd526faedd63acb8f91de5793368cfe67655 |
|
13-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
revised section 10 (Proofs with Hets); the Isabelle description is only slightly changed; added hyperref and url support.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8350 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 30256573a343132354b122097b0ee1215dda1364 |
|
12-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
walked through the entire manual, except from sect. 10
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8346 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a8df6f5d096a0301b9fe350df957449cd1646cb3 |
|
21-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5438 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 91dd24480df03b2cca7c1645bb2866d7000dfdb1 |
|
21-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
updated a bit...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5218 cec4b9c1-7d33-0410-9eda-942365e851bb |