| Bremen Univ wrote:
| 
|    Create an ontology with three classes and two object properties. The
|    Classes are: Person, Book and Library and the object properties are:
|    hasBook (Domain: Person Range: Book) and boughtFrom (Domain: Book
|    Range: Library)
|
|    Assign an individual such a way that the person named Rahim bought a
|    book named Graph Theory from the Oxford library.
|
| IBL wrote: Here is how to write and run this in the Internet Business Logic system
|            Note: You can extend this example to make the purchase into a transaction --
|                  please see www.reengineeringllc.com/IBL_tutorial_part3.html



a-name is a member of the class Person
a-title is a member of the class Book
an-organization-name is a member of the class Library
the book that-title is available in the that-organization-name library 
----------------------------------------------------------------------
the person that-name has bought the book entitled that-title


this-item is a member of the class this-class
=============================================
   Rahim                            Person
   Graph Theory                     Book
   Oxford                           Library


the book this-book is available in the this-name library 
========================================================
       Graph Theory                      Oxford