Copyright	(c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 2012 Douglas Burke
License	GPL V2
Maintainer	Douglas Burke
Stability	experimental
Portability	H98
Safe Haskell	None
Language	Haskell98

Swish.Ruleset

Description

This module defines a ruleset data type, used to collect information about a ruleset that may contribute torwards inferences in RDF; e.g. RDF and RDFS are rulesets.

A Ruleset consists of a namespace, a collection of axioms, and a collection of rules.

Synopsis

data Ruleset ex = Ruleset {
- rsNamespace :: Namespace
- rsAxioms :: [Formula ex]
- rsRules :: [Rule ex]
}
type RulesetMap ex = Map Namespace (Ruleset ex)
makeRuleset :: Namespace -> [Formula ex] -> [Rule ex] -> Ruleset ex
getRulesetNamespace :: Ruleset ex -> Namespace
getRulesetAxioms :: Ruleset ex -> [Formula ex]
getRulesetRules :: Ruleset ex -> [Rule ex]
getRulesetAxiom :: ScopedName -> Ruleset ex -> Maybe (Formula ex)
getRulesetRule :: ScopedName -> Ruleset ex -> Maybe (Rule ex)
getContextAxiom :: ScopedName -> Formula ex -> [Ruleset ex] -> Formula ex
getMaybeContextAxiom :: ScopedName -> [Ruleset ex] -> Maybe (Formula ex)
getContextRule :: ScopedName -> Rule ex -> [Ruleset ex] -> Rule ex
getMaybeContextRule :: ScopedName -> [Ruleset ex] -> Maybe (Rule ex)

Documentation

data Ruleset ex Source #

A Rule set.

Constructors

Ruleset
Fields rsNamespace :: Namespace Namespace. rsAxioms :: [Formula ex] Axioms. rsRules :: [Rule ex] Rules.

Instances

Eq (Ruleset ex) Source #	Ruleset comparisons are based only on their namespace components.
Instance details Defined in Swish.Ruleset Methods (==) :: Ruleset ex -> Ruleset ex -> Bool # (/=) :: Ruleset ex -> Ruleset ex -> Bool #