Hets - the Heterogeneous Tool Set

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

OWL2.MS2Ship

Description

convert ontology to SHIP syntax

Documentation

indFrame2Boxes :: String -> FrameBit -> [ABox] Source #

mkCycle :: (a -> a -> b) -> [a] -> [b] Source #

pairwise :: (a -> a -> b) -> [a] -> [b] Source #

disRs :: [Role] -> [RBox] Source #