- From: Danny Ayers <danny666@virgilio.it>
- Date: Fri, 2 Aug 2002 22:19:29 +0200
- To: "David Saff" <saff@MIT.EDU>
- Cc: "RDF-Interest" <www-rdf-interest@w3.org>
>5. Defeasible rules. It would be great to say in CWM or some other >reasoning engine that people have two biological parents _unless >explicitly declared otherwise_, so I can handle cases like the Biblical >Adam and future cloned children. Note that given a good standard >solution for the statement "The current context does not contain a >statement {Gen:Adam par:hasNonstandardParentRelationship []}", I could >fake this, although it would be even better to be able to not have to >mention the exceptions in the rule. One place you might be able to do implement this would be on top of Bijan Parsia's Prolog RDF stuff. Hmm - I suppose there's another long way around, something like : to assert : Adam nParents 1 query: Person nParents x if conflict: retract Person nParents x create Person subclass PersonNotAdam assert PersonNotAdam nParents 2 assert Adam nParents 1 (yuck!) Cheers, Danny.
Received on Friday, 2 August 2002 16:27:54 UTC