- 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
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 UTC