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 |
47589c2d80dabefc0cd8e2ee5e7331e3db677c68 |
|
23-Oct-2014 |
notanartist <notanartist@outlook.com> |
implemented OWL2.AS.pairSymbols, and did run scan and fixed stuff |
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 |
e40758c36e3e5312669558ad189b24b3eaf10c59 |
|
10-Mar-2014 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
static analysis of alignments, library level and for logic OWL2, first attempt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18542 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 |
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 |
936f8abcf18a6de6f58e8ebbee35c51e1e020c4b |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed printout order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17247 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8638f32115f48a8871eb6f3042a540d2526cd0a |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
construct proper extended entities from the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17246 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb1375e6805fbe42b931c54dcc37674193443267 |
|
27-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow grouping of axioms as frames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17244 cec4b9c1-7d33-0410-9eda-942365e851bb |
68de80eb2800338cbd16512106fcadab79325d8b |
|
12-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved range spans
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16713 cec4b9c1-7d33-0410-9eda-942365e851bb |
669b3375925f7a145d287fa89f3a815708dbe7a1 |
|
08-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute syms of sentences for OWL2 and fixed one half of #1008
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16692 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 |
81ec673ac5ab1493568d9ef7798b752ab8ee0e61 |
|
30-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
removed unused dtypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16053 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b90322eaf59ded3de24fc891bd67bbd73ec2bfa |
|
27-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added remaining datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16034 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 |
f008d37d7fd3b2394a717ac3561f5f1982bb0b28 |
|
15-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
some code cleaning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15966 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 |
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 |
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 |
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 |
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 |
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 |
58231c02ba63cd573b7d523e938acdb0798983c4 |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogic + profiles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15766 cec4b9c1-7d33-0410-9eda-942365e851bb |
61c1a9c658ddc79ef33b01c14ee8cf5039430dd8 |
|
27-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
el, ql, rl tested in ontology documents
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15749 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b4abe255a45398b8451bf5df821277c3cbbfc01 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
scanned
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15622 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 |
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 |
e05e1babc9a0edf2ebd39713d5c44fd0a035d6da |
|
15-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
unifed docs in Rename.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15571 cec4b9c1-7d33-0410-9eda-942365e851bb |
c41f2d65ecbf5ad9d3233a21f406a7698338a04b |
|
14-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
renamed MOntology to Ontology, muri to name, mOntology to ontology and ontologyFrame to ontFrames
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15565 cec4b9c1-7d33-0410-9eda-942365e851bb |
22a0bc45b22397199459c4b56e0e770f44a0f34a |
|
13-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
cleaned with hlint and scan
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15557 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 |
ef15041e41c91ae9568bc19410eaf459ec97d2d6 |
|
06-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
subproperty parsed and added in MS.hs for more complex obj properties
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15475 cec4b9c1-7d33-0410-9eda-942365e851bb |
962477e877e546f2073cc6fbd1bc18a12eb0589b |
|
06-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
keys parsed, added new datatype for them
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15473 cec4b9c1-7d33-0410-9eda-942365e851bb |
26e79d6ca76e2330ed1f2feedb6809d6c9b7a9ab |
|
06-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
included GCI sub class of in MS.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15458 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 |
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 |
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 |
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 |
8601c6f4a4c5486e18cdf9810f832630985989f5 |
|
24-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed extra Annotations type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15296 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 |
fb838d1a14ab749e49320d633bf31f376b50c95e |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Changes to man syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15238 cec4b9c1-7d33-0410-9eda-942365e851bb |
4de4f1a94a5fc175dbd374390b1839d5f80afab6 |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
ms changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15236 cec4b9c1-7d33-0410-9eda-942365e851bb |
744791d59b772240402649cdb8e0953f97332d88 |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
datatype bit redone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15234 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 |
f853560cb2b56c631af268adec9dd0c1f518ffd8 |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
MS changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15229 cec4b9c1-7d33-0410-9eda-942365e851bb |
daea7cea46f9cdc2f5939f3cdba6ae80cd60e61e |
|
20-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15227 cec4b9c1-7d33-0410-9eda-942365e851bb |
10ff53cbf1ec3ea6c62435eee9eb07ea85216aaf |
|
20-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Really switched to ManchesterParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15219 cec4b9c1-7d33-0410-9eda-942365e851bb |
e75bd89c7c8255b66fdccc8180b2dfe82ec2fada |
|
18-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Pretty printing adjusted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15213 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 |
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 |
0cfa7ba194ded21ec6ab66e7b4a7c0b3a85ff9cf |
|
16-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
also datatype frame adjusted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15170 cec4b9c1-7d33-0410-9eda-942365e851bb |
06ccc384615ae5c183262544959ba2a894a0dc80 |
|
16-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
MS and ManchesterParse adjusted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15167 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0af8c7b9b5c576bbfdd54ecb507b904519d9a2a |
|
16-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added separate data type for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15165 cec4b9c1-7d33-0410-9eda-942365e851bb |
790988013113a639077a69d00b3f7f9c09761f44 |
|
16-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
ManchesterParser draft
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15163 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad31b4bf8b1394d8ed091857b0dc1027ed1eaa1e |
|
16-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
ManchesterSyntax added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15160 cec4b9c1-7d33-0410-9eda-942365e851bb |