1. Doug Burke
  2. swish
  3. Issues
Issue #2 resolved

swishexample.ss failed to parse

rickmurphy
created an issue

Running Swish 3 and GHC 6.12.3. As per instructions here:

Placing the above text into a file called, say, SwishExample.ss.

Start the Hugs or GHCi Haskell system.

Load module SwishMain.hs from the Swish software directory.

Issue the command: runSwish "-s=SwishExample.ss".

Swish returns the following:

*Swish.RDF.SwishMain> runSwish "-s=SwishExample.ss" Script syntax error in file SwishExample.ss:

Dmitry Bobrov ex: http://id.ninebynine.org/wip/2003/swishtest/ . ^ Dmitry Bobrov pv: http://id.ninebynine.org/wip/2003/swishtest/pv/ . (line 16, column 60 indicated by the '^' sign above):

unexpected " " expecting script command or end of input There was a format or syntax error in the input data.

Swish exit: There was a format or syntax error in the input data. ExitFailure 2 *Swish.RDF.SwishMain>

Comments (4)

  1. Doug Burke repo owner

    Thanks for the report; unfortunately the "script" side of Swish saw little-to-no love in this release.

    As an aside, you can also use the Swish command-line tool if you don't want to bother loading up ghci (I doubt it will work in Hugs anymore);

    > Swish -s=SwishExample.ss
    

    should result in the same error as you get above.

  2. Doug Burke repo owner

    Scripts should now be parsed, as or release 0.3.0.1 (b3b874478213 ), which also install three example scripts in the swish directory, but there appear to be issues in running the scripts (see #3).

    Thanks for the report, and apologies for not crediting you in the changelog.

  3. rickmurphy reporter

    I was able to reproduce the result above. Executing SwishTest.ss produced the following:

    • Swish.RDF.SwishMain> runSwish "-s=scripts/SwishTest.ss" <snip> Loading package mtl-2.0.1.0 ... linking ... done. Proof satisfied: ex:Proof01 Proof satisfied: ex:Proof02 : Graph ex:TestMerge differs from ex:tmin. There was a problem executing a Swish script.

    Swish exit: The graphs do not compare as equal. ExitFailure 1

    • Swish.RDF.SwishMain>

    And vehicle capacity produced the following:

    • Swish.RDF.SwishMain> runSwish "-s=scripts/VehicleCapacity.ss" Loading package syb-0.1.0.2 ... linking ... done. Loading package base-3.0.3.2 ... linking ... done. Loading package filepath-1.1.0.4 ... linking ... done. Loading package old-locale-1.0.0.2 ... linking ... done. Loading package old-time-1.0.0.5 ... linking ... done. Loading package unix-2.4.0.2 ... linking ... done. Loading package directory-1.0.1.1 ... linking ... done. Loading package parsec-2.1.0.1 ... linking ... done. Loading package network-2.2.1.10 ... linking ... done. Loading package transformers-0.2.2.0 ... linking ... done. Loading package mtl-2.0.1.0 ... linking ... done.
    1. Forward chain result :t1f Dmitry Bobrov rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . Dmitry Bobrov rdfs: <http://www.w3.org/2000/01/rdf-schema#> . Dmitry Bobrov rdfd: <http://id.ninebynine.org/2003/rdfext/rdfd#> . Dmitry Bobrov owl: <http://www.w3.org/2002/07/owl#> . Dmitry Bobrov log: <http://www.w3.org/2000/10/swap/log#> . Dmitry Bobrov : <http://id.ninebynine.org/default/> . Dmitry Bobrov ex: <http://id.ninebynine.org/wip/2003/swishtest/> . Dmitry Bobrov pv: <http://id.ninebynine.org/wip/2003/swishtest/pv/> . Dmitry Bobrov xsd: <http://www.w3.org/2001/XMLSchema#> . Dmitry Bobrov xsd_integer: <http://id.ninebynine.org/2003/XMLSchema/integer#> . Dmitry Bobrov rs_rdf: <http://id.ninebynine.org/2003/Ruleset/rdf#> . Dmitry Bobrov rs_rdfs: <http://id.ninebynine.org/2003/Ruleset/rdfs#> . [ :totalCapacity "110"xsd:integer ] .
    1. Forward chain result :t2f Dmitry Bobrov rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . Dmitry Bobrov rdfs: <http://www.w3.org/2000/01/rdf-schema#> . Dmitry Bobrov rdfd: <http://id.ninebynine.org/2003/rdfext/rdfd#> . Dmitry Bobrov owl: <http://www.w3.org/2002/07/owl#> . Dmitry Bobrov log: <http://www.w3.org/2000/10/swap/log#> . Dmitry Bobrov : <http://id.ninebynine.org/default/> . Dmitry Bobrov ex: <http://id.ninebynine.org/wip/2003/swishtest/> . Dmitry Bobrov pv: <http://id.ninebynine.org/wip/2003/swishtest/pv/> . Dmitry Bobrov xsd: <http://www.w3.org/2001/XMLSchema#> . Dmitry Bobrov xsd_integer: <http://id.ninebynine.org/2003/XMLSchema/integer#> . Dmitry Bobrov rs_rdf: <http://id.ninebynine.org/2003/Ruleset/rdf#> . Dmitry Bobrov rs_rdfs: <http://id.ninebynine.org/2003/Ruleset/rdfs#> . [ :totalCapacity "110"xsd:integer ] .
    1. [0] Backward chain result :t2b Dmitry Bobrov rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . Dmitry Bobrov rdfs: <http://www.w3.org/2000/01/rdf-schema#> . Dmitry Bobrov rdfd: <http://id.ninebynine.org/2003/rdfext/rdfd#> . Dmitry Bobrov owl: <http://www.w3.org/2002/07/owl#> . Dmitry Bobrov log: <http://www.w3.org/2000/10/swap/log#> . Dmitry Bobrov : <http://id.ninebynine.org/default/> . Dmitry Bobrov ex: <http://id.ninebynine.org/wip/2003/swishtest/> . Dmitry Bobrov pv: <http://id.ninebynine.org/wip/2003/swishtest/pv/> . Dmitry Bobrov xsd: <http://www.w3.org/2001/XMLSchema#> . Dmitry Bobrov xsd_integer: <http://id.ninebynine.org/2003/XMLSchema/integer#> . Dmitry Bobrov rs_rdf: <http://id.ninebynine.org/2003/Ruleset/rdf#> . Dmitry Bobrov rs_rdfs: <http://id.ninebynine.org/2003/Ruleset/rdfs#> . [ :standingCapacity "12"xsd:integer ; :totalCapacity "110"xsd:integer ; a :PassengerVehicle ] .
    1. [1] Backward chain result :t2b Dmitry Bobrov rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . Dmitry Bobrov rdfs: <http://www.w3.org/2000/01/rdf-schema#> . Dmitry Bobrov rdfd: <http://id.ninebynine.org/2003/rdfext/rdfd#> . Dmitry Bobrov owl: <http://www.w3.org/2002/07/owl#> . Dmitry Bobrov log: <http://www.w3.org/2000/10/swap/log#> . Dmitry Bobrov : <http://id.ninebynine.org/default/> . Dmitry Bobrov ex: <http://id.ninebynine.org/wip/2003/swishtest/> . Dmitry Bobrov pv: <http://id.ninebynine.org/wip/2003/swishtest/pv/> . Dmitry Bobrov xsd: <http://www.w3.org/2001/XMLSchema#> . Dmitry Bobrov xsd_integer: <http://id.ninebynine.org/2003/XMLSchema/integer#> . Dmitry Bobrov rs_rdf: <http://id.ninebynine.org/2003/Ruleset/rdf#> . Dmitry Bobrov rs_rdfs: <http://id.ninebynine.org/2003/Ruleset/rdfs#> . [ :seatedCapacity "98"xsd:integer ; :totalCapacity "110"xsd:integer ; a :PassengerVehicle ] .

    ExitSuccess

  4. Log in to comment