RE: Some DAML clarification

Thanks for your reply

After reading through that
paper it seems to me that the
idea I presented lacks some
important issues.
For one the relator should
point to a property and not a
string as in the example.
As regards the variables
identification, is there no
other means apart from
reification that can be used.
For example would defining a
variable as being a subject or
object be enough? In this case
then a conclusion or premise
would be made up of a triple
(pred, subj, obj).
A question that has been
haunting me these days is how,
if possible, to match within
an ontology, the premise and
its conclusion. Inferencing
must play a role here, but
still there has to be some
declared form of connection
between the two.

Thanks again for replying
Regards

Charlie

-----Original Message-----
From: Drew McDermott
[mailto:drew.mcdermott@yale.ed
u]
Sent: Wednesday, April 03,
2002 7:51 PM
To: abcharl@maltanet.net
Cc: www-rdf-logic@w3.org
Subject: Re: Some DAML
clarification


   Maybe someone can help me
out here.
   Can instances in DAML be of
the type as below:

   <rule:Rule rdf:ID="first">
      <rule:If>
        <rdf:Seq>
          <rdf:li>
           <rule:Conclusion>

<rule:relator>rel1</rule:relat
or>
               <rule:Var
rdf:ID="var1"
rule:name="nvar1" />
               <rule:Var
rdf:ID="var2"
rule:name="nvar2"/>
         </rule:Conclusion>
       </rdf:li>
       <rdf:li>
         <rule:Premise>

<rule:relator>rel2</rule:relat
or>
               <rule:Var
rdf:ID="var3"
rule:name="nvar3" />
               <rule:Var
rdf:ID="var4"
rule:name="nvar4"/>
         </rule:Premise>
        </rdf:li>
       </rdf:Seq>
       </rule:If>
     </rule:Rule>
   </rdf:RDF>

   Where rule is the basic
Ontology that describes a rule
being an If statement with
premises and conclusion, which
are defined as
   Classes with a property
relator and Var ( this is a
class with property name).

This is the right idea, but
the trick is getting the
variables
right.  For one proposal, see
our SWC 2002 paper, found at

ftp://ftp.cs.yale.edu/pub/mcde
rmott/papers/McDermottDou02.pd
f

                              
               -- Drew
McDermott

Received on Wednesday, 3 April 2002 17:09:38 UTC