Swish.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

A Rule set.

Constructors

Ruleset

Fields

rsNamespace :: Namespace

Namespace.

rsAxioms :: [Formula ex]

Axioms.

rsRules :: [Rule ex]

Rules.

Instances

Eq (Ruleset ex)

Ruleset comparisons are based only on their namespace components.

type RulesetMap ex = Map Namespace (Ruleset ex)

A set of Rulesets labelled by their Namespace.

makeRuleset :: Namespace -> [Formula ex] -> [Rule ex] -> Ruleset ex

Create a ruleset.

getRulesetNamespace :: Ruleset ex -> Namespace

Extract the namespace of a ruleset.

getRulesetAxioms :: Ruleset ex -> [Formula ex]

Extract the axioms from a ruleset.

getRulesetRules :: Ruleset ex -> [Rule ex]

Extract the rules from a ruleset.

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

Arguments

:: ScopedName

Name of axiom.

-> Formula ex

Default axiom (used if named component does not exist).

-> [Ruleset ex]

Rulesets to search.

-> Formula ex

Find a named axiom in a proof context.

getMaybeContextAxiom

Arguments

:: ScopedName

Name of axiom.

-> [Ruleset ex]

Rulesets to search.

-> Maybe (Formula ex)

Find a named axiom in a proof context.

getContextRule

Arguments

:: ScopedName

Name of rule.

-> Rule ex

Default rule (used if named component does not exist).

-> [Ruleset ex]

Rulesets to search.

-> Rule ex

Find a named rule in a proof context.

getMaybeContextRule

Arguments

:: ScopedName

Name of rule.

-> [Ruleset ex]

Rulesets to search.

-> Maybe (Rule ex)

Find a named rule in a proof context.