|   Mikhail Khlopotov's example.  One relation is transitive over another.
|
|   In OWL-like notation it looks like this:
|
|   :worksFor :transitiveOver :consistsOf.
|   :Company X :consistsOf :R&D.
|   :R&D :consistsOf :Semantic Web.
|   :Semantic Web :consistsOf :Semantic Web Inference.
|   :Mikhail Khlopotov :worksFor :Semantic Web Inference
|
| Task -- From the above, deduce the following answers:
|
|   :Mikhail Khlopotov :worksFor :Company X.
|   :Mikhail Khlopotov :worksFor :R&D.
|   :Mikhail Khlopotov :worksFor :Semantic Web.
|   :Mikhail Khlopotov :worksFor :Semantic Web Inference.
|
|    In Internet Business Logic you can say the above as follows, then you can use a browser
|    run the rules to get the answers, and to get explanations of the answers.  
|    To do this, please see the instructions at the end of this file.
|
|    For more about how this relates to the Semantic Web, please see:
|    "Understandability and Semantic Interoperability of Diverse Rules Systems"
|         --  http://www.w3.org/2004/12/rules-ws/paper/19



some-person works for some-company-or-dept
some-organization has a department called that-company-or-dept
--------------------------------------------------------------
that-person works for that-organization


some-organization has a department called some-dept
that-dept has a department called some-sub-dept
-------------------------------------------------------
that-organization has a department called that-sub-dept


this-organization has a department called this-name
===============================================================
  Company X                               R&D
  R&D                                     Semantic Web
  Semantic Web                            Semantic Web Inference


this-person works for this-organization
============================================
Mikhail Khlopotov     Semantic Web Inference


|   To run this example, please...
|   
|     1.  go to the http://www.reengineeringllc.com page
|   
|     2.  click on Internet Business Logic
|   
|     3.  click the GO button
|   
|     4.  select the example from the list in the middle of the page
|   
|     5.  at the top of the page, click on "Choose an Agent and Go to its Question Menu"
|   
|     6.  click elsewhere on the page
|   
|     7.  you should now see a Question Menu
|   
|     8.  click on the first sentence
|   
|     9.  you should now see a new window with an "Ask" button
|   
|     10. click the Ask button 
|   
|     11. you should now see an Answer Table
|   
|     12. click on "Go To the Question Menu" hold down the mouse button,
|         select "Get an Explanation of the Selected Line" and release the button
|   
|     13. you should now see a step-by-step explanation of how the system
|         used the rules and facts in the example to get the answer
|   
|     14.  at the top of the page, choose "Go to View or Change the Agent" 
|           you will see the rules and facts that you have just been running
|   
|     15. please use the Help button on each page to see how to navigate further
|   
|     16. the tutorials show how to write and run your own examples.