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 |
a5392e9807c04504e7a4e71300f78b4710eab444 |
|
01-Nov-2017 |
mscodescu <mscodescu@gmail.com> |
spacing |
3c5c7e3fbc88e305dfb8a017757da84b2565d919 |
|
29-Oct-2017 |
mscodescu <mscodescu@gmail.com> |
made node names different |
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7f |
|
22-Aug-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Complete TPTP support (#1707)
* Add option to print the AST in XML/JSON output. Turn it off by default.
* Add abstract syntax of TPTP.
* Add parens and brackets to Common.Lexer.
* Add TPTP Parser.
* Add TPTP Sign.
* Add TPTP Morphism.
* Add TPTP StaticAnalysis.
* Fix IRI character parsing.
* Add TPTP Pretty.
* Add TPTP Logic.
* Map the tptp and p file extension to the TPTP logic for input.
* Add LibDefn parser for TPTP.
* Write TPTP output.
* Add EProver to TPTP.
* Add TPTP Sublogics.
* Add SPASS prover to TPTP.
* Add Vampire prover to TPTP.
* Add Darwin prover to TPTP.
* Add Leo-II prover to TPTP.
* Add Geo-III prover to TPTP - It does not support a timeout.
* Add CVC4 prover to TPTP.
* Add Isabelle prover to TPTP.
* Make IRI compatible with TPTP library file names.
* Revert "fail if names of sentences appear as names of symbols #1630"
This is a combination of 3 commits:
* Revert "check that the Result has no errors"
This reverts commit 9542b929f3cfabf1491c3f0489acf92ba703968f.
* Revert "better error message"
This reverts commit a7ea46d4c76b11735234092d0a50efcbc56f9642.
* Revert "fail if names of sentences appear as names of symbols"
This reverts commit 2487bae09bf3aabc7085880aee616648fe5ca241.
* Fix usage of magic file
There were other (system) magic files invoked as well with a higher
priority. Using the MAGIC environment variable instead of the
argument --magic-file overrides this behaviour and only uses the
specified magic file.
* Fix magic file
The escaping of "@" and "(" is not needed.
The escaping of a trailing space in clif is needed.
* Add TPTP to magic file.
* Add Satallax prover to TPTP.
* Properly check for http[s] URIs.
* Allow file:// in libdirs.
* Allow only one http[s] libdir - Parse the port correctly.
* Fix all remaining parsing problems.
* Move functions to debug the parser to a separate module.
* Get rid of all TPTP related compiler warnings.
* Move the type 'Morphism' to 'TPTP.Morphism'.
* Rename: TPTP/Logic.hs -> TPTP/Logic_TPTP.hs
* Implement all_sublogics.
* Recognise negated_conjecture as a proof obligation. |
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 |
c0263f2502191e916802d2948aa2390e2228fdd0 |
|
11-Mar-2016 |
Stephan Günther <gnn.code@gmail.com> |
Fix type error |
9678295bf4ecb8e95802dde0b13689888f4dbac0 |
|
11-Mar-2016 |
Stephan Günther <gnn.code@gmail.com> |
Allow CURIE path component to start with digit |
14a8a9ee95fba05ed38d1699f110f666a96588e0 |
|
11-Mar-2016 |
Stephan Günther <gnn.code@gmail.com> |
Allow '.' and "-" in path component of CURIE |
261f520379e852f8cfab27b42bced9271137b8d4 |
|
29-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
avoid a freshly parsed position |
8c11745ab2ec8c39fc7901263c19f2be00dd7ea6 |
|
29-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
keep abbreviated parts for pretty printing |
0ab50a558132ead2991580e4688d63804eb335ae |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
only allow full IRIs in prefix maps |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
39f54506ddf420d74afeeec4065ebf7222aca364 |
|
31-Oct-2014 |
SillyCodeValley <SillyCodeValley@users.noreply.github.com> |
Revert "1366 dol parsing" |
076e09a2959e27382d49f94f283c0a49ae641029 |
|
29-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
switch to CURIEs and IRI _references_ in angles |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
b1f2971b105e6da3f4722315e0a0e2abef96e66f |
|
19-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use proper percent encoding |
01ddc4cad68fa84b4e9dd41089ad876329bae5b0 |
|
03-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed ankle to angle bracket
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18568 cec4b9c1-7d33-0410-9eda-942365e851bb |
5214ba03c2f89ef5915ff5e1877c5b892f420238 |
|
07-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove trailing colon for lookup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18533 cec4b9c1-7d33-0410-9eda-942365e851bb |
b888026924b8fbf08dedd683969300ffb961392e |
|
06-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly print ankle brackets using ShowS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18531 cec4b9c1-7d33-0410-9eda-942365e851bb |
9005b07df2277a9fefca6868cd00c1c39533a9fb |
|
13-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18387 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7fcf9ee65afff7f56a6894d77b6f06f00214909 |
|
13-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
unset position of parsed iris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18386 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f2a949bc1792d1a40c18a31f7ec4ed9d23e8154 |
|
13-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not create download items for missing imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18385 cec4b9c1-7d33-0410-9eda-942365e851bb |
2bf1308732e44fd77bf70a5698ebe77e62d06df6 |
|
06-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
ensure ankle brackets in expanded curies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18375 cec4b9c1-7d33-0410-9eda-942365e851bb |
1903551035f3a67e65f7836b3e393f8196100904 |
|
06-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted ankle information into IRI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18371 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd9ab23d84f402532a6b651f6463e0c3bdb60cfd |
|
06-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed vom IRI stuff that we do not need
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18370 cec4b9c1-7d33-0410-9eda-942365e851bb |
0571e9583759384c2279e67871df97642eb26da1 |
|
22-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18328 cec4b9c1-7d33-0410-9eda-942365e851bb |
acf864719a88d9049259c4c04a7c5879a1b6a8e3 |
|
04-Nov-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
fixed 'use' keyword to support 'foo#bar' notation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17603 cec4b9c1-7d33-0410-9eda-942365e851bb |
493d0ebc0e7f4c43b0d297d478a4f718e5fbfaa1 |
|
10-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Common.IRI instead of Network.URI for escaping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17171 cec4b9c1-7d33-0410-9eda-942365e851bb |
5980599d19a7227091466652b1d14e781db2977a |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored further
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17166 cec4b9c1-7d33-0410-9eda-942365e851bb |
e10c4ad7f0060b399f9bdbb00cb157a9a2fee348 |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored using iriReference and changed iriCurie
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17165 cec4b9c1-7d33-0410-9eda-942365e851bb |
985571eb326ab1306f05dab80f5584ed20fed94a |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
should decimal not oct
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17149 cec4b9c1-7d33-0410-9eda-942365e851bb |
545949b4e9a60032662bb7f6aeb01194e0934eba |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused code and removed type synonym
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17148 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab7ea3b07c5f4ac4ff1bde593546eb5e1ee0e07a |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted range check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17147 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e1a8f9ea2e804a8d8199a23e17a20f4382975ef |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected ranges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17146 cec4b9c1-7d33-0410-9eda-942365e851bb |
bcd714f4e2fd0a8d20d33899d24b69b75a3cede5 |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17145 cec4b9c1-7d33-0410-9eda-942365e851bb |
b707e4812a435cf79635d63d21236c37def1caae |
|
26-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
preserve iri position when expanding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16977 cec4b9c1-7d33-0410-9eda-942365e851bb |
2277e3c89bffb318ddb1f5a4fd2b148155010045 |
|
01-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
changed documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16842 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f924f616bdcf5da97a6f70a7f81af7655af32c8 |
|
30-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed bug in toString functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16840 cec4b9c1-7d33-0410-9eda-942365e851bb |
3469fa28a5f2e3288f5c5cf3bfe09e194c2b3663 |
|
30-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
improved toString functions (full iri/short iri)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16839 cec4b9c1-7d33-0410-9eda-942365e851bb |
e534d54d23c6c16ff07851c5bb1d5a970049c8b4 |
|
30-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
simplified localname extraction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16837 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b8170ae7316dab089edd8cc3ec8de34576961c7 |
|
30-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added localname extraction to IRI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16836 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c05d3e0595847e206525a4788dccf65a25a5865 |
|
30-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
empty prefix with colon not allowed anymore
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16835 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ce020a9257f3aa096a3c8f9cce4eb61d2741011 |
|
16-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
test the whole string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16810 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe656923fef897857a32d6de89a3196571ca2427 |
|
16-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added CURIE-expansion for CL
added full IRI to String method without brackets
enclosedname and quotedstring parsers keep the quotes
fixed cl-comment parser and printer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16808 cec4b9c1-7d33-0410-9eda-942365e851bb |
b99565f5d3a16f3d681f0847210b4d43d31abd24 |
|
14-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
removed unnecessary prefix-declaration
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16806 cec4b9c1-7d33-0410-9eda-942365e851bb |
de3fefc2233ec1724884da99dcc3703174651b21 |
|
14-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added exception for prefix lookup, removed unnecessary line
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16805 cec4b9c1-7d33-0410-9eda-942365e851bb |
54a08d99d6733842a51b1a6c578af6db86ff7bbf |
|
14-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed CURIE to IRI expansion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16804 cec4b9c1-7d33-0410-9eda-942365e851bb |
a949a2aa2e6db4fee0150c7fc87d2b8e19d71449 |
|
11-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow prime and slash in hetsIRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16790 cec4b9c1-7d33-0410-9eda-942365e851bb |
65ce9a44669214f44a808044501565102e04e3fb |
|
11-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
corrected documentation mistake
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16785 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3e333e04a628009af94d9fc874c4364725cbb3e |
|
10-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified ipv6address parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16777 cec4b9c1-7d33-0410-9eda-942365e851bb |
baa435ab62dc2f5b97bc831f4cfa27b1558798a3 |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed IRI.compare on CURIEs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16776 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e01ba94cb504e8bee124807390e9c2b49be8c7d |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned IRI code, removed IRIType, changed iriToStringX functions to use brackets on full IRI, fixed IRI expansion bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16775 cec4b9c1-7d33-0410-9eda-942365e851bb |
3554301a34639efb6c9961a8571775d0061284c9 |
|
10-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
generate ATC.IRI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16774 cec4b9c1-7d33-0410-9eda-942365e851bb |
da5ff3703cc54721f3536212455d6348550057a0 |
|
10-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved tests and comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16772 cec4b9c1-7d33-0410-9eda-942365e851bb |
d91cf31154d576fcb57d875e8621f7fc2389b139 |
|
08-Apr-2012 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
fixed compilation error from R.16767
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16769 cec4b9c1-7d33-0410-9eda-942365e851bb |
beb165291db308df7cae2c4b1a1fdd8ce913205e |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
improved Ord instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16767 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a8cd9d6e48924ba4d2ff967eab2dbac17fe7c23 |
|
05-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up mostly parser stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16766 cec4b9c1-7d33-0410-9eda-942365e851bb |
4461c838d986278de476dfb7843c0f3f9b088d17 |
|
05-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added better tests to replace IRIType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16765 cec4b9c1-7d33-0410-9eda-942365e851bb |
505d0c4360a71e4e7f80f1661ad64a249bb65b0f |
|
05-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@bf5ee0268b52a1ae4f2275ea5e39ff57d7c5d5c3 to fix #1018 again (and removed warnings)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16764 cec4b9c1-7d33-0410-9eda-942365e851bb |
5234ff2b6526d88de1d97a03c058e1c9cc48f695 |
|
05-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed haddock comment for the position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16762 cec4b9c1-7d33-0410-9eda-942365e851bb |
823c8eb15961960517300af6a7bf3e1ff2b36a8c |
|
05-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Added Ord Instance, moved Pretty instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16759 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1eff8f8127d646590119e59596b023e38de5783 |
|
04-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed iriType, added custom Eq-Instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16758 cec4b9c1-7d33-0410-9eda-942365e851bb |
08444813af2fade39f88fc4bd7c6465452915668 |
|
04-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added IRITypes, toString functions, CURIE-Expansion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16757 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf5ee0268b52a1ae4f2275ea5e39ff57d7c5d5c3 |
|
03-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed to iri path to fix #1018
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16756 cec4b9c1-7d33-0410-9eda-942365e851bb |
4aeea3e8e2e838518e7cc0318cf3bbfccc78063a |
|
03-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16753 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
c437ed4dfe7d1452abfef361cc82fb614a945745 |
|
26-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed recursion bug in IRI, added CURIE-parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16747 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2defad2782ad05d47b7ffb530c2ad88ee8a2cd8 |
|
26-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
more cleaning of IRI datatype
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16746 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e603040e601e94a419e228cae86707206689f77 |
|
26-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned IRI datatype
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16745 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e214c2b58c1df27f3f491df00e9526ffd6c6973 |
|
24-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Datentyp IRI hinzugefügt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16744 cec4b9c1-7d33-0410-9eda-942365e851bb |