Re: [TF-ENT] RDFS entailment regime proposal

Regarding RIF.

On 9/24/09 1:30 PM, "Birte Glimm" <birte.glimm@comlab.ox.ac.uk> wrote:
> 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 :-(

"A pattern instance mapping P for .. some RIF common model entailment
relationship .. "

" possible solution for BGP from G under .. some RIF common model entailment
relationship .."

For example, RDFS-entails (rif-rdf-owl/#def-rdfs-entails) *should* coincide
with entailment regime used for RDFS.

I'm not sure if the restriction on appearances in signatures breaks this.

Generally, the semantics of RIF/RDF/OWL combination give entailment
relationships (and their corresponding well-formedness restrictions) that
can be used as is in this framework.

The guarantee of a finite set of answers is the main driver of the
constraints regarding SPARQL extensions for entailment regimes.  The
"strongly safe rule sets" restrictions on producers of RIF Core meet this
condition for extensions to SPARQL.  So, a SPARQL extension for RIF Core
entailment should be a simple addition to this framework
 
----------------------
Chime (chee-meh) Ogbuji (oh-bu-gee)
Heart and Vascular Institute (Clinical Investigations)
Architect / Informatician
Cleveland Clinic (ogbujic@ccf.org)
Ph.D. Student Case Western Reserve University
(chimezie.thomas-ogbuji@case.edu)


===================================

P Please consider the environment before printing this e-mail

Cleveland Clinic is ranked one of the top hospitals
in America by U.S. News & World Report (2008).  
Visit us online at http://www.clevelandclinic.org for
a complete listing of our services, staff and
locations.


Confidentiality Note:  This message is intended for use
only by the individual or entity to which it is addressed
and may contain information that is privileged,
confidential, and exempt from disclosure under applicable
law.  If the reader of this message is not the intended
recipient or the employee or agent responsible for
delivering the message to the intended recipient, you are
hereby notified that any dissemination, distribution or
copying of this communication is strictly prohibited.  If
you have received this communication in error,  please
contact the sender immediately and destroy the material in
its entirety, whether electronic or hard copy.  Thank you.

Received on Saturday, 26 September 2009 13:27:52 UTC