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

Re: The Robber and the Speeder: an exciting inference

From: Richard H. McCullough <rhm@cdepot.net>
Date: Sun, 30 Mar 2003 14:29:00 -0800
Message-ID: <001201c2f70c$14f82470$bd7ba8c0@rhm8200>
To: "Roger L. Costello" <costello@mitre.org>
Cc: <www-rdf-logic@w3.org>, "KR-language" <KR-language@YahooGroups.com>

Here's the actual ouput from running MKE.
I changed the input MKR script a little.  The latest version is
http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OWL/RobberSpeeder.h
tml.

<!--  input data  -->
unit:Person
/  Fred Bloggs
/  John Doe
/  an unknown person
primitive:Gun License DB
/  unit:Gun License DB_087 # ABCD,Fred Bloggs,ZXYZXY;
primitive:Robbery Event DB
/  unit:Robbery Event DB_092 # date_123,an unknown person,ABCD;
primitive:Speeding Offense DB
/  unit:Speeding Offense DB_099 # date_456,John Doe,ZXYZXY;

<!--  output results  -->
Fred Bloggs has registeredGun = ABCD
Fred Bloggs has driversLicenseNumber = ZXYZXY
Fred Bloggs isin Gun License DB = Gun License DB_087
{ Fred Bloggs isin Gun License DB ; } has truth_value = true;
ABCD isin Robbery Event DB = Robbery Event DB_092
{ ABCD isin Robbery Event DB ; } has truth_value = true;
ZXYZXY isin Speeding Offense DB = Speeding Offense DB_099
{ ZXYZXY isin Speeding Offense DB ; } has truth_value = true;
<!-- matching Robber and Speeder -->
John Doe has driversLicenseNumber = ZXYZXY
{ John Doe isin Gun License DB ; } has truth_value = false;
an unknown person has registeredGun = ABCD
{ an unknown person isin Gun License DB ; } has truth_value = false;

============
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

----- Original Message -----
From: "Roger L. Costello" <costello@mitre.org>
To: "Richard H. McCullough" <rhm@cdepot.net>
Cc: <www-rdf-logic@w3.org>
Sent: Thursday, March 27, 2003 7:48 AM
Subject: Re: The Robber and the Speeder: an exciting inference


> WOW!  Most cool ....   Thanks!   /Roger
>
> "Richard H. McCullough" wrote:
>
> > For your enjoyment.
> > Here is a complete implementation of this example
> > using MKR/MKE (http://rhm.cdepot.net/)
Received on Sunday, 30 March 2003 17:31:24 GMT

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