1a38107941725211e7c3f051f7a8f5e12199f03acmaeder{-# LANGUAGE DeriveDataTypeable #-}
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeDescription : sublogic analysis for CASL_DL
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeCopyright : (c) Dominik Luecke 2008
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeMaintainer : luecke@informatik.uni-bremen.de
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeStability : experimental
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckePortability : portable
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeSublogic analysis for CASL_DL
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik LueckeThis module provides the sublogic functions (as required by Logic.hs)
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik Luecke for CASL_DL. The functions allow to compute the minimal sublogics needed
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik Luecke by a given element, to check whether an item is part of a given
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik Luecke sublogic, and to project an element into a given sublogic.
1a38107941725211e7c3f051f7a8f5e12199f03acmaederdata CASL_DL_SL = SROIQ deriving (Eq, Ord, Typeable, Data)
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik Lueckeinstance Show CASL_DL_SL where
1b3a2f98d1cd01fc9e0591f69507e20526727559Dominik Luecke show SROIQ = "SROIQ"