Swish.RDF.Ruleset

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.

Documentation

data Ruleset ex

Ruleset, having namespace, axioms and rules

Constructors

Ruleset

Fields

rsNamespace :: Namespace

rsAxioms :: [Formula ex]

rsRules :: [Rule ex]

Instances

Eq (Ruleset ex)

LookupEntryClass (Ruleset ex) Namespace (Ruleset ex)

type RulesetMap ex = LookupMap (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)

Find a named axiom in a ruleset.

getRulesetRule :: ScopedName -> Ruleset ex -> Maybe (Rule ex)

Find a named rule in a ruleset.

getContextAxiom :: ScopedName -> Formula ex -> [Ruleset ex] -> Formula ex

Find a named axiom or rule in a proof context.

getMaybeContextAxiom :: ScopedName -> [Ruleset ex] -> Maybe (Formula ex)

getContextRule :: ScopedName -> Rule ex -> [Ruleset ex] -> Rule ex

getMaybeContextRule :: ScopedName -> [Ruleset ex] -> Maybe (Rule ex)