$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).