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
rejecting several axioms
names of symb_items for OWL
added a bunch of deriving Typeable and Data
extend morphisms by prefix renamings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15686 cec4b9c1-7d33-0410-9eda-942365e851bb
parser modified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15233 cec4b9c1-7d33-0410-9eda-942365e851bb
Major change OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15200 cec4b9c1-7d33-0410-9eda-942365e851bb