- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Tue, 5 Jun 2001 12:35:49 -0400 (EDT)
- To: www-rdf-logic@w3.org
[Brian McBride] Can you point me to an explanation as to why extending RDF is the better approach? Why is it necessary or better that RDF be a sub-language of LL? At the risk of repeating what others have said, here is my explanation: The case you are thinking of is something like this: There is a statement P, expressed in RDF, and a rule, P=>Q, expressed in some other language, such that an inference engine, looking at the two, could infer Q, a purely RDF conclusion. Unfortunately, not all rules operate purely on conjunctions. E.g., (or P Q), (not Q) => P So we still have to come up with a way of representing complex formulas, which requires extending RDF. -- Drew McDermott
Received on Tuesday, 5 June 2001 12:35:57 UTC