[TF-ENT] RDFS entailment regime proposal

Hi all,
whoever is interested in RDFS entailment: I would be very happy about
comments and suggestions for the RDFS entailment regime as outlined
in:
http://wiki.webont.org/page/SPARQL/OWL

Ignore the OWL part for now. It is not at all finished and will
certainly change! Axel, can you check whether that would work with
what you have in mind for RIF? My RIF knowledge is far too limited to
judge that :-(

There are a view design choices that I have listed at the end of the
section on RDFS, which could be an alternative to the currently
proposed way of restricting the answers sets to a finite size. Please
let me know prefer any of them or have any other suggestions. Ideally,
a monotonic behavior for queries would be very nice, but that is not
easy to achieve when solution sequences are possibly infinite without
restrictions.

I would like to get access to the CVS and work in a real template. Who
can arrange that?

Cheers,
Birte

PS: Our email server is still behaving strangely regarding W3C
messages and I do not even get my own messages, so I might get your
answers with some delay only :-(

-- 
Dr. Birte Glimm, Room 306
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283529

Received on Thursday, 24 September 2009 17:31:40 UTC