swish-0.6.5.2: A semantic web toolkit.

PortabilityOverloadedStrings
Stabilityexperimental
MaintainerDouglas Burke
Safe HaskellSafe-Infered

Swish.RDF.RDFProofContext

Description

This module contains proof-context declarations based on the RDF, RDFS, and RDF datatyping semantics specifications. These definitions consist of namespaces (for identification in proofs), axioms and inference rules.

Synopsis

Documentation

rulesetRDF :: RDFRulesetSource

Ruleset for RDF inference.

rulesetRDFS :: RDFRulesetSource

Ruleset for RDFS inference.

rulesetRDFD :: RDFRulesetSource

Ruleset for RDFD (datatyping) inference.