Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

OWL2.CASL2OWL

Description

 

Documentation

data CASL2OWL Source #

Constructors

CASL2OWL 

Instances

Show CASL2OWL Source # 

Methods

showsPrec :: Int -> CASL2OWL -> ShowS

show :: CASL2OWL -> String

showList :: [CASL2OWL] -> ShowS

Language CASL2OWL Source # 

Methods

language_name :: CASL2OWL -> String Source #

description :: CASL2OWL -> String Source #

Comorphism CASL2OWL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 

mkObjEnt :: String -> Id -> Int -> String -> FrameBit -> Named Axiom Source #

getPropSens :: Id -> [SORT] -> Maybe SORT -> [Named Axiom] Source #

getPropNames :: (a -> [b]) -> MapSet Id a -> Set IRI Source #

commonType :: Sign f e -> [[SORT]] -> Result [SORT] Source #

getCommonSupers :: Sign f e -> [SORT] -> Set SORT Source #

keepMaximals :: Sign f e -> [SORT] -> [SORT] Source #