| Portability | OverloadedStrings |
|---|---|
| Stability | experimental |
| Maintainer | Douglas Burke |
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.