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

Complete TPTP support (#1707) * Add option to print the AST in XML/JSON output. Turn it off by default. * Add abstract syntax of TPTP. * Add parens and brackets to Common.Lexer. * Add TPTP Parser. * Add TPTP Sign. * Add TPTP Morphism. * Add TPTP StaticAnalysis. * Fix IRI character parsing. * Add TPTP Pretty. * Add TPTP Logic. * Map the tptp and p file extension to the TPTP logic for input. * Add LibDefn parser for TPTP. * Write TPTP output. * Add EProver to TPTP. * Add TPTP Sublogics. * Add SPASS prover to TPTP. * Add Vampire prover to TPTP. * Add Darwin prover to TPTP. * Add Leo-II prover to TPTP. * Add Geo-III prover to TPTP - It does not support a timeout. * Add CVC4 prover to TPTP. * Add Isabelle prover to TPTP. * Make IRI compatible with TPTP library file names. * Revert "fail if names of sentences appear as names of symbols #1630" This is a combination of 3 commits: * Revert "check that the Result has no errors" This reverts commit 9542b929f3cfabf1491c3f0489acf92ba703968f. * Revert "better error message" This reverts commit a7ea46d4c76b11735234092d0a50efcbc56f9642. * Revert "fail if names of sentences appear as names of symbols" This reverts commit 2487bae09bf3aabc7085880aee616648fe5ca241. * Fix usage of magic file There were other (system) magic files invoked as well with a higher priority. Using the MAGIC environment variable instead of the argument --magic-file overrides this behaviour and only uses the specified magic file. * Fix magic file The escaping of "@" and "(" is not needed. The escaping of a trailing space in clif is needed. * Add TPTP to magic file. * Add Satallax prover to TPTP. * Properly check for http[s] URIs. * Allow file:// in libdirs. * Allow only one http[s] libdir - Parse the port correctly. * Fix all remaining parsing problems. * Move functions to debug the parser to a separate module. * Get rid of all TPTP related compiler warnings. * Move the type 'Morphism' to 'TPTP.Morphism'. * Rename: TPTP/Logic.hs -> TPTP/Logic_TPTP.hs * Implement all_sublogics. * Recognise negated_conjecture as a proof obligation.

applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename

avoid cyclic import

use downloaded input for tptp as libDefn

also return OWL errors as results

collect clif parse errors

copied changes for dol-parsing into new branch

Revert "1366 dol parsing"

started dol only parsing

removed warnings

reverted some of mimetypemap

removed DOL from OwlFormats, and added the original RDFIn-Out types in case .rdf file is not owl.

correct turtle mime type

-

after guessing xml filetype, merge with previous input-guess (fixes error for certain owl files not being loaded)

removed unneccessary code

intype is not detected for owl or rdf. working on this..

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

no functionality, just formatting

added infrastructure to support any owl format for in- and output. functionality at the momemt is as-before. implementation for the formats will go as required; fst goal is rdf.xml.

added more options to the java-parser. can set input and output filetype now. ..also added char-escape for omn output

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

no functionality, just formatting

added infrastructure to support any owl format for in- and output. functionality at the momemt is as-before. implementation for the formats will go as required; fst goal is rdf.xml.

added more options to the java-parser. can set input and output filetype now. ..also added char-escape for omn output

make the ontohub example in #1262 work

only moved code

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

splitted reading files and lib-defns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18462 cec4b9c1-7d33-0410-9eda-942365e851bb