hets/RDF/Logic_RDF.hs

	Logic_RDF.hs revision 19e01e1a7e319063434bd86c8ecbc5f241ef9993
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu Prodescu{-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances #-}
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner{-# OPTIONS -w #-}
127a36cba0c92b465681ec55ad366aca423735ebChristian Maeder{- |
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuModule      :  $Header$
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu ProdescuDescription :  instance of the class Logic for RDF
127a36cba0c92b465681ec55ad366aca423735ebChristian MaederCopyright   :  (c) Felix Mance
127a36cba0c92b465681ec55ad366aca423735ebChristian MaederLicense     :  GPLv2 or higher, see LICENSE.txt
127a36cba0c92b465681ec55ad366aca423735ebChristian Maeder
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu ProdescuMaintainer  :  f.mance@jacobs-university.de
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu ProdescuStability   :  provisional
127a36cba0c92b465681ec55ad366aca423735ebChristian MaederPortability :  non-portable
127a36cba0c92b465681ec55ad366aca423735ebChristian Maeder
127a36cba0c92b465681ec55ad366aca423735ebChristian MaederHere is the place where the class Logic is instantiated for RDF
6c22726220ce34fe3f30c9ae61a1dfa832beac68Christian Maeder-}
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maedermodule RDF.Logic_RDF where
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport Common.AS_Annotation
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport Common.Doc
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport Common.DocUtils
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport Common.ProofTree
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport Common.DefaultMorphism
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport Common.Consistency
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport Common.ProverTools
127a36cba0c92b465681ec55ad366aca423735ebChristian Maeder
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport ATC.ProofTree ()
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettich
7fd28a2052af78b95981d76ee6182a7df046cf77Christian Maederimport Logic.Logic
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettich
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport RDF.AS
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport RDF.ATC_RDF ()
127a36cba0c92b465681ec55ad366aca423735ebChristian Maederimport RDF.Parse
6c22726220ce34fe3f30c9ae61a1dfa832beac68Christian Maederimport RDF.Symbols
6c22726220ce34fe3f30c9ae61a1dfa832beac68Christian Maederimport RDF.Print
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport RDF.Sign
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport RDF.Morphism
7fd28a2052af78b95981d76ee6182a7df046cf77Christian Maederimport RDF.Sublogic
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettichimport RDF.StaticAnalysis
57e0b8a9f8dc3a481f34e3a5392aaf6d0b7f94aeKlaus Luettich
data RDF = RDF deriving Show

instance Language RDF where
  language_name _ = "RDF"
  description _ =
    "RDF -- Resource Description Framework http://www.w3.org/RDF/"

instance Category Sign RDFMorphism where
    ide sig = inclRDFMorphism sig sig
    dom = osource
    cod = otarget
    legal_mor = legalMor
    isInclusion = isRDFInclusion
    composeMorphisms = composeMor

instance Syntax RDF RDFGraph SymbItems SymbMapItems where
    parse_basic_spec RDF = Just basicSpec
    parse_symb_items RDF = Just rdfSymbItems
    parse_symb_map_items RDF = Just rdfSymbMapItems

instance Sentences RDF Axiom Sign RDFMorphism RDFEntity where
    map_sen RDF = mapSen
    print_named RDF namedSen = pretty $ sentence namedSen
    sym_of RDF = singletonList . symOf
    symmap_of RDF = symMapOf

instance StaticAnalysis RDF RDFGraph Axiom
               SymbItems SymbMapItems
               Sign
               RDFMorphism
               RDFEntity RawSymb where
      basic_analysis RDF = Just basicRDFAnalysis
      stat_symb_items RDF _ = return . statSymbItems
      stat_symb_map_items RDF _ _ = statSymbMapItems
      empty_signature RDF = emptySign
      signature_union RDF = uniteSign
      signatureDiff RDF s = return . diffSig s
      final_union RDF = signature_union RDF
      is_subsig RDF = isSubSign
      subsig_inclusion RDF s = return . inclRDFMorphism s
      matches RDF = matchesSym
      symbol_to_raw RDF = ASymbol
      induced_from_morphism RDF = inducedFromMor
      cogenerated_sign RDF = cogeneratedSign
      generated_sign RDF = generatedSign

instance Logic RDF RDFSub RDFGraph Axiom SymbItems SymbMapItems
               Sign
               RDFMorphism RDFEntity RawSymb ProofTree where
         empty_proof_tree RDF = emptyProofTree

{-
instance SemiLatticeWithTop ProfSub where
    join = maxS
    top = topS

instance SublogicName ProfSub where
    sublogicName = nameS

instance MinSublogic ProfSub Axiom where
    minSublogic = psAxiom

instance MinSublogic ProfSub OWLMorphism where
    minSublogic = sMorph

instance ProjectSublogic ProfSub OWLMorphism where
    projectSublogic = prMorph

instance MinSublogic ProfSub Sign where
    minSublogic = sSig

instance ProjectSublogic ProfSub Sign where
    projectSublogic = prSign

instance MinSublogic ProfSub SymbItems where
    minSublogic = const topS

instance MinSublogic ProfSub SymbMapItems where
    minSublogic = const topS

instance MinSublogic ProfSub Entity where
    minSublogic = const topS

instance MinSublogic ProfSub OntologyDocument where
    minSublogic = profilesAndSublogic

instance ProjectSublogicM ProfSub SymbItems where
    projectSublogicM = const Just

instance ProjectSublogicM ProfSub SymbMapItems where
    projectSublogicM = const Just

instance ProjectSublogicM ProfSub Entity where
    projectSublogicM = const Just

instance ProjectSublogic ProfSub OntologyDocument where
    projectSublogic = prOntDoc
-}