{-# LANGUAGE CPP, MultiParamTypeClasses, TypeSynonymInstances #-}

{- |

Module : $Header$

Description : instance of the class Logic for OWL2

Copyright : (c) Christian Maeder, DFKI GmbH 2011

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : non-portable

Here is the place where the class Logic is instantiated for OWL2.

-}

module OWL2.Logic_OWL2 where

import Common.AS_Annotation

import Common.Doc

import Common.DocUtils

import Common.ProofTree

import ATC.ProofTree ()

import Logic.Logic

import OWL2.AS

import OWL2.FS

import OWL2.Parse

import OWL2.FunctionalParser

import OWL2.Symbols

import OWL2.Print ()

import OWL2.FunctionalPrint

import OWL2.ATC_OWL2 ()

type Sign = ()

type OWLMorphism = ()

type OWLSub = ()

data OWL2 = OWL2 deriving Show

instance Language OWL2 where

description _ =

"OWL2 DL -- Web Ontology Language Description Logic http://wwww.w3c.org/"

instance Category Sign OWLMorphism

instance Syntax OWL2 OntologyFile SymbItems SymbMapItems where

parse_basic_spec OWL2 = Just basicSpec

parse_symb_items OWL2 = Just symbItems

parse_symb_map_items OWL2 = Just symbMapItems

instance Sentences OWL2 Axiom Sign OWLMorphism Entity

instance StaticAnalysis OWL2 OntologyFile Axiom

SymbItems SymbMapItems

Sign

OWLMorphism

Entity RawSymb

instance Logic OWL2 OWLSub OntologyFile Axiom SymbItems SymbMapItems

Sign

OWLMorphism Entity RawSymb ProofTree

{-

instance SemiLatticeWithTop OWLSub where

join = sl_max

top = sl_top

instance SublogicName OWLSub where

sublogicName = sl_name

instance MinSublogic OWLSub Axiom where

minSublogic = sl_ax

instance MinSublogic OWLSub OWLMorphism where

minSublogic = sl_mor

instance ProjectSublogic OWLSub OWLMorphism where

projectSublogic = pr_mor

instance MinSublogic OWLSub Sign where

minSublogic = sl_sig

instance ProjectSublogic OWLSub Sign where

projectSublogic = pr_sig

instance MinSublogic OWLSub SymbItems where

minSublogic = const sl_top

instance MinSublogic OWLSub SymbMapItems where

minSublogic = const sl_top

instance MinSublogic OWLSub Entity where

minSublogic = const sl_top

instance MinSublogic OWLSub OntologyFile where

minSublogic = sl_o_file

instance ProjectSublogicM OWLSub SymbItems where

projectSublogicM = const Just

instance ProjectSublogicM OWLSub SymbMapItems where

projectSublogicM = const Just

instance ProjectSublogicM OWLSub Entity where

projectSublogicM = const Just

instance ProjectSublogic OWLSub OntologyFile where

projectSublogic = pr_o_file

-}