W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2003

Re: domains of container membership properties

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sat, 26 Apr 2003 19:03:59 +0200
To: "Jos De_Roo" <jos.deroo@agfa.com>
Cc: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OFAEF4DB29.84E1B5FF-ONC1256D14.005D858E-C1256D14.005DC1B3@agfa.be>


oops... we can, I mistyped rdfs:_25 should have been rdf:_25
and then we get

# Generated with http://www.agfa.com/w3c/euler/#R3426 on 26 Apr 2003
17:00:19 GMT
{
 (

<http://www.agfa.com/w3c/euler/rdfs-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <file:/temp/testP.n3>.<http://www.w3.org/2000/10/swap/log#semantics>

<http://www.agfa.com/w3c/euler/owl-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <file:/temp/testC.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <file:/temp/test#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsneg: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix neg: <http://www.agfa.com/w3c/euler/negation#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>.
  {?P = rdfs:member. ?C = rdfs:Container. ?P rdfs:domain ?C} =>
{rdfs:member rdfs:domain rdfs:Container}.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs6>.
    <http://www.w3.org/1999/02/22-rdf-syntax-ns#_25>
<http://www.w3.org/2000/01/rdf-schema#subPropertyOf>
<http://www.w3.org/2000/01/rdf-schema#member>.
    {?S = :a. ?O = :b. ?S <http://www.w3.org/1999/02/22-rdf-syntax-ns#_25>
?O} => {:a <http://www.w3.org/1999/02/22-rdf-syntax-ns#_25> :b}.
    ?S = :a. ?P = rdfs:member. ?O = :b. ?S ?P ?O} =>
  {:a rdfs:member :b}}  =>
{:a rdf:type rdfs:Container}.


# Proof found for file:/temp/testC.n3 in 68 steps (68000 steps/sec) using 1
engine
}.


sorry for the typo ;-)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                   
                    Jos De_Roo                                                                                     
                                         To:     pat hayes <phayes@ai.uwf.edu>@AGFASMTP                            
                    2003-04-26           cc:     w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org              
                    06:45 PM             Subject:     Re: domains of container membership properties(Document      
                                         link: Jos De_Roo)                                                         
                                                                                                                   



Testing that bit with our current assumed
inference rules we can't prove that

:a rdfs:_25 :b.

entails

:a rdf:type rdfs:Container.

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                        
                    pat hayes                                                                                           
                    <phayes@ai.uwf.edu>       To:     w3c-rdfcore-wg@w3.org                                             
                    Sent by:                  cc:                                                                       
                    w3c-rdfcore-wg-requ       Subject:     domains of container membership properties                   
                    est@w3.org                                                                                          
                                                                                                                        
                                                                                                                        
                    2003-04-26 05:53 PM                                                                                 
                                                                                                                        
                                                                                                                        





Can anyone tell me if we have decided this?

Should the domains of  rdf:_1, rdf:_2, etc., be rdfs:Container or
rdfs:Resource? Peter tells me that email discussions about rdf:li
say they should be the latter, ie. it is OK to apply these properties
to non-containers. Is that right?

Reply only if you actually know ;-)

Pat
--
---------------------------------------------------------------------
IHMC                                                (850)434 8903 or
(650)494 3973   home
40 South Alcaniz St.                                (850)202 4416   office
Pensacola                                           (850)202 4440   fax
FL 32501                                                      (850)291 0667
cell
phayes@ai.uwf.edu                   http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Saturday, 26 April 2003 13:04:16 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:02 EDT