Copyright | (c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 2012 2014 Douglas Burke |
---|---|
License | GPL V2 |
Maintainer | Douglas Burke |
Stability | experimental |
Portability | CPP, OverloadedStrings |
Safe Haskell | None |
Language | Haskell98 |
Swish.RDF.ProofContext
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.
Documentation
Ruleset for RDF inference.
Ruleset for RDFS inference.
Ruleset for RDFD (datatyping) inference.