RE: OWL Full reasoning

Hi Adrian,

If you click again on
http://www.infowebml.ws/topics/RDF-OWL/85-reasoning/example.htm 
then you will find the listing, both in RDF/XML and Abstract Form.

I will study your material. Thanks!

Regards,
Hans

PS I updated the ontology for the full data model (I found a mistake):
http://www.infowebml.ws/links/ontology-for-data-model.rdf 

============================================================================
 
From: semantic-web-request@w3.org [mailto:semantic-web-request@w3.org] On
Behalf Of Adrian Walker
Sent: Friday, August 19, 2005 2:58 AM
To: Hans Teijgeler
Cc: semantic-web@w3.org
Subject: 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