OWL Full reasoning

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