Copyright	(c) Felix Mance
License	GPLv2 or higher, see LICENSE.txt
Maintainer	f.mance@jacobs-university.de
Stability	provisional
Portability	non-portable
Safe Haskell	None

RDF.Logic_RDF

Description

Here is the place where the class Logic is instantiated for RDF

Show RDF
Language RDF
Sentences RDF Axiom Sign RDFMorphism RDFEntity
Syntax RDF TurtleDocument RDFEntity SymbItems SymbMapItems
StaticAnalysis RDF TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb
Logic RDF RDFSub TurtleDocument Axiom SymbItems SymbMapItems Sign RDFMorphism RDFEntity RawSymb ProofTree

Documentation