History log of /hets/OWL2/ParseOWLAsLibDefn.hs
Revision Date Author Comments Expand
649fdc0d0502d62d160c150684356fef2c273484 11-Feb-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

1811 provide graphql api (#1829) * Fixme (Remove 'True') - Add GraphQL starting point to the web server. * Add GraphQL Schema. * Experiment with the graphql-api package. * Remove the graphql-api package again. * Respond with GraphQL mimics. * Add types for GraphQL mimicking. * Add example queries. * Add proof of concept database fetching. * Add Signature query resolver. * Add SignatureMorphism query resolver. * Add missing key to result JSON. * Add Serialization resolver. * Split code for conversion and retrieval of data. * Fix indentation. * Add OMS query. * Add DGraph query. * Remove commit and document from example queries. * Remove GraphQLApi constructor again. * Save libenv to database via RESTful interface. * Fix line lengths * as library name, ensure a URL containing, in case of file://, an absolute file path * correction: urls should not be treated as file path * avoid re-reading for xmi and qvt; corrected computation of full filename * strip file:// prefix for OWL parser * strip file:// prefix for QVT parser * introduced utility function tryToStripPrefix * strip file:// when writing files

/hets/CSMOF/ParseXmiAsLibDefn.hs /hets/Common/Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/GUI/GtkProverGUI.hs /hets/Hets.cabal /hets/Interfaces/Utils.hs ParseOWL.hs ParseOWLAsLibDefn.hs Taxonomy.hs /hets/PGIP/GraphQL.hs /hets/PGIP/GraphQL/Resolver.hs /hets/PGIP/GraphQL/Resolver/DGraph.hs /hets/PGIP/GraphQL/Resolver/OMS.hs /hets/PGIP/GraphQL/Resolver/Serialization.hs /hets/PGIP/GraphQL/Resolver/Signature.hs /hets/PGIP/GraphQL/Resolver/SignatureMorphism.hs /hets/PGIP/GraphQL/Resolver/ToResult.hs /hets/PGIP/GraphQL/Result.hs /hets/PGIP/GraphQL/Result/Axiom.hs /hets/PGIP/GraphQL/Result/Conjecture.hs /hets/PGIP/GraphQL/Result/ConservativityStatus.hs /hets/PGIP/GraphQL/Result/DGraph.hs /hets/PGIP/GraphQL/Result/DocumentLink.hs /hets/PGIP/GraphQL/Result/FileRange.hs /hets/PGIP/GraphQL/Result/IdReference.hs /hets/PGIP/GraphQL/Result/Language.hs /hets/PGIP/GraphQL/Result/LanguageMapping.hs /hets/PGIP/GraphQL/Result/Library.hs /hets/PGIP/GraphQL/Result/LocIdReference.hs /hets/PGIP/GraphQL/Result/Logic.hs /hets/PGIP/GraphQL/Result/LogicMapping.hs /hets/PGIP/GraphQL/Result/Mapping.hs /hets/PGIP/GraphQL/Result/NativeDocument.hs /hets/PGIP/GraphQL/Result/OMS.hs /hets/PGIP/GraphQL/Result/OMSSimple.hs /hets/PGIP/GraphQL/Result/PremiseSelection.hs /hets/PGIP/GraphQL/Result/Reasoner.hs /hets/PGIP/GraphQL/Result/ReasonerConfiguration.hs /hets/PGIP/GraphQL/Result/ReasonerOutput.hs /hets/PGIP/GraphQL/Result/ReasoningAttempt.hs /hets/PGIP/GraphQL/Result/Sentence.hs /hets/PGIP/GraphQL/Result/Serialization.hs /hets/PGIP/GraphQL/Result/Signature.hs /hets/PGIP/GraphQL/Result/SignatureMorphism.hs /hets/PGIP/GraphQL/Result/StringReference.hs /hets/PGIP/GraphQL/Result/Symbol.hs /hets/PGIP/GraphQL/Result/SymbolMapping.hs /hets/PGIP/GraphQL/exampleQueries/dgraph.graphql /hets/PGIP/GraphQL/exampleQueries/oms.graphql /hets/PGIP/GraphQL/exampleQueries/serialization.graphql /hets/PGIP/GraphQL/exampleQueries/signature.graphql /hets/PGIP/GraphQL/exampleQueries/signatureMorphism.graphql /hets/PGIP/Server.hs /hets/PGIP/Shared.hs /hets/Persistence/DevGraph.hs /hets/Persistence/Schema.hs /hets/Persistence/Utils.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/Static/AnalysisLibrary.hs /hets/stack.yaml
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
7af6ad49991a7f73b5d4233c89648a5a523f72bd 15-Mar-2016 Till Mossakowski <till@communtu.de>

avoid cyclic import
eee5834517811afb4bc2c6d94b1f3011708b7479 24-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

also return OWL errors as results
dc62afbf79603699b39b2387f48298634f642e67 12-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

copied changes for dol-parsing into new branch
8078189a3f3b68aec8bfa7be3b1a2a00303887eb 06-Nov-2014 notanartist <notanartist@outlook.com>

run checksource..
7bf6fd9cf7a2649a7ec8c72e47ebc69855e3ca84 06-Nov-2014 notanartist <notanartist@outlook.com>

orig document is reloaded when storing OWL output types via the owl api. the file name parsing was also fixed..
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
55418571035e370a509039a3ba9fd86cbbc5dbe8 14-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

cabal install failed with DoAndIfThenElse
da5d81f8720c3b184241f413620169453e919b69 01-Sep-2014 notanartist <notanartist@outlook.com>

removed warnings
87f170fe5d2f9ad6564710c3beeaa5760fa96042 01-Sep-2014 notanartist <notanartist@outlook.com>

..ooooops
036197d7afef755a59cab90db7e80f8e84397769 01-Sep-2014 notanartist <notanartist@outlook.com>

deleted unused method
9e6789e67e329416d7f3acf0e7b8367b8dea991b 29-Aug-2014 notanartist <notanartist@outlook.com>

writing of owl files improved. still experimental
cb1cd9961272198285b35e3e3405c4872a26039a 25-Aug-2014 notanartist <notanartist@outlook.com>

expat.parse actually needs owl.xml to work properly..
ab2eda6997430fc16acdf5c7b188234b95e06ac4 25-Aug-2014 notanartist <notanartist@outlook.com>

keep temp files for debugging
5a4f61f810ca32f70a9a7cd1be73c8e5e3a83d20 25-Aug-2014 notanartist <notanartist@outlook.com>

experimental build-in writing functionality via the java parser. does not work when called as of now; the parser fails to read gTh from file in its current format
b1d1bda618f7b145c28645f39b0ca651b8001eba 25-Aug-2014 notanartist <notanartist@outlook.com>

work in progress. tried to get javaparser to store different formats on same run; as of now java has to be called each-time for that, but then it works
ae0124755bed317b3e11afe1c6275fdb488807ac 25-Aug-2014 notanartist <notanartist@outlook.com>

allowed for multiple owl output files/formats with the java parser. the different renderers from owl-api are employed; unfortunately they all seem to output the same owl.xml style file..
3e8791e6f2266100301868f30fc186392bf064d5 25-Aug-2014 notanartist <notanartist@outlook.com>

removed passig of output type to java-parser for now, because Expat.parse expects owl.xml anyways. might re-use option in seperate function to enable writing owl-output via the java parser
f79175f2c52a2d588934ba75c1994892c6fa4918 25-Aug-2014 notanartist <notanartist@outlook.com>

no functionality, just formatting
c7d44bc923b7eb1a01abd095cd004030fee589ea 25-Aug-2014 notanartist <notanartist@outlook.com>

added more options to the java-parser. can set input and output filetype now. ..also added char-escape for omn output
f6d9d0e4c6a681672cdfd5f6886a12569a87cb65 25-Aug-2014 notanartist <notanartist@outlook.com>

keep temp files for debugging
fc969e97fa885f099bead91f0d791c4a90bedb37 20-Aug-2014 notanartist <notanartist@outlook.com>

experimental build-in writing functionality via the java parser. does not work when called as of now; the parser fails to read gTh from file in its current format
13eb90466b4deb00aa5623cf13e4ea2054e3f7a1 20-Aug-2014 notanartist <notanartist@outlook.com>

work in progress. tried to get javaparser to store different formats on same run; as of now java has to be called each-time for that, but then it works
38f5b89d5bb8fd4cbdecd1bb9c16cc5dad728047 19-Aug-2014 notanartist <notanartist@outlook.com>

allowed for multiple owl output files/formats with the java parser. the different renderers from owl-api are employed; unfortunately they all seem to output the same owl.xml style file..
3ba8875fcf295efe6b5db340f93c23439f999797 19-Aug-2014 notanartist <notanartist@outlook.com>

removed passig of output type to java-parser for now, because Expat.parse expects owl.xml anyways. might re-use option in seperate function to enable writing owl-output via the java parser
8e9214c40b6764dc73d7926e0b41173ceaa7dad0 12-Aug-2014 notanartist <notanartist@outlook.com>

no functionality, just formatting
90f2701847982938e41a537c54b1ab3446124c52 12-Aug-2014 notanartist <notanartist@outlook.com>

added more options to the java-parser. can set input and output filetype now. ..also added char-escape for omn output
7ca6e1b0867fc982f00128017f530b433ea8a37f 22-Apr-2014 Christian Maeder <Christian.Maeder@dfki.de>

report missing imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18576 cec4b9c1-7d33-0410-9eda-942365e851bb
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
da5b7a9907d7e4f3bed31ae76dff8bbe562ef8b3 04-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

parse within IO for optimizations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18522 cec4b9c1-7d33-0410-9eda-942365e851bb
21c494a5aa38d00df2832a60a45739040768ab69 28-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

removed unused import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18515 cec4b9c1-7d33-0410-9eda-942365e851bb
8890c291ae8120c275f8a88594ecd23f78b80013 28-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

let java check for file name or uri git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18513 cec4b9c1-7d33-0410-9eda-942365e851bb
37499ac3ebffcd34ef982300b1c65be77621a6db 25-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

changed import to make it compile without hexpat git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18510 cec4b9c1-7d33-0410-9eda-942365e851bb
2af07f9e14a8f73879dbb402c1399d7f12d432a1 20-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

properly name ontology input stream git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18507 cec4b9c1-7d33-0410-9eda-942365e851bb
91e24fc45834b35f2a3830d72565640251149bf3 20-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

added quick-option to OWL2 java parser #1247 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18506 cec4b9c1-7d33-0410-9eda-942365e851bb
ca12babf0d23c4aa3c5d4d29533e306c4582f250 19-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

switched to hexpat parser (but still getMBlock error) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18505 cec4b9c1-7d33-0410-9eda-942365e851bb
73a0602ba801c84dc4d37257a3527650d81d7fb6 17-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

removed debug output file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18493 cec4b9c1-7d33-0410-9eda-942365e851bb
3545e3b6a905d20d3a1766ddd6189c03c8de2632 17-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

work around #1246 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18492 cec4b9c1-7d33-0410-9eda-942365e851bb
930059e4052a275c35aabc9fb8bbf5135b81c0fe 14-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

do not set the file path for the top-level ontology and do not set a wrong file path git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18490 cec4b9c1-7d33-0410-9eda-942365e851bb
bb4df6b6bc3520954368f73e574e981dc3aa37eb 14-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

avoid Data.Tuple git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18488 cec4b9c1-7d33-0410-9eda-942365e851bb
7602abd7f6cfdbfe5b9bbcc23588384fbddd84dc 14-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

set file path in OWL lib-defns for locations #1244 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18487 cec4b9c1-7d33-0410-9eda-942365e851bb
ad7a1aea1e516e89649497daf9ed8e165eac352d 08-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

allow to create unique or named download items #1230 #1226 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18431 cec4b9c1-7d33-0410-9eda-942365e851bb
9268edb62bdf75587f3a116aac23c8aa7db55566 02-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

properly filter unloaded imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18418 cec4b9c1-7d33-0410-9eda-942365e851bb
084690776ffc97ec4294ffc13ddef95a355e8072 19-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

shortened imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18411 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
4151eae28c317fc9d3601125df7167b59b49caea 13-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

removed warning and cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18382 cec4b9c1-7d33-0410-9eda-942365e851bb
966ad5a92ae6faa736f7abd8aff54aa239037f0a 12-Dec-2013 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

first fix #1223 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18380 cec4b9c1-7d33-0410-9eda-942365e851bb
7279af43b7c5c265e9b6ae454042d77dd038d6cd 06-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

we need manchester IRIs as spec names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18372 cec4b9c1-7d33-0410-9eda-942365e851bb
002961cfb5c53204887101239d2a47c83d596585 04-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

refactored libname construction git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18363 cec4b9c1-7d33-0410-9eda-942365e851bb
1f709e4f123c91e9901f875376c040dfd51efa2b 29-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

use OWL IRIs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18349 cec4b9c1-7d33-0410-9eda-942365e851bb
7d4354d2018e4bc58a198f6b97199086ca378876 20-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

made it more robust git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18316 cec4b9c1-7d33-0410-9eda-942365e851bb
b9a7827caf331ae5b7eb491455d7e647c83f1345 20-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

create and read mapping between location and ontology IRI git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18314 cec4b9c1-7d33-0410-9eda-942365e851bb
142fd5dd7fcfa170f08b2a0ab232859428f6e3c2 03-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

replaced readProcessWithCode by executeProcess git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17099 cec4b9c1-7d33-0410-9eda-942365e851bb
6e4bd72a06da466f4ef81f152ff811a007a7d310 30-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

removed duplicate code and added logic OWL item git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17076 cec4b9c1-7d33-0410-9eda-942365e851bb
395d494ac524b40152db52568a1ec9b7ef8c7950 16-Jun-2012 Felix Gabriel Mance <f.mance@jacobs-university.de>

check java parser error stream git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16949 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

/hets/ATC/Sml_cats.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CMDL/DgCommands.hs /hets/Common/IRI.hs /hets/Common/Keywords.hs /hets/Common/LibName.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/Driver/WriteFn.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/HolLight/HolLight2DG.hs /hets/LF/Twelf2DG.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Maude/Maude2DG.hs /hets/OMDoc/Import.hs ParseOWLAsLibDefn.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/DGFlattening.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/test/ParameterSpecTest/ParamView.xml
f300c1dcc9a8957a72f79655fbd21d808eddd242 13-Jan-2012 Christian Maeder <Christian.Maeder@dfki.de>

improved error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16587 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
94a4c644c0e4a9a39f0bb6282a12f61a3127ce79 01-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

broke too long line git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15827 cec4b9c1-7d33-0410-9eda-942365e851bb
25362f1851a7e27ccea1ab40e98a31b687c5285a 15-Jul-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

unify docs put in parseProc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15575 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
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
55779febd3eadb81410d8ed2b13a75ed805491c5 08-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

only consider Ontology elements git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15505 cec4b9c1-7d33-0410-9eda-942365e851bb
7464a5e620c3957412128094f617fa3855d49edc 08-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

handle several xml ontologies git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15502 cec4b9c1-7d33-0410-9eda-942365e851bb
96910c344ea9f3f6aaefd88d21a0d4f54791a614 08-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

switched to xml output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15500 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
116088e1551cc0eb61a0580a58183bbd2f9ad175 23-Jun-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

Created proper SimpleIDs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15257 cec4b9c1-7d33-0410-9eda-942365e851bb
efb53e90870f6f773eff4a7768022f844a37a24f 20-Jun-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

Corrected imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15220 cec4b9c1-7d33-0410-9eda-942365e851bb
10ff53cbf1ec3ea6c62435eee9eb07ea85216aaf 20-Jun-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

Really switched to ManchesterParser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15219 cec4b9c1-7d33-0410-9eda-942365e851bb
bcff1ad2d14450652ba38ea0cd42232a324c8e83 20-Jun-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

Switch to ManchesterParser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15218 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
df42ed4347dbaa8280e8d86de0eb96c0c83cfeaf 17-Jun-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

Parsing OWL to LibDefn git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15198 cec4b9c1-7d33-0410-9eda-942365e851bb