Re: DAML+OIL semantics from Jim Farrugia on 2002-08-13 (www-rdf-logic@w3.org from August 2002)

From: Jim Farrugia <jim@spatial.maine.edu>
Date: Tue, 13 Aug 2002 10:41:47 -0400 (EDT)
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
cc: www-rdf-logic@w3.org
Message-ID: <Pine.OSF.3.91.1020813104025.3805C-100000@nasa.spatial.maine.edu>

Peter,

I'm breaking up my questions into two short ones and one longer one.

Here's the first short one.

Jim



P P-S: So there are several reasons one would choose one semantics over 
another:

       1/ Model theories tend to be smaller and simpler, and thus easier to
       understand.  They are more declarative than proof theories or
       axiomatizations.  However, model theories generally are not 
       related to implementations of reasoners.

JF:    How in general to get from a model-theoretic semantics to an
       implementation with a reasoner? (Maybe I'll find this in the DL
       literature you refer me to below?)

Received on Tuesday, 13 August 2002 10:49:23 UTC