Copyright	(c) Till Mossakowksi
License	GPLv2 or higher, see LICENSE.txt
Stability	provisional
Portability	non-portable (via Logic.Logic)
Safe Haskell	None

OWL2.OWL22NeSyPatterns

Description

Documentation

data OWL22NeSyPatterns Source #

Constructors

OWL22NeSyPatterns

Instances

Instances details

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