PredefinedCASLAxioms.hs revision 91bc4b967a77366206ed8ad0d46ff0eab447049d
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloff{- |
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi EgloffModule : PredefinedSign.hs
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosDescription : with inlined axioms
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosCopyright : (c) Uni and DFKI Bremen 2005-2007
2ae41f94c30465830758177491494f918a7a79bcLaszlo HordosLicense : GPLv2 or higher, see LICENSE.txt
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosMaintainer : Christian.Maeder@dfki.de
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosStability : provisional
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosPortability : portable
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos-}
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordosmodule CASL_DL.PredefinedCASLAxioms
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos ( predefSign
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , thing
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , nothing
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , conceptPred
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , dataS
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , predefinedAxioms
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , mkNName
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos ) where
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordosimport CASL.AS_Basic_CASL
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordosimport CASL.Sign
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport Common.AS_Annotation
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport Common.Id
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport qualified Common.Lib.Rel as Rel
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport qualified Common.Lib.MapSet as MapSet
f469cad18932786e1db610d6134f90b9002181c4jenkins
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport Data.Char
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloff
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi EgloffhetsPrefix :: String
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi EgloffhetsPrefix = ""
963cc96f97623aac2218f625e558cff1ddaea8c1Laszlo Hordos
963cc96f97623aac2218f625e558cff1ddaea8c1Laszlo Hordos-- | OWL topsort Thing
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffthing :: SORT
90156f67ec28a5c489a714322a790d1e85fd052dJason Lemaything = stringToId "Thing"
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloff
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffn :: Range
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffn = nullRange
b7dc48d3b8b0550ab1e178408299bed5185ab4a1Bruno Lavit
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffnothing :: Id
Error!

 

There was an error!

null

java.lang.NullPointerException