Portability | MultiParamTypeClasses |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
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.
- data Ruleset ex = Ruleset {}
- 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)
- 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
Ruleset, having namespace, axioms and rules
type RulesetMap ex = LookupMap (Ruleset ex)Source
getRulesetNamespace :: Ruleset ex -> NamespaceSource
getRulesetAxioms :: Ruleset ex -> [Formula ex]Source
getRulesetRules :: Ruleset ex -> [Rule ex]Source
getRulesetAxiom :: ScopedName -> Ruleset ex -> Maybe (Formula ex)Source
Find a named axiom or rule in a ruleset or proof context
getRulesetRule :: ScopedName -> Ruleset ex -> Maybe (Rule ex)Source
getContextAxiom :: ScopedName -> Formula ex -> [Ruleset ex] -> Formula exSource
getMaybeContextAxiom :: ScopedName -> [Ruleset ex] -> Maybe (Formula ex)Source
getContextRule :: ScopedName -> Rule ex -> [Ruleset ex] -> Rule exSource
getMaybeContextRule :: ScopedName -> [Ruleset ex] -> Maybe (Rule ex)Source