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 |
31e8c991a19170655c5aeaad33e3c684459535b1 |
|
29-Feb-2016 |
mcodescu <mscodescu@gmail.com> |
do intersection of labels and annotation roles too |
9a46e7194fce1b73383479ba16f81e21c292722c |
|
24-Feb-2016 |
mcodescu <mscodescu@gmail.com> |
signature intersection for OWL |
bed4f1f668ac5d014595c17199fa786aacda4e4c |
|
15-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
also disambiguate different empty prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18303 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 |
431571057e88a650a974adec93ea4bb5173b6213 |
|
17-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
moved OWL2.Morphism frames crossing in OWL2.Function as instance of Function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15981 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0949afe66b701d624196bea79094dbfbeefa4ab |
|
02-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15836 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c2291b25eadfb81c4850bf7ea92a3168f547fa9 |
|
01-Aug-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15834 cec4b9c1-7d33-0410-9eda-942365e851bb |
41ddc1ba03dadd983308781ae8fd638c3faab453 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
shortened
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15801 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc05327b875b5723b6c17849b83477f29ec12c90 |
|
30-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added module OWL2.Function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15799 cec4b9c1-7d33-0410-9eda-942365e851bb |
e32f2729ffc4e828e41a528f47a4815d4a1689f0 |
|
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@15619 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e7fe479953725884826bd38e4779229d45d3a40 |
|
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@15573 cec4b9c1-7d33-0410-9eda-942365e851bb |
396f82c6cd926be759b60fd1e854acfde7068215 |
|
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@15572 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 |
1cc559ec103ed20967587fff2e39cc88669f7b8f |
|
14-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
get newOid function out of let
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15567 cec4b9c1-7d33-0410-9eda-942365e851bb |
1341e758a8a0785dd7063b93aed3989f13b36f2a |
|
14-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
get newOid function out of let
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15566 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 |
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 |
137edd3944aacd150d60af8977de962113ead859 |
|
13-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added Rename.hs for prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15560 cec4b9c1-7d33-0410-9eda-942365e851bb |