History log of /hets/OWL2/AS.hs
Revision Date Author Comments Expand
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

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/AutoProofUtils.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/Data.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/FileType.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/Http.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Json.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lattice.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Maybe.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Percent.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SAX.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/Unlit.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlDiff.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/XmlPickler.hs /hets/Common/testxmldiff.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs AS.hs CASL2OWL.hs ColimSign.hs ColonKeywords.hs Conservativity.hs CreateOWL.hs DMU2OWL2.hs Extract.hs ExtractModule.hs Function.hs Keywords.hs Logic_OWL2.hs MS.hs MS2Ship.hs ManchesterParser.hs ManchesterPrint.hs Medusa.hs MedusaToJson.hs Morphism.hs OWL22CASL.hs OWL22CommonLogic.hs Parse.hs ParseOWL.hs ParseOWLAsLibDefn.hs Print.hs Profiles.hs ProfilesAndSublogics.hs Propositional2OWL2.hs ProveFact.hs ProvePellet.hs ProverState.hs Rename.hs ShipSyntax.hs Sign.hs StaticAnalysis.hs Sublogic.hs Symbols.hs Taxonomy.hs Theorem.hs Translate.hs XML.hs XMLConversion.hs XMLKeywords.hs scripts/runConv.hs scripts/runManchester.hs scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
d500a2dce0d9ebcc9645492af851667d1fbba9d2 11-Mar-2016 mcodescu <mscodescu@gmail.com>

don't use prefixes to disambiguate in colimits and alignments
96d8cf9817eeb0d26cba09ca192fc5a33e27bc09 11-Mar-2016 mcodescu <mscodescu@gmail.com>

analysis of alignments and non-imported symbols in colimit
82f8878c2714284066ef83c6b8a482ffa53e855d 20-Feb-2015 cmaeder <c.maeder@jacobs-university.de>

changed dol/owl default prefix
437db42248d4e92184bf34417043a8fe891c751b 20-Feb-2015 cmaeder <c.maeder@jacobs-university.de>

added a refined check of the expanded OWL name for the dol example an expanded name (with empty prefix) "http://www.dfki.de/sks/hets/ontology/unamed#integer" was input to OWL2.AS.checkPredefAux (The "unamed" IRI should be changed)
6470a08d94430381c14ed30c3a3a8e433401352b 13-Feb-2015 cmaeder <c.maeder@jacobs-university.de>

refined testing for predefinded IRIs As this test is also used when printing, expanded IRIs should only be disregarded when the prefix is empty.
63946b0fc89de113d5bf4819f9c8cc5d6adce810 13-Feb-2015 cmaeder <c.maeder@jacobs-university.de>

check only if unexpanded IRIs are predefined XML creates expanded IRIs without a prefix. "function Expand" checked for a predefined local part (and a missing or matching prefix) and inserted a missing prefix (which caused the problem of #1431). This patch now only considers unexpanded IRIs as predefined. Another minor change ensures that a prefix is always only set, when it was empty before. This was not case for the rdfs annotation properties: label, comment, seeAlso, isDefinedBy
47589c2d80dabefc0cd8e2ee5e7331e3db677c68 23-Oct-2014 notanartist <notanartist@outlook.com>

implemented OWL2.AS.pairSymbols, and did run scan and fixed stuff
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
1a38107941725211e7c3f051f7a8f5e12199f03a 08-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added a bunch of deriving Typeable and Data

/hets/Adl/As.hs /hets/Adl/Sign.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Morphism.hs /hets/CASL/Sign.hs /hets/CASL/Sublogic.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/Sublogics.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Morphism.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/TreePO.hs /hets/CSMOF/As.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Consistency.hs /hets/Common/DefaultMorphism.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/Json.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Rel.hs /hets/Common/LibName.hs /hets/Common/OrderedMap.hs /hets/Common/Prec.hs /hets/Common/ProofTree.hs /hets/Common/Result.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Sign.hs /hets/Framework/AS.hs /hets/FreeCAD/As.hs /hets/HasCASL/As.hs /hets/HasCASL/Le.hs /hets/HasCASL/Sublogic.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Sublogic.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Isabelle/IsaSign.hs /hets/LF/AS.hs /hets/LF/Morphism.hs /hets/LF/Sign.hs /hets/Logic/Comorphism.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Maude/AS_Maude.hs /hets/Maude/Morphism.hs /hets/Maude/Sentence.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/ModalSign.hs /hets/OMDoc/OMDocInterface.hs AS.hs MS.hs Morphism.hs Parse.hs Print.hs Profiles.hs ProfilesAndSublogics.hs Sign.hs Sublogic.hs Symbols.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Morphism.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Morphism.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QVTR/ATC_QVTR.hs /hets/QVTR/As.hs /hets/QVTR/Sign.hs /hets/RDF/AS.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Sign.hs /hets/SoftFOL/Sign.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/Sign.hs /hets/THF/Sublogic.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Morphism.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/TopHybridSign.hs /hets/VSE/As.hs /hets/var.mk
407f3d9049715c5d96f014a5a1776410e034db83 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

shortened
c4ca03cce9571a309b1c173e9d5d27fdb8843abd 03-Apr-2014 Christian Maeder <Christian.Maeder@dfki.de>

typo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18570 cec4b9c1-7d33-0410-9eda-942365e851bb
6d907570443508c99867ea29ddf5e5cb0a2ef8c2 12-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

reverting spechub/Hets@f8c3d045dda224e92bf6bcb6288e1ee75ab54d1e since keyword sets are slower than lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18546 cec4b9c1-7d33-0410-9eda-942365e851bb
6033265e7b4ae660eff78e944213286863304903 10-Mar-2014 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

reverted equality test for QName git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18543 cec4b9c1-7d33-0410-9eda-942365e851bb
e40758c36e3e5312669558ad189b24b3eaf10c59 10-Mar-2014 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

static analysis of alignments, library level and for logic OWL2, first attempt git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18542 cec4b9c1-7d33-0410-9eda-942365e851bb
6856a07e36551ed6fadd7c01e7152a3a28878a6f 10-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

speeded up matching predefined names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18540 cec4b9c1-7d33-0410-9eda-942365e851bb
e26bfed39ffa184453272125a4adf147206eac74 07-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

precompute constant maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18538 cec4b9c1-7d33-0410-9eda-942365e851bb
f8c3d045dda224e92bf6bcb6288e1ee75ab54d1e 07-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

changed OWL keyword lists to sets (hoping for more speed) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18536 cec4b9c1-7d33-0410-9eda-942365e851bb
090c663fcc1593c66f39a0972326799a672760d5 19-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

added rdf:string as keyword #1214 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18409 cec4b9c1-7d33-0410-9eda-942365e851bb
707454ba169478cbf17b91b53f8f0aa2ff8a89be 06-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

moved code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18368 cec4b9c1-7d33-0410-9eda-942365e851bb
38d1e6089bf79d78fcc8748ea6ca3d202f5b9154 15-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

removed and corrected use of type synonym git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17192 cec4b9c1-7d33-0410-9eda-942365e851bb
1075744775ba70c9ef6cdd06523204751f544ed5 27-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17070 cec4b9c1-7d33-0410-9eda-942365e851bb
e0c2bc4ba02902c20dae5c2e7a9bc25dbcfdfa49 27-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

handled the tests in OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17069 cec4b9c1-7d33-0410-9eda-942365e851bb
02c522d7af110fcad567e3db59f444185ad2c22e 15-Jun-2012 Felix Gabriel Mance <f.mance@jacobs-university.de>

some tweaks git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16943 cec4b9c1-7d33-0410-9eda-942365e851bb
68de80eb2800338cbd16512106fcadab79325d8b 12-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

improved range spans git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16713 cec4b9c1-7d33-0410-9eda-942365e851bb
669b3375925f7a145d287fa89f3a815708dbe7a1 08-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

compute syms of sentences for OWL2 and fixed one half of #1008 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16692 cec4b9c1-7d33-0410-9eda-942365e851bb
92ae4d5885ea837ffe3dae9b2de742f871229b94 22-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

added button to show symbols #999 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16669 cec4b9c1-7d33-0410-9eda-942365e851bb
3980dee81f793b601da33adea1b55753bab868a9 23-Jan-2012 Felix Gabriel Mance <f.mance@jacobs-university.de>

modified getReservedPrefix git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16627 cec4b9c1-7d33-0410-9eda-942365e851bb
19e01e1a7e319063434bd86c8ecbc5f241ef9993 28-Dec-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

adjusted morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16580 cec4b9c1-7d33-0410-9eda-942365e851bb
771c32080c77497c6c023a3b1c422f7daf3773f7 01-Sep-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

reduced code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16072 cec4b9c1-7d33-0410-9eda-942365e851bb
a03c109eabfe250e4b57bdf44f37f53751a65df4 01-Sep-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

put all datatypes in the sublogics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16069 cec4b9c1-7d33-0410-9eda-942365e851bb
0c3badd7ad83eb89f64ef5ed1122c4fa856fb45d 30-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

cleaned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16056 cec4b9c1-7d33-0410-9eda-942365e851bb
d850dba73b02f345f64a3546d0f0299c292f88d6 30-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

also check annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16055 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
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
083b2687afdb676237f926bdb643b24027291d05 30-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

moved some keywords to OWL2.Keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16050 cec4b9c1-7d33-0410-9eda-942365e851bb
4b7c9b9fec53befb553f2c9b11e30a4fe2235e03 27-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

changes to owl22casl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16037 cec4b9c1-7d33-0410-9eda-942365e851bb
6504b297e21d071d8fada2f732cabb6d8f7d38a2 27-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added top and bottom properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16036 cec4b9c1-7d33-0410-9eda-942365e851bb
863fa65ac095659c6da1cde7fe7b839f1e7f60f9 27-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

also check literals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16035 cec4b9c1-7d33-0410-9eda-942365e851bb
1b90322eaf59ded3de24fc891bd67bbd73ec2bfa 27-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added remaining datatypes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16034 cec4b9c1-7d33-0410-9eda-942365e851bb
ab72ebade3d901d3857bf76626216456b83ebdc6 24-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16016 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
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
ac222650eff05099d9fc69240c7c2d29ab5f99b7 08-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

quoted nr lits git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15914 cec4b9c1-7d33-0410-9eda-942365e851bb
551caf6791c20ff4ca928f93c520b85648693958 05-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

hlinted and scanned files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15906 cec4b9c1-7d33-0410-9eda-942365e851bb
d66846429fcdd6882e62c7e5b911f98b3812ff09 05-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

negDec swapped if git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15904 cec4b9c1-7d33-0410-9eda-942365e851bb
511be329b2e8f55d0c6b18bd92571a1776b15932 05-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

xml literals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15901 cec4b9c1-7d33-0410-9eda-942365e851bb
52991d9b46a98ad6a9020421a3244950b0f8a522 05-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

datatypes modified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15891 cec4b9c1-7d33-0410-9eda-942365e851bb
cbb0a924599bcaea230e7dcd2892cc91c49319ae 05-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored OWL sign parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15883 cec4b9c1-7d33-0410-9eda-942365e851bb
c704da29ad5d9d00c07e75f9109442d178dd990b 04-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

literals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15878 cec4b9c1-7d33-0410-9eda-942365e851bb
a4a1b0cfce938fc38d5924b8fb6a7e140602ec5c 04-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

number literals for xml conversions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15874 cec4b9c1-7d33-0410-9eda-942365e851bb
b1162cc13e8371724e3382ae6d1cfdeb43891fbb 03-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

added number literals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15865 cec4b9c1-7d33-0410-9eda-942365e851bb
5a3ae0a9224276de25e709ef8788c1b9716cd206 02-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

corrected haddock comments git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15840 cec4b9c1-7d33-0410-9eda-942365e851bb
ffa6044b04fa0e31242141ff56a5d80c4233b676 01-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

cleaning git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15833 cec4b9c1-7d33-0410-9eda-942365e851bb
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2 01-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

set prefix xsd or owl for reserved keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15832 cec4b9c1-7d33-0410-9eda-942365e851bb
83f5f3291f9b40fa688776b4da10b5fa102a5ff8 01-Aug-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added literal translation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15822 cec4b9c1-7d33-0410-9eda-942365e851bb
dc8c83e9922e4746c192916565f3522418534f3a 30-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

expand also literals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15792 cec4b9c1-7d33-0410-9eda-942365e851bb
18ff56829e5e99383ee6106584d55bcbd8ed45e7 30-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added haddock comments in XMLs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15791 cec4b9c1-7d33-0410-9eda-942365e851bb
4c684d7a2343be7350eba088f8be42888f86a495 30-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

isAnonymous fixed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15790 cec4b9c1-7d33-0410-9eda-942365e851bb
668c9c725a11c0f77057152148570af853a1bc0d 30-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

replaced isFullIri with iriType to contain nodeID, adjusted parsers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15789 cec4b9c1-7d33-0410-9eda-942365e851bb
8526b5a83ad3e1434d49e67f2dfc4af9ec91a7e4 26-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed comparison (again) for renamings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15709 cec4b9c1-7d33-0410-9eda-942365e851bb
1b1144abf7f95a4b23405b8d5604813cfe7b036a 25-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

more tests added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15689 cec4b9c1-7d33-0410-9eda-942365e851bb
75aaf82c430ad2a5cf159962b1c5c09255010fb4 25-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added file extract.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15677 cec4b9c1-7d33-0410-9eda-942365e851bb
be2439588008221e691321fdf4f75432cfb72878 21-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

cleaned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15667 cec4b9c1-7d33-0410-9eda-942365e851bb
fd7c9634a70f1bb26786c647a2d057a57fe49383 21-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

reverted spechub/Hets@795d6b80bf6e3a4784a51cfa7b36f7bf3f09ed32 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15656 cec4b9c1-7d33-0410-9eda-942365e851bb
795d6b80bf6e3a4784a51cfa7b36f7bf3f09ed32 21-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed comparison of iris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15654 cec4b9c1-7d33-0410-9eda-942365e851bb
e93f944968a75becbfb496994b85263b9cc1669f 21-Jul-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

isThing test added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15645 cec4b9c1-7d33-0410-9eda-942365e851bb
e99c3c1f572d0442872bba58f187ca520ef5d040 20-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

scanned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15621 cec4b9c1-7d33-0410-9eda-942365e851bb
c77c0efe19dc6556ac872828bfb4cfc5fbca5ac5 20-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

scanned git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15620 cec4b9c1-7d33-0410-9eda-942365e851bb
44985cbd4eb61dbc348617ebdd44a774e51dac07 18-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

centralized isDatatypeKey test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15597 cec4b9c1-7d33-0410-9eda-942365e851bb
fc7bd98aabe1bc26058660085e8c77d60a97bcec 18-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

improved error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15595 cec4b9c1-7d33-0410-9eda-942365e851bb
852bd6145634dc2832b61c44678fe539bc1682d5 18-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

added positions to iris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15594 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
0ec1551231bc5dfdcb3f2bd68fec7457fade7bfd 13-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added Expand.hs which expands the uris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15555 cec4b9c1-7d33-0410-9eda-942365e851bb
806e8e0fe1a46ce1523c0d7804f1c193321f7981 13-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed instance Ord QName git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15540 cec4b9c1-7d33-0410-9eda-942365e851bb
ea3f858eb531d981df3ed00beeadd99cf025adec 08-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

added setPrefix function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15504 cec4b9c1-7d33-0410-9eda-942365e851bb
64b3516ec55bd96646bf44076360467b01d13510 07-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

SubObjectPropertyExpression are unused git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15480 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
bf47922605c34ddeb05f77188da395945ac2a2c8 28-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

cleaning git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15391 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
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
53258f9d2ee57bd4bf94b79240b29478821ed391 24-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

moved AnnotationAxiom data type from AS to FS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15301 cec4b9c1-7d33-0410-9eda-942365e851bb
1435782fda52a2898ea74e99088351d4f5b450dc 24-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up a bit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15298 cec4b9c1-7d33-0410-9eda-942365e851bb
5d801400993c9671010d244646936d8fd435638c 24-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

untabified and cleaned up haddock header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15297 cec4b9c1-7d33-0410-9eda-942365e851bb
15f3de39c0f1db5f5adf6180d956e7dc578c3f52 24-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

changed datatype restriction git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15284 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
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
fb838d1a14ab749e49320d633bf31f376b50c95e 21-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Changes to man syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15238 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
ba2c0d8be230f0b274cf3e0013e3844a80d9afd4 20-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

extended EquivOrDifferent git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15226 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
9038ae2ffc9b0a0c61f042668b1b3d9e5a2f1a8f 17-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Warnings eliminated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15202 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
968930c7674ae3b63d308bf4fa651400aa263054 17-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed typeable stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15180 cec4b9c1-7d33-0410-9eda-942365e851bb
962c83276bc80dd04f4a83e47eb81524d5294a4f 17-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

made separate parser for ontology files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15177 cec4b9c1-7d33-0410-9eda-942365e851bb
dd3c105fcc30b5d6b750d8fbe32250207b996109 16-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Uncommented fields AS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15162 cec4b9c1-7d33-0410-9eda-942365e851bb
ad31b4bf8b1394d8ed091857b0dc1027ed1eaa1e 16-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

ManchesterSyntax added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15160 cec4b9c1-7d33-0410-9eda-942365e851bb
9cb6af1a7632f12b60f592ce5eb2ac51e6bd33bb 15-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Parser updated, AS changed, Print individuals modified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15140 cec4b9c1-7d33-0410-9eda-942365e851bb
6a058c55573e9bbb71cee8a7361ef12bfaedd9ef 14-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

readjusted annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15122 cec4b9c1-7d33-0410-9eda-942365e851bb
a921ae1da1302f673204e7b63cdce01439a9bd5e 09-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Added Pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15102 cec4b9c1-7d33-0410-9eda-942365e851bb
097bc9f18b722812d480df0f5c634d09cbca8e21 09-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Pretty printing updated to OWL 2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15101 cec4b9c1-7d33-0410-9eda-942365e851bb
8599d8db7a299b782ccc64b47ae685799523b4d4 07-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Renamed StringLiterals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15082 cec4b9c1-7d33-0410-9eda-942365e851bb
8af00c8930672188ae80c8829428859160d329d0 07-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Adjusted to OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15081 cec4b9c1-7d33-0410-9eda-942365e851bb
c298a419605037f5352b5ad0f67b3e06db094051 06-Jun-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

Added directory OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15059 cec4b9c1-7d33-0410-9eda-942365e851bb