- From: Adrian Walker <adrianw@snet.net>
 - Date: Thu, 18 Aug 2005 20:57:50 -0400
 - To: "Hans Teijgeler" <hans.teijgeler@quicknet.nl>
 - Cc: semantic-web@w3.org
 
Hans --
Do you have a machine readable version of your example
    http://www.infowebml.ws/topics/RDF-OWL/85-reasoning/example.htm
please?  Preferably in a "triples" notation.
We have had some success in doing reasoning that seems difficult for OWL 
alone.  For  an example, please see
    http://www.reengineeringllc.com/demo_agents/TransitiveOver1.agent
There's more about this in the paper
    http://www.w3.org/2004/12/rules-ws/paper/19
Thanks in advance for the triples or other machine readable file.
                         -- Adrian
INTERNET BUSINESS LOGIC (R)
Online at www.reengineeringllc.com
Adrian Walker
Reengineering LLC
PO Box 1412
Bristol
CT 06011-1412 USA
Phone: USA 860 583 9677
Cell:    USA  860 830 2085
Fax:    USA  860 314 1029
Received on Friday, 19 August 2005 00:58:12 UTC