- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 21 Mar 2002 16:39:05 +0100
- To: "connolly" <connolly@w3.org>
- Cc: "www-rdf-interest" <www-rdf-interest@w3.org>, www-archive@w3.org
Hi Dan,
we found a couple of hours to further testcase your nice
http://www.w3.org/2000/10/swap/test/pathCross.n3
http://www.w3.org/2000/10/swap/test/pathCrossQ.n3
as you know, we have issues with
- duplicate rule elimination
- clause/premis reordering
- CWM builtins
(I think the most important one is rule reordering
which could give impressive differences in stepcounts)
(any ideas around???)
so we kind of have an own copy of your testcase at
http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3
http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ.n3
we also deviated in the temporal subsumption rules
i.e.
{ #:s a cn:temporallyContinuous.
:o cn:startsDuring :x; cn:endsDuring :y.
}
log:implies { :o cn:temporallySubsumes ( :x :y ) }.
{ :s cn:temporallySubsumes :x.
:o cn:temporallySubsumes :x.
}
log:implies { :s cn:temporallyIntersects :o }.
but this is very much incomplete indeed
anyhow, some more evidence is now produced:
###########
# Generated with http://www.agfa.com/w3c/euler/#R29081 on Thu Mar 21 16:32:19 GMT+01:00 2002
# for query http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ.n3
# given [http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3, http://www.agfa.com/w3c/euler/rdfs-rules.n3,
http://www.agfa.com/w3c/euler/owl-rules.n3]
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix pc: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix : <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix c: <http://www.w3.org/2000/10/swap/pim/contact#>.
:DanC cn:acquaintedWith :DanBri.
_:www2002 cn:socialParticipants :DanBri.
{_:294 :name "Hawaii".
_:283 map:cityName "Honolulu".
{cn:inRegion a owl:TransitiveProperty.
_:283 cn:inRegion _:294.
_:www2002 cn:inRegion _:283} log:implies
{_:www2002 cn:inRegion _:294}.
_:283 cn:inRegion _:294} log:implies
{_:www2002 cn:inRegion ( "Honolulu" "Hawaii")}.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:temporallyIntersects rdfs:subPropertyOf cn:temporalBoundsIntersect.
{{{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:startingDate rdfs:subPropertyOf cn:startsDuring.
_:www2002 cn:startingDate [ dt:date "2002-05-07"]} log:implies
{_:www2002 cn:startsDuring [ dt:date "2002-05-07"]}.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:endingDate rdfs:subPropertyOf cn:endsDuring.
_:www2002 cn:endingDate [ dt:date "2002-05-11"]} log:implies
{_:www2002 cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
{_:www2002 cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
"2002-05-11"])}.
{{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:startingDate rdfs:subPropertyOf cn:startsDuring.
_:webConf cn:startingDate [ dt:date "2002-05-07"]} log:implies
{_:webConf cn:startsDuring [ dt:date "2002-05-07"]}.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:endingDate rdfs:subPropertyOf cn:endsDuring.
_:webConf cn:endingDate [ dt:date "2002-05-11"]} log:implies
{_:webConf cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
{_:webConf cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
"2002-05-11"])}} log:implies
{_:www2002 cn:temporallyIntersects _:webConf}} log:implies
{_:www2002 cn:temporalBoundsIntersect _:webConf}.
_:webConf cn:socialParticipants :DanC.
{_:2 :name "Hawaii".
_:32 map:cityName "Honolulu".
{cn:inRegion a owl:TransitiveProperty.
_:32 cn:inRegion _:2.
{cn:inRegion a owl:TransitiveProperty.
_:55 cn:inRegion _:32.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:eventOccursAt rdfs:subPropertyOf cn:inRegion.
_:webConf cn:eventOccursAt _:55} log:implies
{_:webConf cn:inRegion _:55}} log:implies
{_:webConf cn:inRegion _:32}} log:implies
{_:webConf cn:inRegion _:2}.
_:32 cn:inRegion _:2} log:implies
{_:webConf cn:inRegion ( "Honolulu" "Hawaii")}.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:temporallyIntersects rdfs:subPropertyOf cn:temporalBoundsIntersect.
{{{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:startingDate rdfs:subPropertyOf cn:startsDuring.
_:webConf cn:startingDate [ dt:date "2002-05-07"]} log:implies
{_:webConf cn:startsDuring [ dt:date "2002-05-07"]}.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:endingDate rdfs:subPropertyOf cn:endsDuring.
_:webConf cn:endingDate [ dt:date "2002-05-11"]} log:implies
{_:webConf cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
{_:webConf cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
"2002-05-11"])}.
{{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:startingDate rdfs:subPropertyOf cn:startsDuring.
_:webConf cn:startingDate [ dt:date "2002-05-07"]} log:implies
{_:webConf cn:startsDuring [ dt:date "2002-05-07"]}.
{ns:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
cn:endingDate rdfs:subPropertyOf cn:endsDuring.
_:webConf cn:endingDate [ dt:date "2002-05-11"]} log:implies
{_:webConf cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
{_:webConf cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
"2002-05-11"])}} log:implies
{_:webConf cn:temporallyIntersects _:webConf}} log:implies
{_:webConf cn:temporalBoundsIntersect _:webConf}.
# Proof found for http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ.n3 in 163297 steps (67234 steps/sec)
--
Jos De Roo, AGFA http:/www.agfa.com/w3c/jdroo/
Received on Thursday, 21 March 2002 10:39:51 UTC