The Robber and the Speeder: an exciting inference

Hi Folks,

I have taken a crack at filling in the details of the Robber/Speeder
example that I outlined in a previous message:

The Police Report on the Robbery

<Robbery rdf:ID="2003-03-17-XTf4">
    <description>...</description>
    <suspect>
        <Person rdf:about="http://www.police-files.org#Bad_Guy"/>
    </suspect>
</Robbery>

The Police Report on the Speeder

<Speeder rdf:ID="2003-03-17-QWRP">
    <description>...</description>
    <driver>
        <Person rdf:about="http://www.police-files.org#John_Doe"/>
    </driver>
</Speeder>

Is the Robber suspect and the Speeder the same person?  The following
document enables us to say "Yes":

Police File on "Bad_Guy"

<Person rdf:ID="Bad_Guy">
    <owl:sameIndividualAs
rdf:resource="http://www.police-files.org#John_Doe"/>
</Person>

The Robbery suspect is Bad_Guy.  The Speeder is John_Doe.  Bad_Guy is
also known as John_Doe.  Thus, the Robbery suspect and the Speeder are
one and the same.  TaDa!

The thing that I don't like about my solution is that it isn't using
much of OWL.  It is merely using OWL to assert that one person is the
same as another person, i.e., it's still not a particularly exciting
inference.  Does anyone have ideas on how to enhance my solution to use
more of OWL's capabilities, and use more inferencing?  /Roger

Received on Monday, 17 March 2003 12:01:54 UTC