W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

An exciting inference?

From: Roger L. Costello <costello@mitre.org>
Date: Sat, 15 Mar 2003 08:41:59 -0500
Message-ID: <3E732DA7.6CBFAFD5@mitre.org>
To: www-rdf-logic@w3.org
CC: "Costello,Roger L." <costello@mitre.org>

Hi Folks,

I am seeking a *simple* example that enables an *impressive* inference
to be made.  

Below is the outline of a scenario that is universally understandable
and would be very compelling if the inference shown below could be made.

The Robber and the Speeder

Let's suppose that yesterday two incidents occurred in Boston - a
robbery and separately (at a later time) a person was ticketed for
speeding.  The police officer at the robbery wrote up his report and
submited it into the police database.  Likewise, the police officer that
ticketed the person for speeding wrote up a report and entered it into
the police database.

At the end of the day an OWL tool automatically pairwise checks all the 
reports entered into the police database, looking for any
"relationships".

Let's suppose that the Robber and the Speeder are one and the same.  If
the OWL tool could infer that the Robber and the Speeder are the same
person then that would be most impressive (and would provide compelling
evidence of the usefulness of OWL).

Okay, that's the scenario outline.  Can someone fill in the details? 
Remember, it must be *simple* and it must lead to this inference:

   The Robber and the Speeder are the same person.

/Roger
Received on Saturday, 15 March 2003 08:42:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT