Name: swish Version: 0.3.2.0 Stability: experimental License: LGPL License-file: LICENSE Author: Graham Klyne - GK@ninebynine.org Copyright: (c) 2003, 2004 G. Klyne; 2009 Vasili I Galchin; 2011 Doug Burke; All rights reserved. Maintainer: dburke@cfa.harvard.edu Category: Semantic Web Synopsis: A semantic web toolkit. Tested-With: GHC==6.12.3 Cabal-Version: >= 1.6 Homepage: https://bitbucket.org/doug_burke/swish/wiki/Home Bug-reports: https://bitbucket.org/doug_burke/swish/issues Description: Swish is a framework, written in the purely functional programming language Haskell, for performing deductions in RDF data using a variety of techniques. Swish is conceived as a toolkit for experimenting with RDF inference, and for implementing stand-alone RDF file processors (usable in similar style to CWM, but with a view to being extensible in declarative style through added Haskell function and data value declarations). It explores Haskell as \"a scripting language for the Semantic Web\". . Swish is a work-in-progress, and currently incorporates: . * Notation3 and NTriples input and output. The N3 support is incomplete (no handling of @\@forAll@). . * RDF graph isomorphism testing and merging. . * Display of differences between RDF graphs. . * Inference operations in forward chaining, backward chaining and proof-checking modes. . * Simple Horn-style rule implementations, extendable through variable binding modifiers and filters. . * Class restriction rule implementation, primarily for datatype inferences. . * RDF formal semantics entailment rule implementation. . * Complete, ready-to-run, command-line and script-driven programs. . Changes: . [Version 0.3.2.0] The N3 parser no longer assumes a set of pre-defined namespaces. There is no API change worthy of a bump to the minor version number, but it is a large-enough change in behaviour that I felt the need for the update. . [Version 0.3.1.2] 'Swish.RDF.RDFGraph.toRDFGraph' now sets up the namespace map of the graph based on the input labels (previously it left the map empty). . [Version 0.3.1.1] Bug fixes for N3 format: strings ending in a double quote character are now written out correctly and @xsd:double@ values are not written using XSD canonical form/capital @E@ but with a lower-case @e@. On input of N3, literals that match @xsd:double@ are converted to XSD canonical form (as stored in 'RDFLabel'), which can make simple textual comparison of literals fail. The 'Eq' instance of 'RDFLabel' now ignores the case of the language tag for literals and the 'Show' instance uses XSD canonical form for @xsd:boolean@, @xsd:integer@, @xsd:decimal@ and @xsd:double@ literals. Noted that the 'ToRDFLable' and 'FromRDFLabel' classes replicate existing functionality in the "Swish.RDF.RDFDatatype" module. . [Version 0.3.1.0] Added the `Swish.RDF.RDFGraph.ToRDFLabel` and `Swish.RDF.RDFGraph.FromRDFLabel` classes and the `Swish.RDF.RDFGraph.toRDFTriple` and `Swish.RDF.RDFGraph.fromRDFTriple` functions. Added instances: @IsString RDFLabel@, @IsString QName@, @IsString ScopedName@ and @Monoid NSGraph@. The modules "Swish" and "Swish.RDF" have been introduced to provide documentation. The module "Swish.Utils.DateTime" is deprecated and will be removed in a later release. The N3 formatter now writes out literals with @xsd:boolean@, @xsd:integer@, @xsd:decimal@ and @xsd:double@ types as literals rather than as a typed string. . [Version 0.3.0.3] Changed @scripts/SwishExample.ss@ script so that the proof succeeds. Some documentation improvements, including a discussion of the Swish script format (see "Swish.RDF.SwishScript"). Very minor changes to behavior of Swish in several edge cases. . [Version 0.3.0.2] Bugfix: stop losing triples with a bnode subject when using the N3Formatter; this also makes the @scripts/SwishTest.ss@ test pass again. Several commands in Swish scripts now create screen output (mainly to check what it is doing). Added the @developer@ flag for building. . [Version 0.3.0.1] updates the Swish script parser to work with the changes in 0.3.0.0 (reported by Rick Murphy). Several example scripts are installed in the @scripts/@ directory, although only @VehicleCapacity.ss@ works with this release. . [Version 0.3.0.0] is an attempt to update version 0.2.1 () to build against a recent ghc install, with some clean ups - including support for the current N3 specification - and the addition of the NTriples format. It has not been tested against ghc7. . References: . - . - . - CWM: . Build-Type: Simple Data-Files: README scripts/*.ss Source-repository head type: mercurial location: https://bitbucket.org/doug_burke/swish Flag developer Description: Turn on developer flags Default: False Flag tests Description: Build the test programs. Default: False Flag hpc Description: Use Hpc for the tests Default: False Library Build-Depends: base >=3 && < 5, binary == 0.5.*, bytestring == 0.9.*, containers == 0.3.*, array == 0.3.*, parallel == 2.2.*, parsec == 2.1.*, random == 1.0.*, old-time == 1.0.*, old-locale == 1.0.*, time == 1.1.*, mtl >= 1 && < 3, HUnit == 1.2.*, network >= 2.2 && < 2.4, directory >= 1.0 && <= 1.1, filepath >= 1.1 && <= 1.2 Exposed-Modules: Swish Swish.RDF Swish.RDF.BuiltInDatatypes Swish.RDF.BuiltInMap Swish.RDF.BuiltInRules Swish.RDF.ClassRestrictionRule Swish.RDF.Datatype Swish.RDF.GraphClass Swish.RDF.GraphMatch Swish.RDF.GraphMem Swish.RDF.GraphPartition Swish.RDF.MapXsdInteger Swish.RDF.NTFormatter Swish.RDF.NTParser Swish.RDF.N3Formatter Swish.RDF.N3Parser Swish.RDF.Proof Swish.RDF.RDFDatatype Swish.RDF.RDFDatatypeXsdInteger Swish.RDF.RDFDatatypeXsdString Swish.RDF.RDFGraph Swish.RDF.RDFGraphShowM Swish.RDF.RDFParser Swish.RDF.RDFProof Swish.RDF.RDFProofContext Swish.RDF.RDFQuery Swish.RDF.RDFRuleset Swish.RDF.RDFVarBinding Swish.RDF.Rule Swish.RDF.Ruleset Swish.RDF.SwishCommands Swish.RDF.SwishMain Swish.RDF.SwishMonad Swish.RDF.SwishScript Swish.RDF.VarBinding Swish.RDF.Vocabulary Swish.Utils.DateTime Swish.Utils.ListHelpers Swish.Utils.LookupMap Swish.Utils.MiscHelpers Swish.Utils.Namespace Swish.Utils.PartOrderedCollection Swish.Utils.QName Swish.Utils.ShowM Swish.Utils.TraceHelpers other-modules: -- Paths_swish ghc-options: -Wall -fno-warn-orphans if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all Executable BuiltInMapTest Main-Is: tests/BuiltInMapTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable GraphPartitionTest Main-Is: tests/GraphPartitionTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable GraphTest Main-Is: tests/GraphTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable NTTest Main-Is: tests/NTTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable N3ParserTest Main-Is: tests/N3ParserTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable N3FormatterTest Main-Is: tests/N3FormatterTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable RDFDatatypeXsdIntegerTest Main-Is: tests/RDFDatatypeXsdIntegerTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable RDFGraphTest Main-Is: tests/RDFGraphTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable RDFProofContextTest Main-Is: tests/RDFProofContextTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable RDFProofTest Main-Is: tests/RDFProofTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable RDFQueryTest Main-Is: tests/RDFQueryTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable RDFRulesetTest Main-Is: tests/RDFRulesetTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable VarBindingTest Main-Is: tests/VarBindingTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable LookupMapTest Main-Is: tests/LookupMapTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans Executable QNameTest Main-Is: tests/QNameTest.hs if !flag(tests) buildable: False if flag(hpc) ghc-options: -fhpc if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all ghc-options: -Wall -fno-warn-orphans -- we do not have the data files to run this test Executable SwishTest Main-Is: tests/SwishTest.hs Executable Swish Main-Is: src/Swish.hs Other-Modules: Paths_swish ghc-options: -Wall -fno-warn-orphans if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all