- From: Ivan Herman <ivan@w3.org>
- Date: Tue, 23 Feb 2010 10:35:39 +0100
- To: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
- CC: SPARQL Working Group <public-rdf-dawg@w3.org>
- Message-ID: <4B83A16B.7080901@w3.org>
Plan to be there. Thanks! I. On 2010-2-21 22:45 , Birte Glimm wrote: > Hi all, > here is a proposal for the agenda. If you have additional suggestions > or suggestions for amendments, let me know. > Birte > > * Date of Call: Wednesday February 24, 2010 > * Time of Call: 18:00 UK, 13:00 (East US) > * Dial-In #: +1.617.761.6200 (Cambridge, MA) > * Dial-In #: +33.4.89.06.34.99 (Nice, France) > * Dial-In #: +44.117.370.6152 (Bristol, UK) > * Participant Access Code: > Zakim will tell us when the ad hoc conference is set up > * IRC Channel: irc.w3.org port 6665 channel #sparql-ent > ([irc:irc.w3.org:6665/sparql-ent]) > * Duration: 60 minutes > * Chair: Birte Glimm > * Scribe: ? > * Link to Agenda: http://www.w3.org/2009/sparql/wiki/Agenda-2010-02-24 > > * Admin > o Do we need a scribe? > * General entailment regimes issues > o Should we have a finite vocabulary from which bindings can be taken > for all variables and not just the ones in subject position. This > allows for defining the scoping graph as graph equivalent to the active > graph even in the case of an inconsistency and would mean a modified C2 > condition. > Current C2 in PWD: > (C2) Each variable x that occurs in the subject position of a triple in > BGP is such that sk(μ(x)) occurs in sk(SG). > Proposed C2: > (C2) For each variable x in V(BGP), sk(μ(x)) occurs in sk(SG) or in > Vocab. > Here vocal is defined as the reserved vocabulary for the entailment > regime (e.g., the RDF vocabulary for RDF entailment) minus terms of the > form rdf:_n with n in {1, 2, …}. > * RIF issues > o Will/should RIF be marked as "at risk" depending on the RIF WG note > about the RIF-to-RDF mapping? What is the status of the RIF to RDF > mapping? Will there be something like rif:import? > o Entailment regimes have to define which graphs the accept. Will the RIF > entailment regime work with all RDF graphs? Different lists in RDF and > RIF? > o Will each rule set be an entailment regime, e.g., the SD says something > like: myEndpoint sd:EntailmentRegime <http://example.org/myRules.rif>? > Or is there a suitable RIF entailment relation (RIF+RDF semantics) and > one specifies a rule set in a from clause or in the data set? Which RIF > profiles does that cover? This might affect the condition on extensions > to BGP matching that requires that > SG E-entails (SG union P1(BGP1) union ... union Pn(BGPn)) > o How are blank nodes defined in RIF? Will skolemization/mapping to RIF > local symbols work as for the other regimes? > o Not all RIF dialects are based on a model-theory (e.g., RIF PRD), so > they do not come with an entailment relation, but have a procedural > semantics. Can we still use the procedural semantics to define > something like an entailment regime? > o Which RIF profiles should be included? Only RIF Core? Does RIF Core > coincide with OWL RDF-Based or Direct Semantics? How many profiles are > there? > o What effects do the non-monotonic features of some RIF dialects have? > E.g., RIF PRD and (anticipated) RIF dialects with default negation. > How does that interact with SPARQL's non-monotonic features? > This probably affects issue-43: Should entailment-regimes be declared > over the whole dataset or individual graphs? > o RIF production rules: it is no even clear how conjunctive queries work. > o What is our timeline for RIF? > -- Ivan Herman, W3C Semantic Web Activity Lead Home: http://www.w3.org/People/Ivan/ mobile: +31-641044153 PGP Key: http://www.ivan-herman.net/pgpkey.html FOAF : http://www.ivan-herman.net/foaf.rdf vCard : http://www.ivan-herman.net/HermanIvan.vcf
Attachments
- application/pkcs7-signature attachment: S/MIME Cryptographic Signature
Received on Tuesday, 23 February 2010 09:35:56 UTC