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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
2780da8c615a3ecad37566e343ebf8f029cab640 |
|
15-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
made printing of strings reparsable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18306 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ed8bd198464a74c52e1a0c23cb6169dec9937e6 |
|
15-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
escape double quotes in strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18302 cec4b9c1-7d33-0410-9eda-942365e851bb |
3bf7c6758f14a445ed8d6de173c308d700c8f94b |
|
30-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
print datatype literals with prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17071 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0c2bc4ba02902c20dae5c2e7a9bc25dbcfdfa49 |
|
27-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled the tests in OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17069 cec4b9c1-7d33-0410-9eda-942365e851bb |
316ef492799cd45fea0f5c26932f49adddfda3f7 |
|
10-Jun-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
improved literal parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16886 cec4b9c1-7d33-0410-9eda-942365e851bb |
27b30c35abc36e5c8885d0a4d417687231b8da54 |
|
09-Jun-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16881 cec4b9c1-7d33-0410-9eda-942365e851bb |
f96e330b1ae1461b50b2934aa8a179fdf8945e22 |
|
23-Jan-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
forgotten http prefix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16629 cec4b9c1-7d33-0410-9eda-942365e851bb |
39bb489dcaaa867e065e4b33ec658ac915ef9ea6 |
|
02-Sep-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogic fix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16080 cec4b9c1-7d33-0410-9eda-942365e851bb |
d850dba73b02f345f64a3546d0f0299c292f88d6 |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
also check annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16055 cec4b9c1-7d33-0410-9eda-942365e851bb |
6504b297e21d071d8fada2f732cabb6d8f7d38a2 |
|
27-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added top and bottom properties
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16036 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa544036407a8ec4be203ebd5e3bff225175e664 |
|
17-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
code cleaning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15980 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe61c9de7bc5a321aeb057780874dd6c17f2faf0 |
|
08-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly print extended entities in symbol item lists or maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15923 cec4b9c1-7d33-0410-9eda-942365e851bb |
58656892927e7c4e3dfcec2e0b8200f9da45380d |
|
08-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted literals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15912 cec4b9c1-7d33-0410-9eda-942365e851bb |
1aba43480a797666f400a595193d95ce08b2a059 |
|
07-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
slight changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15910 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a31f0c04179b0d7494f34712dea70d79bc88aff |
|
05-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
changed owl:Thing to Thing in cardinalitu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15893 cec4b9c1-7d33-0410-9eda-942365e851bb |
460725325255120983e73ab242778e0150fa0ce9 |
|
05-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
glitch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15892 cec4b9c1-7d33-0410-9eda-942365e851bb |
52991d9b46a98ad6a9020421a3244950b0f8a522 |
|
05-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
datatypes modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15891 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1162cc13e8371724e3382ae6d1cfdeb43891fbb |
|
03-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added number literals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15865 cec4b9c1-7d33-0410-9eda-942365e851bb |
ffa6044b04fa0e31242141ff56a5d80c4233b676 |
|
01-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
cleaning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15833 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 |
26dc3420a308f7dd289da1cd34a866db12a3e9a4 |
|
26-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
symbols parser extended
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15700 cec4b9c1-7d33-0410-9eda-942365e851bb |
b84c87f199dc287d235d7dad6ea344f6912ef531 |
|
25-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extend morphisms by prefix renamings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15686 cec4b9c1-7d33-0410-9eda-942365e851bb |
852bd6145634dc2832b61c44678fe539bc1682d5 |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added positions to iris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15594 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6526952d69bccd048c954eb920493a6a83e78fa |
|
14-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
deleted dp list from data Values From
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15562 cec4b9c1-7d33-0410-9eda-942365e851bb |
f20c085644aa49702488405bc2d4245cf0e5a713 |
|
07-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added extended type for compatibility withXML / functional syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15479 cec4b9c1-7d33-0410-9eda-942365e851bb |
928291e1beb4df5ec1f595188b64eab7c2adbb80 |
|
01-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
cleaning printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15428 cec4b9c1-7d33-0410-9eda-942365e851bb |
a604cbad8e2202147b5c6bb9f2e06ae61162d654 |
|
30-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
major restructuring OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15425 cec4b9c1-7d33-0410-9eda-942365e851bb |
30a43dc06f8b3127d84f76843e27772facb2e2aa |
|
29-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
shortened lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15406 cec4b9c1-7d33-0410-9eda-942365e851bb |
1218d3dcd7beea6c65a54621b28929245d7aa6fe |
|
29-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
shortened lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15404 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae9f6ee28850f767319629d3c2e28918698dce3b |
|
29-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignored Individuals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15403 cec4b9c1-7d33-0410-9eda-942365e851bb |
2be8b767280acc3bb1bd4b2219ee6792b430b9f6 |
|
27-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
istoprove
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15336 cec4b9c1-7d33-0410-9eda-942365e851bb |
f07079faf4e99014e900c7c99adb5ff7fa106b61 |
|
27-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
changes to syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15325 cec4b9c1-7d33-0410-9eda-942365e851bb |
f00ba97f8efc18922f30d8db429b28d539b27470 |
|
27-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
modified pretty manchester
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15317 cec4b9c1-7d33-0410-9eda-942365e851bb |
feab1106bbee4f2ea2fd48bca7106dd041e4211d |
|
25-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
keywords and colon keywords added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15306 cec4b9c1-7d33-0410-9eda-942365e851bb |
20e6d2407d992be857ab5e0b3b54fb7ed86b0461 |
|
25-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added maybe for SameOrDifferentInd in AS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15305 cec4b9c1-7d33-0410-9eda-942365e851bb |
577f95eaa083bcb4d010cb6ea2158780a39e5df4 |
|
24-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a single data type for DomainOrRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15302 cec4b9c1-7d33-0410-9eda-942365e851bb |
15f3de39c0f1db5f5adf6180d956e7dc578c3f52 |
|
24-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
changed datatype restriction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15284 cec4b9c1-7d33-0410-9eda-942365e851bb |
48d2e78323ec627872983f929b08dba2c7d03a3a |
|
23-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
fixed static analysis, parser an MS modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15277 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa64389ee694577d9e665cf57331129000072a79 |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
minor changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15240 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9d4fb44ea56316e0a54e129d8a49a75eff66994 |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
parser modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15233 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfffc7c7d7f8623e75ba72f18bec39174ae0bfcc |
|
18-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Pretty printing for man syntax and added generic test file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15211 cec4b9c1-7d33-0410-9eda-942365e851bb |
9038ae2ffc9b0a0c61f042668b1b3d9e5a2f1a8f |
|
17-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Warnings eliminated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15202 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa0ca44e856c87db27e61687cbb630f270976da1 |
|
17-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Major change OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15200 cec4b9c1-7d33-0410-9eda-942365e851bb |
85fb53d02c650e212f17f85c73650322248061df |
|
17-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Frames put together
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15173 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd3c105fcc30b5d6b750d8fbe32250207b996109 |
|
16-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Uncommented fields AS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15162 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cb6af1a7632f12b60f592ce5eb2ac51e6bd33bb |
|
15-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Parser updated, AS changed, Print individuals modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15140 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a058c55573e9bbb71cee8a7361ef12bfaedd9ef |
|
14-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
readjusted annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15122 cec4b9c1-7d33-0410-9eda-942365e851bb |
a921ae1da1302f673204e7b63cdce01439a9bd5e |
|
09-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Added Pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15102 cec4b9c1-7d33-0410-9eda-942365e851bb |