- From: John Goodwin <John.Goodwin@ordnancesurvey.co.uk>
- Date: Tue, 20 Feb 2007 09:49:21 -0000
- To: "Matt Williams" <matthew.williams@cancer.org.uk>, "Semantic Web" <semantic-web@w3.org>
You might like to check this paper: http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p117-grosof .pdf This discusses the relationships between DLs and rules. Also you might like to look at http://owl1_1.cs.manchester.ac.uk/tractable.html which considers tractable fragments of OWL that can be used when reasoning over a large number of instances. John -----Original Message----- From: semantic-web-request@w3.org [mailto:semantic-web-request@w3.org] On Behalf Of Matt Williams Sent: 19 February 2007 21:38 To: Semantic Web Subject: Ontological Reasoning as Rules Dear All, I'm trying to reduce an ontology to a set of rules, i order to compare it with other approaches. I know that there are problems with this and OWL-DL reasoning. However, I am only concerned with reasoning over ground instances. In this case, I would have thought that many of the difficulties would disappear. . This email is only intended for the person to whom it is addressed and may contain confidential information. If you have received this email in error, please notify the sender and delete this email which must not be copied, distributed or disclosed to any other person. Unless stated otherwise, the contents of this email are personal to the writer and do not represent the official view of Ordnance Survey. Nor can any contract be formed on Ordnance Survey's behalf via email. We reserve the right to monitor emails and attachments without prior notice. Thank you for your cooperation. Ordnance Survey Romsey Road Southampton SO16 4GU Tel: 08456 050505 http://www.ordnancesurvey.co.uk
Received on Tuesday, 20 February 2007 09:49:28 UTC