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