hets/RDF/Logic_RDF.hs

	Logic_RDF.hs revision ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw{-# LANGUAGE CPP, MultiParamTypeClasses, TypeSynonymInstances #-}
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw{-# OPTIONS -w #-}
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw{- |
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwModule      :  $Header$
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwDescription :  instance of the class Logic for RDF
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCopyright   :  (c) Felix Mance
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwLicense     :  GPLv2 or higher, see LICENSE.txt
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwMaintainer  :  f.mance@jacobs-university.de
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwStability   :  provisional
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwPortability :  non-portable
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHere is the place where the class Logic is instantiated for RDF
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw-}
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwmodule RDF.Logic_RDF where
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.AS_Annotation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.Doc
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.DocUtils
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.ProofTree
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.DefaultMorphism
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.Consistency
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport Common.ProverTools
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport ATC.ProofTree ()
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
55bf511df53aad0fdb7eb3fa349f0308cc05234casimport Logic.Logic
55bf511df53aad0fdb7eb3fa349f0308cc05234cas
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport RDF.AS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport RDF.ATC_RDF ()
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport RDF.Parse
55bf511df53aad0fdb7eb3fa349f0308cc05234casimport RDF.Symbols
55bf511df53aad0fdb7eb3fa349f0308cc05234casimport RDF.Print
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwimport RDF.Sign
import RDF.Morphism

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 symbItems
    parse_symb_map_items RDF = Just symbMapItems
{-
instance Sentences RDF Sentence Sign RDFMorphism Entity where
    map_sen RDF = mapSen
    print_named RDF namedSen =
        pretty $ (if isAxiom namedSen then rmImplied else addImplied)
            (sentence namedSen)
    sym_of RDF = singletonList . symOf
    symmap_of RDF = symMapOf

instance StaticAnalysis RDF RDFGraph Sentence
               SymbItems SymbMapItems
               Sign
               RDFMorphism
               Entity 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 . inclOWLMorphism s
      matches RDF = matchesSym
      symbol_to_raw RDF = ASymbol
      induced_from_morphism RDF = inducedFromMor
      cogenerated_sign RDF = cogeneratedSign
      generated_sign RDF = generatedSign
      signature_colimit RDF = return . signColimit
#ifdef UNI_PACKAGE
      theory_to_taxonomy RDF = onto2Tax
#endif

instance Logic RDF ProfSub OntologyDocument Axiom SymbItems SymbMapItems
               Sign
               OWLMorphism Entity RawSymb ProofTree where
         empty_proof_tree RDF = emptyProofTree
#ifdef UNI_PACKAGE
         provers RDF = unsafeFileCheck pelletJar pelletEnv pelletProver ++
            unsafeFileCheck pelletJar pelletEnv pelletEL ++
             (unsafeFileCheck "OWLFactProver.jar" hetsOWLenv factProver)
         cons_checkers RDF =
             (unsafeFileCheck pelletJar pelletEnv pelletConsChecker) ++
             (unsafeFileCheck "OWLFact.jar" hetsOWLenv factConsChecker)
         conservativityCheck RDF = concatMap
           (\ ct -> unsafeFileCheck localityJar hetsOWLenv
              $ ConservativityChecker ("Locality_" ++ ct)
                      $ conserCheck ct)
           ["BOTTOM_BOTTOM", "TOP_BOTTOM", "TOP_TOP"]


#endif
-}

{-
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
-}