Copyright	(c) Karl Luc, DFKI Bremen 2010, Eugen Kuksa and Uni Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	eugenk@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

CommonLogic.AS_CommonLogic

Description

Definition of abstract syntax for common logic

Documentation

newtype BASIC_SPEC

Constructors

Basic_spec [Annoted BASIC_ITEMS]

Instances

Eq BASIC_SPEC
Ord BASIC_SPEC
Show BASIC_SPEC
ShATermConvertible BASIC_SPEC
Monoid BASIC_SPEC
GetRange BASIC_SPEC
Pretty BASIC_SPEC
Typeable * BASIC_SPEC
ProjectSublogic CommonLogicSL BASIC_SPEC
MinSublogic CommonLogicSL BASIC_SPEC
Syntax CommonLogic BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CommonLogic BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol
Logic CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CommonLogic2IsabelleHOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CommonLogicModuleElimination CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CL2CFOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

data BASIC_ITEMS

Constructors

Axiom_items [Annoted TEXT_META]

Instances

Eq BASIC_ITEMS
Ord BASIC_ITEMS
Show BASIC_ITEMS
ShATermConvertible BASIC_ITEMS
GetRange BASIC_ITEMS
Pretty BASIC_ITEMS
Typeable * BASIC_ITEMS

type PrefixMapping = (String, IRI)

emptyTextMeta :: TEXT_META

data TEXT_META

Constructors

Text_meta
Fields getText :: TEXT textIri :: Maybe IRI nondiscourseNames :: Maybe (Set NAME) prefix_map :: [PrefixMapping]

Instances

Eq TEXT_META
Data TEXT_META
Ord TEXT_META
Show TEXT_META
ShATermConvertible TEXT_META
GetRange TEXT_META
Pretty TEXT_META
Typeable * TEXT_META
MinSublogic CommonLogicSL TEXT_META
Sentences CommonLogic TEXT_META Sign Morphism Symbol
StaticAnalysis CommonLogic BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol
Logic CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CommonLogic2IsabelleHOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CommonLogicModuleElimination CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CL2CFOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

data TEXT

Constructors

Text [PHRASE] Range
Named_text NAME TEXT Range

Instances

Eq TEXT
Data TEXT
Ord TEXT
Show TEXT
ShATermConvertible TEXT
GetRange TEXT
Pretty TEXT
Typeable * TEXT

data PHRASE

Constructors

Module MODULE
Sentence SENTENCE
Importation IMPORTATION
Comment_text COMMENT TEXT Range

Instances

Eq PHRASE
Data PHRASE
Ord PHRASE
Show PHRASE
ShATermConvertible PHRASE
GetRange PHRASE
Pretty PHRASE
Typeable * PHRASE

data COMMENT

Constructors

Comment String Range

Instances

Eq COMMENT
Data COMMENT
Ord COMMENT
Show COMMENT
ShATermConvertible COMMENT
GetRange COMMENT
Pretty COMMENT
Typeable * COMMENT

data MODULE

Constructors

Mod NAME TEXT Range
Mod_ex NAME [NAME] TEXT Range

Instances

Eq MODULE
Data MODULE
Ord MODULE
Show MODULE
ShATermConvertible MODULE
GetRange MODULE
Pretty MODULE
Typeable * MODULE

data IMPORTATION

Constructors

Imp_name NAME

Instances

Eq IMPORTATION
Data IMPORTATION
Ord IMPORTATION
Show IMPORTATION
ShATermConvertible IMPORTATION
GetRange IMPORTATION
Pretty IMPORTATION
Typeable * IMPORTATION

data QUANT

Constructors

Universal
Existential

Instances

Eq QUANT
Data QUANT
Ord QUANT
Show QUANT
ShATermConvertible QUANT
GetRange QUANT
Pretty QUANT
Typeable * QUANT

data BOOL_SENT

Constructors

Junction AndOr [SENTENCE]
Negation SENTENCE
BinOp ImplEq SENTENCE SENTENCE

Instances

Eq BOOL_SENT
Data BOOL_SENT
Ord BOOL_SENT
Show BOOL_SENT
ShATermConvertible BOOL_SENT
GetRange BOOL_SENT
Pretty BOOL_SENT
Typeable * BOOL_SENT

data AndOr

Constructors

Conjunction
Disjunction

Instances

Eq AndOr
Data AndOr
Ord AndOr
Show AndOr
ShATermConvertible AndOr
GetRange AndOr
Pretty AndOr
Typeable * AndOr

data ImplEq

Constructors

Implication
Biconditional

Instances

Eq ImplEq
Data ImplEq
Ord ImplEq
Show ImplEq
ShATermConvertible ImplEq
GetRange ImplEq
Pretty ImplEq
Typeable * ImplEq

data ATOM

Constructors

Equation TERM TERM
Atom TERM [TERM_SEQ]

Instances

Eq ATOM
Data ATOM
Ord ATOM
Show ATOM
ShATermConvertible ATOM
GetRange ATOM
Pretty ATOM
Typeable * ATOM

data TERM

Constructors

Name_term NAME
Funct_term TERM [TERM_SEQ] Range
Comment_term TERM COMMENT Range
That_term SENTENCE Range

Instances

Eq TERM
Data TERM
Ord TERM
Show TERM
ShATermConvertible TERM
GetRange TERM
Pretty TERM
Typeable * TERM

data TERM_SEQ

Constructors

Term_seq TERM
Seq_marks SEQ_MARK

Instances

Eq TERM_SEQ
Data TERM_SEQ
Ord TERM_SEQ
Show TERM_SEQ
ShATermConvertible TERM_SEQ
GetRange TERM_SEQ
Pretty TERM_SEQ
Typeable * TERM_SEQ

type NAME = Token

type SEQ_MARK = Token

data SYMB_MAP_ITEMS

Constructors

Symb_map_items [SYMB_OR_MAP] Range

Instances

Eq SYMB_MAP_ITEMS
Data SYMB_MAP_ITEMS
Ord SYMB_MAP_ITEMS
Show SYMB_MAP_ITEMS
ShATermConvertible SYMB_MAP_ITEMS
GetRange SYMB_MAP_ITEMS
Pretty SYMB_MAP_ITEMS
Typeable * SYMB_MAP_ITEMS
ProjectSublogicM CommonLogicSL SYMB_MAP_ITEMS
MinSublogic CommonLogicSL SYMB_MAP_ITEMS
Syntax CommonLogic BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CommonLogic BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol
Logic CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CommonLogic2IsabelleHOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CommonLogicModuleElimination CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CL2CFOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

data SYMB_OR_MAP

Constructors

Symb NAME_OR_SEQMARK
Symb_mapN NAME NAME Range
Symb_mapS SEQ_MARK SEQ_MARK Range

Instances

Eq SYMB_OR_MAP
Data SYMB_OR_MAP
Ord SYMB_OR_MAP
Show SYMB_OR_MAP
ShATermConvertible SYMB_OR_MAP
GetRange SYMB_OR_MAP
Pretty SYMB_OR_MAP
Typeable * SYMB_OR_MAP

data SYMB_ITEMS

Constructors

Symb_items [NAME_OR_SEQMARK] Range

Instances

Eq SYMB_ITEMS
Data SYMB_ITEMS
Ord SYMB_ITEMS
Show SYMB_ITEMS
ShATermConvertible SYMB_ITEMS
GetRange SYMB_ITEMS
Pretty SYMB_ITEMS
Typeable * SYMB_ITEMS
ProjectSublogicM CommonLogicSL SYMB_ITEMS
MinSublogic CommonLogicSL SYMB_ITEMS
Syntax CommonLogic BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis CommonLogic BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol
Logic CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CommonLogic2IsabelleHOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CommonLogicModuleElimination CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism CL2CFOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

printBasicSpec :: BASIC_SPEC -> Doc

printBasicItems :: BASIC_ITEMS -> Doc

printTextMeta :: TEXT_META -> Doc

exportCLIF :: [Named TEXT_META] -> Doc

exportBasicSpec :: BASIC_SPEC -> Doc

exportBasicItems :: BASIC_ITEMS -> Doc

exportTextMeta :: TEXT_META -> Doc

printText :: TEXT -> Doc

printPhrase :: PHRASE -> Doc

printModule :: MODULE -> Doc

printImportation :: IMPORTATION -> Doc

printSentence :: SENTENCE -> Doc

printComment :: COMMENT -> Doc

printQuant :: QUANT -> Doc

printBoolSent :: BOOL_SENT -> Doc

printAndOr :: AndOr -> Doc

printImplEq :: ImplEq -> Doc

printAtom :: ATOM -> Doc

printTerm :: TERM -> Doc

printTermSeq :: TERM_SEQ -> Doc

printNameOrSeqMark :: NAME_OR_SEQMARK -> Doc

printSymbOrMap :: SYMB_OR_MAP -> Doc

printSymbMapItems :: SYMB_MAP_ITEMS -> Doc

printSymbItems :: SYMB_ITEMS -> Doc

orS :: String

iffS :: String

clCommentS :: String

clTextS :: String

clImportS :: String

clModuleS :: String

clExcludeS :: String

Quant_sent QUANT [NAME_OR_SEQMARK] SENTENCE Range
Bool_sent BOOL_SENT Range
Atom_sent ATOM Range
Comment_sent COMMENT SENTENCE Range
Irregular_sent SENTENCE Range

Eq SENTENCE
Data SENTENCE
Ord SENTENCE
Show SENTENCE
ShATermConvertible SENTENCE
GetRange SENTENCE
Pretty SENTENCE
Typeable * SENTENCE

Eq NAME_OR_SEQMARK
Data NAME_OR_SEQMARK
Ord NAME_OR_SEQMARK
Show NAME_OR_SEQMARK
ShATermConvertible NAME_OR_SEQMARK
GetRange NAME_OR_SEQMARK
Pretty NAME_OR_SEQMARK
Typeable * NAME_OR_SEQMARK