$Id: literalLeak.daml,v 1.1 2003-08-22 13:30:34 der Exp $ An example ontology, with data types taken from XML Schema Santa is an instance of Person. Santa has two pieces of associatedData, one of which is the real number 3.14159 and the other of which is the string "3.14159". We may be able to infer a logical inconsistency (because Persons can have at most 1 item of associatedData, and a value cannot be both a string and a real number).