W3C home > Mailing lists > Public > www-rdf-interest@w3.org > August 2002

RE: any good hacks for these?

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>
Message-ID: <EBEPLGMHCDOJJJPCFHEFGEHAHFAA.danny666@virgilio.it>

>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

	Person nParents x

	if conflict:
			retract Person nParents x
			create Person subclass PersonNotAdam
			assert PersonNotAdam nParents 2
			assert Adam nParents 1


Received on Friday, 2 August 2002 16:27:54 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:42 UTC