Copyright	(c) Francisc-Nicolae Bungiu Felix Gabriel Mance
License	GPLv2 or higher, see LICENSE.txt
Maintainer	f.bungiu@jacobs-university.de
Stability	provisional
Portability	non-portable (via Logic.Logic)
Safe Haskell	None

OWL2.OWL22CommonLogic

Description

a comorphism from OWL2 to CommonLogic

Documentation

data OWL22CommonLogic Source #

Constructors

OWL22CommonLogic

Instances

Instances details

Show OWL22CommonLogic Source #
Instance details Defined in OWL2.OWL22CommonLogic Methods showsPrec :: Int -> OWL22CommonLogic -> ShowS show :: OWL22CommonLogic -> String showList :: [OWL22CommonLogic] -> ShowS
Language OWL22CommonLogic Source #
Instance details Defined in OWL2.OWL22CommonLogic Methods language_name :: OWL22CommonLogic -> String Source # description :: OWL22CommonLogic -> String Source #
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 Source #
Instance details Defined in OWL2.OWL22CommonLogic Methods sourceLogic :: OWL22CommonLogic -> OWL2 Source # sourceSublogic :: OWL22CommonLogic -> ProfSub Source # sourceSublogicLossy :: OWL22CommonLogic -> ProfSub Source # minSourceTheory :: OWL22CommonLogic -> Maybe (LibName, String) Source # targetLogic :: OWL22CommonLogic -> CommonLogic Source # mapSublogic :: OWL22CommonLogic -> ProfSub -> Maybe CommonLogicSL Source # map_theory :: OWL22CommonLogic -> (Sign, [Named Axiom]) -> Result (Sign0, [Named TEXT_META]) Source # mapMarkedTheory :: OWL22CommonLogic -> (Sign, [Named Axiom]) -> Result (Sign0, [Named TEXT_META]) Source # map_morphism :: OWL22CommonLogic -> OWLMorphism -> Result Morphism Source # map_sentence :: OWL22CommonLogic -> Sign -> Axiom -> Result TEXT_META Source # map_symbol :: OWL22CommonLogic -> Sign -> Entity -> Set Symbol Source # extractModel :: OWL22CommonLogic -> Sign -> ProofTree -> Result (Sign, [Named Axiom]) Source # is_model_transportable :: OWL22CommonLogic -> Bool Source # has_model_expansion :: OWL22CommonLogic -> Bool Source # is_weakly_amalgamable :: OWL22CommonLogic -> Bool Source # constituents :: OWL22CommonLogic -> [String] Source # isInclusionComorphism :: OWL22CommonLogic -> Bool Source # rps :: OWL22CommonLogic -> Bool Source # eps :: OWL22CommonLogic -> Bool Source # isGTC :: OWL22CommonLogic -> Bool Source #