From: Benjamin Grosof (bgrosof@MIT.EDU)
Date: 09/28/04
Here is a note from our discussion on today's joint committee telecon. participants: Mike Dean Harold Boley Benjamin Grosof Issue to investigate: FOL RuleML/SWRL model theory for data type valued properties/triples/variables/etc. -- can/should we view there being an implicit ctor associated with the datatype? i.e, because the datatype has an associated distinct (sub-)universe in the model-theoretic sense. - need to look at the RDF semantics document about this - SWRL doc current version has a kind of hand wave about this - our FOL RuleML doc immediate version can emulate the hand wave - but we should flag the issue for future attention and so users are alerted not to naively implement by just grabbing what's between the double quotes and sticking that in a single unsorted overall datatype as is typical in many rule/FOL systems. ________________________________________________________________________________________________ Prof. Benjamin Grosof Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, XML, Agents, Semantic Web Services MIT Sloan School of Management, Information Technology group http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof
This archive was generated by hypermail 2.1.4 : 09/28/04 EST