Re: Entailment Regimes Task Force

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/

Received on Sunday, 2 August 2009 12:55:52 UTC