Name: swish Version: 0.2.1 License: LGPL License-file: LICENSE Author: Graham Klyne - GK@ninebynine.org Maintainer: Vasili I Galchin (William Halchin) - vigalchin@gmail.com Category: Semantic Web Synopsis: A semantic web toolkit. 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 input and output. * 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. References 1) http://www.ninebynine.org/RDFNotes/Swish/Intro.html 2) http://www.ninebynine.org/Software/swish-0.2.1.html Tested-With: GHC>=6.8.2 Build-Type: Simple Data-Files: README Cabal-Version: >= 1.2 Library Build-Depends: base>3 && <4, binary, bytestring, containers, array, parallel, parsec, random, old-time, mtl, HUnit Exposed-modules: Swish.HaskellRDF.BuiltInDatatypes, Swish.HaskellRDF.BuiltInMap, Swish.HaskellRDF.BuiltInRules, Swish.HaskellRDF.ClassRestrictionRule, Swish.HaskellRDF.Dfa.Dfa Swish.HaskellRDF.Datatype, Swish.HaskellRDF.GraphClass Swish.HaskellRDF.GraphMatch, Swish.HaskellRDF.GraphMem, Swish.HaskellRDF.GraphPartition, Swish.HaskellRDF.MapXsdInteger, Swish.HaskellRDF.N3Formatter, Swish.HaskellRDF.N3Parser, Swish.HaskellRDF.ParsecLanguage, -- YOH ADRIAN GHC EXTENSION?? Swish.HaskellRDF.OwlAbstractSyntax, Swish.HaskellRDF.Proof, Swish.HaskellRDF.RDFDatatype, Swish.HaskellRDF.RDFDatatypeXsdInteger, Swish.HaskellRDF.RDFDatatypeXsdString, Swish.HaskellRDF.RDFGraph, Swish.HaskellRDF.RDFGraphShowM, Swish.HaskellRDF.RDFProofContext, Swish.HaskellRDF.RDFProof, Swish.HaskellRDF.RDFQuery, Swish.HaskellRDF.RDFRuleset, Swish.HaskellRDF.Ruleset Swish.HaskellRDF.SwishCommands Swish.HaskellRDF.SwishMain Swish.HaskellRDF.SwishMonad Swish.HaskellRDF.SwishScript Swish.HaskellRDF.VarBinding Swish.HaskellRDF.Vocabulary Swish.HaskellRDF.Sort.AdaptiveHeapSort -- WNH Swish.HaskellRDF.Sort.Benchmark Swish.HaskellRDF.Sort.BraunHeap Swish.HaskellRDF.Sort.CartesianTree Swish.HaskellRDF.Sort.DigitalSort Swish.HaskellRDF.Sort.FingerSearchtree Swish.HaskellRDF.Sort.Force Swish.HaskellRDF.Sort.HeapSort -- WNH Swish.HaskellRDF.Sort.Killer Swish.HaskellRDF.Sort.LibBase Swish.HaskellRDF.Sort.ListLib -- WNH Swish.HaskellRDF.Sort.Main Swish.HaskellRDF.Sort.MargeSort Swish.HaskellRDF.Sort.MergeSort Swish.HaskellRDF.Sort.PairingHeap -- WNH Swish.HaskellRDF.Sort.QuickSortInPlace Swish.HaskellRDF.Sort.QuickSort -- WNH Swish.HaskellRDF.Sort.RandomLib -- Swish.HaskellRDF.Sort.RandomMonad Swish.HaskellRDF.Sort.RedBlackTree Swish.HaskellRDF.Sort.SplaySort Swish.HaskellRDF.Sort.Squiggol Swish.HaskellRDF.Sort.Stable -- WNH same prob QuickSortInPlace Swish.HaskellRDF.Sort.SuffixArrays -- WNH Swish.HaskellRDF.Sort.TestData Swish.HaskellUtils.AccumulateM Swish.HaskellUtils.DateTime Swish.HaskellUtils.ErrorM Swish.HaskellUtils.FunctorM Swish.HaskellUtils.ListHelpers Swish.HaskellUtils.LookupMap Swish.HaskellUtils.MiscHelpers Swish.HaskellUtils.Namespace Swish.HaskellUtils.Parse Swish.HaskellUtils.ParseURI Swish.HaskellUtils.PartOrderedCollection Swish.HaskellUtils.ProcessURI Swish.HaskellUtils.QName -- COMEBCK!!!! Swish.HaskellUtils.RegexParser Swish.HaskellUtils.ShowM Swish.HaskellUtils.TestHelpers Swish.HaskellUtils.TraceHelpers Swish.HaskellUtils.Network.URI extensions: CPP, ParallelListComp ghc-options: -Wall -fexcess-precision -funbox-strict-fields -auto-all Executable BuiltInMapTest Main-Is: Swish/HaskellRDF/BuiltInMapTest.hs Other-Modules: Swish.HaskellRDF.BuiltInMap Swish.HaskellRDF.RDFDatatypeXsdInteger Swish.HaskellRDF.Ruleset Swish.HaskellUtils.Namespace Swish.HaskellRDF.Vocabulary Swish.HaskellUtils.LookupMap Swish.HaskellUtils.ListHelpers -- YOH ADRIAN QNAME ISSUES Executable ClassRestrictionRuleTest -- YOH ADRIAN QNAME ISSUES Main-Is: Swish/HaskellRDF/ClassRestrictionRuleTest.hs -- YOH ADRIAN QNAME ISSUES Other_Modules: Swish.HaskellRDF.ClassRestrictionRule -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.RDFGraph -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.RDFRuleset -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.Ruleset -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.Rule -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.RDFDatatype -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.Datatype -- YOH ADRIAN QNAME ISSUES Swish.HaskellUtils.Namespace -- YOH ADRIAN QNAME ISSUES Swish.HaskellRDF.Dfa Executable GraphPartitionTest Main-Is: Swish/HaskellRDF/GraphPartitionTest.hs Other-Modules: Swish.HaskellRDF.GraphPartition Swish.HaskellRDF.GraphClass Swish.HaskellUtils.TestHelpers Swish.HaskellUtils.ListHelpers Executable GraphTest Main-Is: Swish/HaskellRDF/GraphTest.hs Other-Modules: Swish.HaskellUtils.ListHelpers Swish.HaskellUtils.MiscHelpers Swish.HaskellUtils.LookupMap Swish.HaskellRDF.GraphClass Swish.HaskellRDF.GraphMem Swish.HaskellRDF.GraphMatch Executable N3ParserTest Main-Is: Swish/HaskellRDF/N3ParserTest.hs Other-Modules: Swish.HaskellRDF.N3Parser Swish.HaskellRDF.RDFGraph Swish.HaskellUtils.QName Swish.HaskellRDF.Vocabulary Swish.HaskellUtils.LookupMap Swish.HaskellRDF.GraphClass Executable N3FormatterTest Main-Is: Swish/HaskellRDF/N3FormatterTest.hs Other-Modules: Swish.HaskellRDF.N3Formatter Swish.HaskellRDF.N3Parser Swish.HaskellRDF.RDFGraph Swish.HaskellUtils.Namespace Swish.HaskellRDF.Vocabulary Swish.HaskellUtils.QName Swish.HaskellUtils.LookupMap Swish.HaskellRDF.GraphClass Swish.HaskellUtils.ErrorM Executable RDFDatatypeXsdIntegerTest Main-Is: Swish/HaskellRDF/RDFDatatypeXsdIntegerTest.hs Other-Modules: Swish.HaskellRDF.RDFDatatypeXsdInteger Swish.HaskellRDF.RDFRuleset Swish.HaskellRDF.RDFVarBinding Swish.HaskellRDF.RDFDatatype Swish.HaskellRDF.RDFGraph Swish.HaskellRDF.ClassRestrictionRule Swish.HaskellRDF.MapXsdInteger Swish.HaskellRDF.Datatype Swish.HaskellRDF.Ruleset Swish.HaskellRDF.Rule Swish.HaskellUtils.Namespace Swish.HaskellRDF.Vocabulary Swish.HaskellRDF.VarBinding Executable RDFGraphTest Main-Is: Swish/HaskellRDF/RDFGraphTest.hs Other-Modules: Swish.HaskellUtils.FunctorM Swish.HaskellUtils.LookupMap Swish.HaskellUtils.ListHelpers Swish.HaskellRDF.GraphClass Swish.HaskellUtils.Namespace Swish.HaskellUtils.QName Swish.HaskellRDF.RDFGraph Swish.HaskellRDF.Vocabulary Executable RDFProofContextTest Main-Is: Swish/HaskellRDF/RDFProofContextTest.hs Other-Modules: Swish.HaskellRDF.BuiltInMap Swish.HaskellRDF.RDFProofContext Swish.HaskellRDF.RDFProof Swish.HaskellRDF.RDFRuleset Swish.HaskellRDF.RDFGraph Swish.HaskellRDF.RDFGraphShowM Swish.HaskellRDF.Proof Swish.HaskellRDF.Ruleset Swish.HaskellRDF.Rule Swish.HaskellUtils.Namespace Swish.HaskellUtils.LookupMap Swish.HaskellRDF.Vocabulary Executable RDFProofText Main-Is: Swish/HaskellRDF/RDFProofTest.hs Other-Modules: Swish.HaskellRDF.RDFProof Swish.HaskellRDF.RDFQuery Swish.HaskellRDF.RDFVarBinding Swish.HaskellRDF.RDFRuleset Swish.HaskellRDF.RDFGraph Swish.HaskellRDF.VarBinding Swish.HaskellRDF.Rule Swish.HaskellUtils.Namespace Executable RDFQueryTest Main-Is: Swish/HaskellRDF/RDFQueryTest.hs Other-Modules: Swish.HaskellRDF.RDFQuery Swish.HaskellRDF.RDFVarBinding Swish.HaskellRDF.RDFGraph Swish.HaskellUtils.Namespace Swish.HaskellRDF.Vocabulary Swish.HaskellRDF.N3Parser Swish.HaskellUtils.QName Swish.HaskellUtils.ListHelpers Swish.HaskellUtils.ErrorM Executable RDFRulesetTest Main-Is: Swish/HaskellRDF/RDFRulesetTest.hs Other-Modules: Swish.HaskellRDF.RDFRuleset Swish.HaskellRDF.RDFQuery Swish.HaskellRDF.RDFVarBinding Swish.HaskellRDF.RDFGraph Swish.HaskellRDF.Ruleset Swish.HaskellRDF.Rule Swish.HaskellUtils.Namespace Swish.HaskellRDF.Vocabulary Swish.HaskellUtils.QName Executable VarBindingTest Main-Is: Swish/HaskellRDF/VarBindingTest.hs Other-Modules: Swish.HaskellRDF.VarBinding Swish.HaskellRDF.Vocabulary Swish.HaskellUtils.ListHelpers Executable LookupMapTest Main-Is: Swish/HaskellUtils/LookupMapTest.hs Other-Modules: Swish.HaskellUtils.LookupMap Swish.HaskellUtils.ListHelpers Executable ParseTest Main-Is: Swish/HaskellUtils/ParseTest.hs Other-Modules: Swish.HaskellUtils.Parse Executable ParseURITest Main-Is: Swish/HaskellUtils/ParseURITest.hs Other-Modules: Swish.HaskellUtils.ParseURITest Swish.HaskellUtils.Parse Executable QNameTest Main-Is: Swish/HaskellUtils/QNameTest.hs Other-Modules: Swish.HaskellUtils.QName Executable URITest Main-Is: Swish/HaskellUtils/URITest.hs Other-Modules: Swish.HaskellUtils.Parse Swish.HaskellUtils.ProcessURI Executable SwishTest Main-Is: Swish/HaskellRDF/SwishTest.hs Other-Modules: Swish.HaskellRDF.SwishMain Executable SwishTestAll Main-Is: Swish/HaskellRDF/SwishTestAll.hs Other-Modules: Swish.HaskellUtils.DateTimeTest Swish.HaskellUtils.ParseTest Swish.HaskellUtils.LookupMapTest Swish.HaskellUtils.NamespaceTest Swish.HaskellUtils.URITest Swish.HaskellUtils.ParseURITest Swish.HaskellRDF.GraphTest Swish.HaskellRDF.VarBindingTest Swish.HaskellRDF.RDFGraphTest Swish.HaskellRDF.RDFQueryTest Swish.HaskellRDF.RDFProofTest Swish.HaskellRDF.RDFRulesetTest Swish.HaskellRDF.RDFProofContextTest Swish.HaskellRDF.RDFDatatypeXsdIntegerTest Swish.HaskellRDF.ClassRestrictionRuleTest Swish.HaskellRDF.N3FormatterTest Swish.HaskellRDF.N3ParserTest Swish.HaskellRDF.BuiltInMapTest Swish.HaskellRDF.SwishTest Executable Swish Main-Is: Swish/HaskellRDF/Swish.hs Other-Modules: Swish.HaskellRDF.SwishMain