- From: Charlie Abela <abcharl@maltanet.net>
- Date: Thu, 4 Apr 2002 00:07:09 +0100
- To: <www-rdf-logic@w3.org>
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