- From: Adrian Walker <adrianw@snet.net>
- Date: Mon, 05 Jan 2004 08:08:39 -0500
- To: Mikhail Khlopotov <mik@chel.com.ru>
- Cc: www-rdf-logic@w3.org
Mikhail -- You wrote.... Can anyone provide me with a link to start with rules? Seems like people here are very familiar with them, but I had not found any nest of them yet ;-) You can run some rules/ontology examples by pointing a browser to www.reengineeringllc.com . You can also write and run your own examples there. Please use the Help button on each page to see how to navigate. Thanks in advance for your comments. -- Adrian At 01:43 PM 1/5/04 +0500, you wrote: >Jeremy Carroll wrote: > >>(still brainstorming on RDF logic, not formally responding to Mikail's >>comment) >> >>from which I can get as far as >> >>:mk rdf:type :rAndD >> >>but I need a 'property restriction' to say that an rdf:type relationship >>between a :Worker and a :WorkArea is a :worksFor relationship. >> >>But I guess using the built-in transitive over relationship between >>rdf:type and rdfs:subClassOf is sort of cheating ... >> >>I wonder whether some of the work of rules could be addressed differently >>by making OWL Full even bigger ... rules is probably a better idea. > >I agree! The only objection is that transitiveOver properties already >are on OWL - subclassing, you have mentioned. > >Can anyonw provide me with a link to start with rules? Seems like >people here are very familiar with them, but I had not found any nest of >them yet ;-) > >Mikhail Khlopotov >South Ural State Univercity, Russia >
Received on Monday, 5 January 2004 08:03:54 UTC