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
applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename
removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb
readded RDF as logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16940 cec4b9c1-7d33-0410-9eda-942365e851bb
chagned AS a bit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16912 cec4b9c1-7d33-0410-9eda-942365e851bb
expanded prefixed uris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16891 cec4b9c1-7d33-0410-9eda-942365e851bb
hlinted and scanned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16581 cec4b9c1-7d33-0410-9eda-942365e851bb
adjusted morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16580 cec4b9c1-7d33-0410-9eda-942365e851bb
added analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16529 cec4b9c1-7d33-0410-9eda-942365e851bb