Copyright	(c) Christian Maeder DFKI and Uni Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

OWL2.DMU2OWL2

Description

translating DMU xml to OWL using OntoDMU.jar by Marco Franke from BIBA

Synopsis

data DMU2OWL2 = DMU2OWL2
mapTheory :: (Text, [Named ()]) -> Result (Sign, [Named Axiom])
runOntoDMU :: String -> IO String
readOWL :: MonadFail m => String -> m (Sign, [Named Axiom])

Documentation

data DMU2OWL2 Source #

The identity of the comorphism

Constructors

DMU2OWL2

Instances

Instances details

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

mapTheory :: (Text, [Named ()]) -> Result (Sign, [Named Axiom]) Source #

runOntoDMU :: String -> IO String Source #

readOWL :: MonadFail m => String -> m (Sign, [Named Axiom]) Source #