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 |
25513c36c0e669e16187763ca1d8d8b473c3807a |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
disallow an empty basic OWL spec |
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 |
f50df84ef288927f699d497ec008cec43fad16ab |
|
09-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
prefix map fixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17501 cec4b9c1-7d33-0410-9eda-942365e851bb |
95547a2378d57b19d32ab95eef2148d743e87288 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
propagate DOL prefixes to OWL/Manchester
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17493 cec4b9c1-7d33-0410-9eda-942365e851bb |
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced new API for prefixes and applied this to CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 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 |
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 |
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 |
51d64c2e160c971ea2ae1d4f1ddffe6a0a3b8f64 |
|
16-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added haskey for casl and also added missing translations for misc bits + nothing sentence in common logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15970 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 |
e69d3d11038eda98785a8a701a35e1a9540e041f |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
usually omit predefined prefix map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15884 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 |
1ebaf1c75df791367b21288ae01b3c21c2cda90d |
|
01-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
check if anonymous
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15811 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 |
94511a3fa8ed8c5aa34905f28b5c56640a995757 |
|
20-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
scanned, hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15618 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 |
094ca9e9dcba967a0541c60b8031927ea488334d |
|
08-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
parser adjusted to fit xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15496 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 |
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 |
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 |
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 |
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 |
82de12b5877efa82463c4940244a4fbdd6754903 |
|
24-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
eliminated checkLiteral -- no need to check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15304 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f287a16289686d027a50ac086cb7247b024b4d0 |
|
24-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
changed annotations printing to print on several rows
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15303 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 |
53a471ebabd1393c274f8f66193c502603f13162 |
|
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@15242 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 |
387a344719da288738d8d3c0cd767d2a24d9308d |
|
21-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Major modification MS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15235 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 |
29454fc45be6d7e3caec75e08a933cdf77db3453 |
|
20-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
man to fun added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15222 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 |