swish-0.2.1: swish.cabal
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