[TF-ENT] Entailment Regimes Task Force

Following Andy's lead, I have re-sent this mail by adding a [TF-ENT] to
the subject line. I think it would be a good idea to keep to that usage;
at the minimum it means that email client filters can be set up to
separate those mails easily...

Ivan

Ivan Herman wrote:
> Thank you Birte!
> 
> - I have added a reference to the paper Axel referred to. WOuld be good
> to have a reference to Bijan et al's paper.
> - Your idea that, eventually, we would look at both, eventually, sounds
> good. But before we do that I think we should exactly understand what
> the SPARQL extension mechanism entails and what type of document we have
> to produce. I think Bijan knows this better than, at least, you and
> me... Also, I expect that OWL RL, whatever we take from OWL RDF based
> semantics and RDFS will be very similar...
> 
> Cheers
> 
> Ivan
> 
> P.S. And now I am really, really, off to vacations, get on the plane
> this afternoon:-)
> 
> Birte Glimm wrote:
>> I tried to rename SPARQL/OWL to SPARQL/Entailment as Ivan suggested,
>> but my knowledge about how to work with wiki pages is too limited :-(
>> I managed to change the headline on the pape, but I can't see how I
>> can rename the page. I can of course create a new page with the same
>> content in it, but how can I then delete the old page?
>>
>> Regarding Axel's comment on how to proceed, Bijan (with co-authors)
>> has a paper in which they outline how SPARQL can be used with OWL
>> reasoners (Direct Semantics). How about kicking off both, the work on
>> RIF/RDFS and OWL or to speak in entailment regimes with the extensions
>> to RDF-Based and to Direct Semantics?
>>
>> Birte
>>
>> 2009/8/2 Axel Polleres <axel.polleres@deri.org>:
>>> Birte Glimm wrote:
>>>> Ivan,
>>>> I used that name because that is the name that was used for the
>>>> feature all the time since I joined the WG. That is what the feature
>>>> was named in the initial voting about which features the group would
>>>> work on and during the F2F. I agree that it might not be a well-chosen
>>>> name, so do you suggest we start the TF with a discussion about what
>>>> name we use?
>>>> Birte
>>> FWIW, and regarding Ivan's comment that RDFS and (some dialect of) RIF
>>> entailments should be treated, I suggest to start for RIF/RDFS with a very
>>> simple subdialect of rif core just strong enough to cover most of RDFS and
>>> probably not beyond N3.
>>>
>>> Basically, what I mean here ar safe rules with only bnode-free BGPs in the
>>> head and body, e.g.
>>>
>>>  {?s a ?c} :- {?s ?p ?o . ?p rdfs:domain ?c }
>>>  ...
>>>
>>> That covers e.g. most of OWL RL, I believe, and all of the RDFS rules
>>> in [1], though it would leave out surrogate bnode construction (if
>>> intermediate non-RDF inderences are allowed, which is fine in RIF, these
>>> aren't really needed, I believe).
>>>
>>> I have something drafted already in a paper on that, so I am happy to drive
>>> that part.
>>>
>>> Axel
>>>
>>> 1. http://www.eswc2007.org/pdf/eswc07-munoz.pdf
>>>
>>>> 2009/8/1 Ivan Herman <ivan@w3.org>:
>>>>  > Great, thanks!
>>>>  >
>>>>  > One immediate comment, though: the entry for the time-permitting
>>>>  > features is not only OWL. It also includes RDFS inference and possibly
>>>>  > looking at RIF rules. Would it be possible to rename the page to avoid
>>>>  > any misunderstandings?
>>>>  >
>>>>  > Ivan
>>>>  >
>>>>  > Birte Glimm wrote:
>>>>  >> Hi all,
>>>>  >> following Andy's example, I have created a wiki page for the
>>>> SPARQL/OWL TF:
>>>>  >>
>>>>  >> http://www.w3.org/2009/sparql/wiki/TaskForce:SPARQLOWL
>>>>  >>
>>>>  >> also in Category:TaskForce
>>>>  >>
>>>>  >> The list of names from WG telecon (2009-07-28) is there. Please add
>>>>  >> yourself if you want to participate and are not yet on the list.
>>>>  >> Could I also ask interested people to note their availability for a
>>>>  >> generally good slot in the week where we could meet when needed.
>>>>  >>
>>>>  >> Birte
>>>>  >>
>>>>  >
>>>>  > --
>>>>  >
>>>>  > 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
>>>>  >
>>>>
>>>>
>>>>
>>>> --
>>>> Dr. Birte Glimm, Room 306
>>>> Computing Laboratory
>>>> Parks Road
>>>> Oxford
>>>> OX1 3QD
>>>> United Kingdom
>>>> +44 (0)1865 283529
>>>>
>>> --
>>> Dr. Axel Polleres
>>> Digital Enterprise Research Institute, National University of Ireland,
>>> Galway
>>> email: axel.polleres@deri.org  url: http://www.polleres.net/
>>>
>>
>>
> 

-- 

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