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

Received on Friday, 19 August 2005 00:58:12 UTC

AltStyle によって変換されたページ (->オリジナル) /