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.OWL22CASL

Description

Documentation

data OWL22CASL Source #

Constructors

OWL22CASL

Instances

Instances details

Show OWL22CASL Source #
Instance details Defined in OWL2.OWL22CASL Methods showsPrec :: Int -> OWL22CASL -> ShowS show :: OWL22CASL -> String showList :: [OWL22CASL] -> ShowS
Language OWL22CASL Source #
Instance details Defined in OWL2.OWL22CASL Methods language_name :: OWL22CASL -> String Source # description :: OWL22CASL -> String Source #
Comorphism OWL22CASL OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in OWL2.OWL22CASL Methods sourceLogic :: OWL22CASL -> OWL2 Source # sourceSublogic :: OWL22CASL -> ProfSub Source # sourceSublogicLossy :: OWL22CASL -> ProfSub Source # minSourceTheory :: OWL22CASL -> Maybe (LibName, String) Source # targetLogic :: OWL22CASL -> CASL Source # mapSublogic :: OWL22CASL -> ProfSub -> Maybe CASL_Sublogics Source # map_theory :: OWL22CASL -> (Sign, [Named Axiom]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: OWL22CASL -> (Sign, [Named Axiom]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: OWL22CASL -> OWLMorphism -> Result CASLMor Source # map_sentence :: OWL22CASL -> Sign -> Axiom -> Result CASLFORMULA Source # map_symbol :: OWL22CASL -> Sign -> Entity -> Set Symbol Source # extractModel :: OWL22CASL -> Sign -> ProofTree -> Result (Sign, [Named Axiom]) Source # is_model_transportable :: OWL22CASL -> Bool Source # has_model_expansion :: OWL22CASL -> Bool Source # is_weakly_amalgamable :: OWL22CASL -> Bool Source # constituents :: OWL22CASL -> [String] Source # isInclusionComorphism :: OWL22CASL -> Bool Source # rps :: OWL22CASL -> Bool Source # eps :: OWL22CASL -> Bool Source # isGTC :: OWL22CASL -> Bool Source #