pinging about rdfs-subPropertyOf-semantics tests

Dan and Pat,

In the RDFCore telecon today I took an action

>2002-04-05#11:  josd ping pat, danc to look at
>rdfs-subPropertyOf-semantics tests

[[[
Issue rdfs-subPropertyOf-semantics:
  The inheritance semantics of the subPropertyOf relationship needs to be clarified.

=> subProperties inherit conjunctively the domain and range of their superproperties
]]]
.
and the entailment test case is

( <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt> .


evidenced with (using a kind of rule labels btw)

# Generated with http://www.agfa.com/w3c/euler/#R30006 on Fri Apr 05 18:42:53 CEST 2002
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt
# given [http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt, http://www.agfa.com/w3c/euler/rdfs-rules.n3]

@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain1>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}.
 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bas> rdfs:domain <http://example.org/Domain2>.
  <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}.
 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range1>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}.
 {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bas> rdfs:range <http://example.org/Range2>.
  <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt in 262 steps (51332 steps/sec)


have a very nice weekend

--
Jos

Received on Friday, 5 April 2002 12:00:59 UTC