swish-0.6.2.1: A semantic web toolkit.

PortabilityMultiParamTypeClasses
Stabilityexperimental
MaintainerDouglas Burke

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

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)

Ruleset comparisons are based only on their namespace components.

LookupEntryClass (Ruleset ex) Namespace (Ruleset ex) 

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

Create a ruleset.

getRulesetNamespace :: Ruleset ex -> NamespaceSource

Extract the namespace of a ruleset.

getRulesetAxioms :: Ruleset ex -> [Formula ex]Source

Extract the axioms from a ruleset.

getRulesetRules :: Ruleset ex -> [Rule ex]Source

Extract the rules from a ruleset.

getRulesetAxiom :: ScopedName -> Ruleset ex -> Maybe (Formula ex)Source

Find a named axiom in a ruleset.

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

Find a named rule in a ruleset.

getContextAxiomSource

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.

getMaybeContextAxiomSource

Arguments

:: ScopedName

Name of axiom.

-> [Ruleset ex]

Rulesets to search.

-> Maybe (Formula ex) 

Find a named axiom in a proof context.

getContextRuleSource

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.

getMaybeContextRuleSource

Arguments

:: ScopedName

Name of rule.

-> [Ruleset ex]

Rulesets to search.

-> Maybe (Rule ex) 

Find a named rule in a proof context.