- From: Danny Ayers <danny666@virgilio.it>
- Date: Thu, 10 Apr 2003 15:36:08 +0200
- To: "Dan Connolly" <connolly@w3.org>, "Libby Miller" <Libby.Miller@bristol.ac.uk>
- Cc: <www-rdf-calendar@w3.org>
> :me cyc:subAbstrac [ > is cyc:temporallySubsumes of :Thursday; > cyc:objectFoundInLocation :London > ]. > > # i.e. "a timeslice of myself temporally subsumed by this > # thursday isfound in London." > # cf http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#subAbstrac > > > You could use quoting and/or microtheories, but that > seems like overkill to me: > > { :me cyc:objectFoundInLocation :London } cyc:holdsIn :Thursday. Hmm - at first sight to me the latter version looks a lot more straightforward... (though maybe because I've recently been thinking about doing certainty factors/probabilities using the same pattern) If we had some estimates for 80/20 usage and how much work was involved then the preferable version should pop out. I guess a middle of the road (between storage and inference) usage is how easy it is to deal with simple queries. Three that spring to mind from a PIM point of view are "where am I on Thursday?" "what's happening on Thursday?" and "when am I in London?". The first query does look more approachable in the subAbstrac version, and the second is trivial in the quoted version but twisty with subAbstrac. The third query is a mini-maze either way.
Received on Thursday, 10 April 2003 09:37:55 UTC