PredefinedCASLAxioms.hs revision 91bc4b967a77366206ed8ad0d46ff0eab447049d
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosDescription : with inlined axioms
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosCopyright : (c) Uni and DFKI Bremen 2005-2007
2ae41f94c30465830758177491494f918a7a79bcLaszlo HordosLicense : GPLv2 or higher, see LICENSE.txt
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosMaintainer : Christian.Maeder@dfki.de
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosStability : provisional
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo HordosPortability : portable
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , conceptPred
9414015dda290f99570edc01b6dbe98f0f4c49c7Laszlo Hordos , predefinedAxioms
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport qualified Common.Lib.Rel as Rel
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffimport qualified Common.Lib.MapSet as MapSet
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi EgloffhetsPrefix :: String
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi EgloffhetsPrefix = ""
963cc96f97623aac2218f625e558cff1ddaea8c1Laszlo Hordos-- | OWL topsort Thing
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffthing :: SORT
90156f67ec28a5c489a714322a790d1e85fd052dJason Lemaything = stringToId "Thing"
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffn = nullRange
08c4a6c342ebfa67ba205e87573ffbaaa2719942Andi Egloffnothing :: Id