ac60b85d80148eaee7e2f968e5e363f7fff32bb4 |
|
08-Jan-2018 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix dummy IRI. (#1822)
* Fix dummy IRI.
* Fix remaining IRIs. |
80875f917d741946a39d0ec0b5721e46ba609823 |
|
04-Jan-2018 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
1596 iris (#1763)
* integrated IDs from Common/Id as local parts in IRIs in Common/IRI
* removed "abbreviated" components of IRIs in Common/IRI, added a flag instead
* added a blank node flag to IRIs in Common/IRI |
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 |
7852de3551fc797566ee71165bafe05b6d81728c |
|
21-Oct-2014 |
notanartist <notanartist@outlook.com> |
added 'lable' field to Entity data type. in this snd attempt, a constructor is employed for better maintainability |
98ed77f2d407c8a0300cccb6efa663cf9fb23fb9 |
|
23-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
this one should be a capitalized according to spechub/Hets@bed4f1f668ac5d014595c17199fa786aacda4e4c
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18581 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9824174155cf0331c24f38812977863a9dad63b |
|
23-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
made pellet work again (corrupted by spechub/Hets@1ea1794fe8bebbd2d807240f9ea9a7217f5fb75f)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18580 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb59be47d4ce4feb5398be4f6e77cad3c37c673b |
|
21-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
made trace message shorter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18324 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ea1794fe8bebbd2d807240f9ea9a7217f5fb75f |
|
15-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused more keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18304 cec4b9c1-7d33-0410-9eda-942365e851bb |
232612893bf5b1832ab4ef6dd120714b0a29d131 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared serialisation of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17250 cec4b9c1-7d33-0410-9eda-942365e851bb |
771c32080c77497c6c023a3b1c422f7daf3773f7 |
|
01-Sep-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
reduced code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16072 cec4b9c1-7d33-0410-9eda-942365e851bb |
544989bc1f6ed4bc0813334ffd934db0fb0010ea |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16054 cec4b9c1-7d33-0410-9eda-942365e851bb |
863fa65ac095659c6da1cde7fe7b839f1e7f60f9 |
|
27-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
also check literals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16035 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f8fd663aabf7ceffb0e59dc2fc04b00213e1086 |
|
24-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
repaired facets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16018 cec4b9c1-7d33-0410-9eda-942365e851bb |
55c408be0f43042369ac45ca608351793a318d77 |
|
11-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
translations for misc bits and haskey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15960 cec4b9c1-7d33-0410-9eda-942365e851bb |
551caf6791c20ff4ca928f93c520b85648693958 |
|
05-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
hlinted and scanned files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15906 cec4b9c1-7d33-0410-9eda-942365e851bb |
27f30d2048dc8d0fa27e33b39e47d004de302e00 |
|
05-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
prefix added in xml conversion, empty prefix doesn't need declaration,defaulted in OWL2.Function as dummyQName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15888 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4a1b0cfce938fc38d5924b8fb6a7e140602ec5c |
|
04-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
number literals for xml conversions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15874 cec4b9c1-7d33-0410-9eda-942365e851bb |
afb2c2cee51f75108cb28e42dfcacc654f8bec6f |
|
03-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15864 cec4b9c1-7d33-0410-9eda-942365e851bb |
e256a1701660baa8107c04e0db6335ebae9994ee |
|
03-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15863 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2c5120af6dab1bcf91c86f149679aa71246ed71 |
|
03-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
multiple annotationsAssertions converted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15861 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9afc6f8ffafb5297b4cdf5d3c97efba3d24b7fa |
|
03-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
extended annotationFrameBit in MS.hs to properly re-convert assertions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15860 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7d007e82b6cb370b9bb77cac0058163aba856ac |
|
03-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Man to XML -- annotationAssertion just for anonymous individuals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15855 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ddbc7bb1d91485baec25291cfa4a90a1c5f0830 |
|
03-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
improved annotationAssertion parsing and analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15850 cec4b9c1-7d33-0410-9eda-942365e851bb |
eeac8845adce2ed666f019575596a647876b8771 |
|
02-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
setReservedPrefix also for literal datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15848 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a3ae0a9224276de25e709ef8788c1b9716cd206 |
|
02-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15840 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2 |
|
01-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
set prefix xsd or owl for reserved keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15832 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e8db9d910a9fa441c3d4701899841fc8889e011 |
|
31-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
replace with | in comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15805 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeeadc446389d029f12b2b11500001416090af4 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
some bugs fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15793 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc8c83e9922e4746c192916565f3522418534f3a |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
expand also literals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15792 cec4b9c1-7d33-0410-9eda-942365e851bb |
18ff56829e5e99383ee6106584d55bcbd8ed45e7 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added haddock comments in XMLs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15791 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c684d7a2343be7350eba088f8be42888f86a495 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
isAnonymous fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15790 cec4b9c1-7d33-0410-9eda-942365e851bb |
668c9c725a11c0f77057152148570af853a1bc0d |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
replaced isFullIri with iriType to contain nodeID, adjusted parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15789 cec4b9c1-7d33-0410-9eda-942365e851bb |
297e89ba55c3dfacfe9666166c44fb984bf5abb1 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
switche back to dummyQName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15788 cec4b9c1-7d33-0410-9eda-942365e851bb |
dce970c84e0a4101c05ce8943d60f388c123b0ab |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
empty prefexi defaulted to http://www.w3.org/2001/XMLSchema#
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15787 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f51ebf6cf3a01eb60b2cae53f07fb834b851759 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
also added annotations for simple classEntity and ObjectEntity in XML
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15786 cec4b9c1-7d33-0410-9eda-942365e851bb |
6adfeca32bd9e796eb2007b09891be596a6fac00 |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
also output sign in xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15778 cec4b9c1-7d33-0410-9eda-942365e851bb |
a254a6ea12c3651c56ef5c00edf1dd20740156fa |
|
28-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogics analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15764 cec4b9c1-7d33-0410-9eda-942365e851bb |
15fa3ecfcf2667dcd4e1e877b0eab4bb60592552 |
|
27-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed haddock disturbing comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15743 cec4b9c1-7d33-0410-9eda-942365e851bb |
1657d32bc5ccbb0256b47cb2db2f8d60b83eddd4 |
|
26-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
other tests added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15707 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b1144abf7f95a4b23405b8d5604813cfe7b036a |
|
25-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
more tests added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15689 cec4b9c1-7d33-0410-9eda-942365e851bb |
01cc436133989c6ff3b032222abd5a8374ab333c |
|
25-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
conservativity changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15682 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8b9b74da3e1109278806d6e57d21bfcfcfbfbc3 |
|
25-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
ont iri qn printed without :
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15680 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b1e03c97c681a91201cca26bbb301bb9be2bbba |
|
25-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
ont iri qn printed without :
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15679 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8fd2c33b81a05d69b91823245291cda5bc2cc0f |
|
25-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
ont iri qn printed without :
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15678 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 |
c39dc3ce264ea72d39a31c083c30ec0ef22238be |
|
24-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added ofn tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15676 cec4b9c1-7d33-0410-9eda-942365e851bb |
45670b22563121c0039512809e3a55da60fb8871 |
|
21-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
keys used in conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15662 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9c0ed49aa84f9dfa83ccdd67e3e691c3ebc93ed |
|
21-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml:base dropped as a prefix in omn, base from re-parsing is http://unnamed, as we do not need it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15651 cec4b9c1-7d33-0410-9eda-942365e851bb |
f27b7a2a7fa3b3338a9ee0c7ac12ddc09fbc2a2d |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
annonymous individual --> nodeID implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15639 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a9a464d3a244aa44cdd8ab4e904606865ef2cb8 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
annonymous individual --> nodeID implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15638 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8c43aa7efad20e906f508c6e75f6e64cc62bb2e |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
annonymous individual --> nodeID implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15637 cec4b9c1-7d33-0410-9eda-942365e851bb |
45b4f015f5829ba5e0cea74381622bd0f875e714 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added more tests in makeXML.sh script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15636 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac0521f87598a50105e5a739f90ce62e5bad2108 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
scanned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15623 cec4b9c1-7d33-0410-9eda-942365e851bb |
653acba6bc5123c346a312c29156c16d5322133c |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
scanned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15617 cec4b9c1-7d33-0410-9eda-942365e851bb |
223327a89b26ee647602702f57ce91921e035183 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
refactoring compatibility with manchester parser -- long frames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15616 cec4b9c1-7d33-0410-9eda-942365e851bb |
db88746702cfe0bd8610b7826cfffb6a4ac719e0 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
refactoring compatibility with manchester parser -- long frames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15613 cec4b9c1-7d33-0410-9eda-942365e851bb |
68e123352da63f918c8ba230b04533de3d796699 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
refactoring compatibility with manchester parser -- long frames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15611 cec4b9c1-7d33-0410-9eda-942365e851bb |
50a8ac97f77c1022d70d7eb78720ff89cc43bc6f |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
corrected bad nullQName in XML parsing of Annotation assertion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15610 cec4b9c1-7d33-0410-9eda-942365e851bb |
3250bb1793b191185f9ba1a187ef9591394281a6 |
|
19-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15609 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e644766e895f8df33dd9d36bd0564cd7493927f |
|
19-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15608 cec4b9c1-7d33-0410-9eda-942365e851bb |
47221819de05952dbf2fc0c8ceec6e55b5149e73 |
|
19-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15607 cec4b9c1-7d33-0410-9eda-942365e851bb |
f38771afb407b97be720c68afa4cf64635db6d74 |
|
17-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15584 cec4b9c1-7d33-0410-9eda-942365e851bb |
8653837d32e5a8f128e65c89ead49291662d5d79 |
|
17-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15583 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc94069a678ced15dff2de1f211dfd690c5aed2a |
|
17-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15582 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5e8ee4c8c8599e8338947d53442fb05d79e0c03 |
|
17-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15581 cec4b9c1-7d33-0410-9eda-942365e851bb |
8836e7e2bf6c73548d8263d7283ec676444a3b7c |
|
17-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15580 cec4b9c1-7d33-0410-9eda-942365e851bb |