{- |

Module : $Header$

Copyright : (c) Felix Gabriel Mance

License : GPLv2 or higher, see LICENSE.txt

Maintainer : f.mance@jacobs-university.de

Stability : provisional

Portability : portable

Printer for N-triples

-}

module RDF.Print where

import Common.AS_Annotation

import Common.Doc

import Common.DocUtils

import Common.Id

import Common.Keywords

import OWL2.AS

import OWL2.Print

import RDF.AS

import RDF.Parse

import RDF.Symbols

import RDF.Sign

import RDF.Morphism

-- | RDF signature printing

printRDFBasicTheory :: (Sign, [Named Axiom]) -> Doc

printRDFBasicTheory (s, l) = vsep (map (pretty . sentence) l)

instance Pretty Sign where

pretty = printSign

printSign :: Sign -> Doc

printSign s = pretty (subjects s) <+> pretty (predicates s)

<+> pretty (objects s)

instance Pretty Axiom where

pretty = printAxiom

printAxiom :: Axiom -> Doc

printAxiom (Axiom sub pre obj)

= pretty sub <+> pretty pre <+> printObject obj <+> text "."

printObject :: Object -> Doc

printObject obj = case obj of

Left iri -> pretty iri

Right lit -> pretty lit

instance Pretty RDFGraph where

pretty = printGraph

printGraph :: RDFGraph -> Doc

printGraph (RDFGraph sl) = vcat $ map pretty sl

instance Pretty SymbItems where

instance Pretty SymbMapItems where

instance Pretty RDFMorphism where

instance Pretty RDFEntity where

instance Pretty RawSymb where