W3C home > Mailing lists > Public > www-archive@w3.org > May 2006

Re: euler5 test results

From: <jos.deroo@agfa.com>
Date: Wed, 3 May 2006 01:53:32 +0200
To: www-archive@w3.org
Message-ID: <OF5DD7016A.EE5E95AA-ONC1257162.00821B98-C1257162.00833A46@agfa.com>

http://eulersharp.sourceforge.net/2006/02swap/etc5.ref should be N3 output
now 

# ==============
# testing euler5
# ==============

# ========================================================================
# French cities -- http://eulersharp.sourceforge.net/2006/02swap/graph.yap
# ========================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/graph#>.

[ e:th {{:Paris :oneway :Orleans} => {:Paris :path :Orleans}}].
[ e:th {{:Paris :oneway :Chartres} => {:Paris :path :Chartres}}].
[ e:th {{:Paris :oneway :Amiens} => {:Paris :path :Amiens}}].
[ e:th {{:Orleans :oneway :Blois} => {:Orleans :path :Blois}}].
[ e:th {{:Orleans :oneway :Bourges} => {:Orleans :path :Bourges}}].
[ e:th {{:Blois :oneway :Tours} => {:Blois :path :Tours}}].
[ e:th {{:Chartres :oneway :Lemans} => {:Chartres :path :Lemans}}].
[ e:th {{:Lemans :oneway :Angers} => {:Lemans :path :Angers}}].
[ e:th {{:Lemans :oneway :Tours} => {:Lemans :path :Tours}}].
[ e:th {{:Angers :oneway :Nantes} => {:Angers :path :Nantes}}].
[ e:th {{:Paris :path :Orleans. :Orleans :path :Blois} => {:Paris :path 
:Blois}}].
[ e:th {{:Paris :path :Orleans. :Orleans :path :Bourges} => {:Paris :path 
:Bourges}}].
[ e:th {{:Paris :path :Chartres. :Chartres :path :Lemans} => {:Paris :path 
:Lemans}}].
[ e:th {{:Orleans :path :Blois. :Blois :path :Tours} => {:Orleans :path 
:Tours}}].
[ e:th {{:Paris :path :Orleans. :Orleans :path :Tours} => {:Paris :path 
:Tours}}].
[ e:th {{:Chartres :path :Lemans. :Lemans :path :Angers} => {:Chartres 
:path :Angers}}].
[ e:th {{:Paris :path :Chartres. :Chartres :path :Angers} => {:Paris :path 
:Angers}}].
[ e:th {{:Chartres :path :Lemans. :Lemans :path :Tours} => {:Chartres 
:path :Tours}}].
[ e:th {{:Lemans :path :Angers. :Angers :path :Nantes} => {:Lemans :path 
:Nantes}}].
[ e:th {{:Chartres :path :Lemans. :Lemans :path :Nantes} => {:Chartres 
:path :Nantes}}].
[ e:th {{:Paris :path :Chartres. :Chartres :path :Nantes} => {:Paris :path 
:Nantes}}].
:Paris :path :Nantes.

#ENDS 0 msec.

# 
================================================================================
# Medication prescription -- 
http://eulersharp.sourceforge.net/2006/02swap/med.yap
# 
================================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/med#>.

[ e:th {{:aspirinHighDose :excludedFor (:ActivePepticUlcerDisease 
:AllergyForAspirin)} => {(:ActivePepticUlcerDisease :AllergyForAspirin) 
rdf:type rdf:List}}].
[ e:th {{:betaBlocker :excludedFor (:SevereAsthma 
:ChronicObstructivePumonaryDisease)} => {(:SevereAsthma 
:ChronicObstructivePumonaryDisease) rdf:type rdf:List}}].
[ e:th {{(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest 
(:AllergyForAspirin)} => {(:AllergyForAspirin) rdf:type rdf:List}}].
[ e:th {{(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest 
(:ChronicObstructivePumonaryDisease)} => 
{(:ChronicObstructivePumonaryDisease) rdf:type rdf:List}}].
[ e:th {{(:AllergyForAspirin) rdf:rest []} => {[] rdf:type rdf:List}}].
[ e:th {{(:Ann :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01} 
=> {:Ann :fineWith (:AllergyForAspirin)}}].
[ e:th {{(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. 0.006 
math:lessThan 0.01} => {:Joe :fineWith (:ActivePepticUlcerDisease)}}].
[ e:th {{(:Joe :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01} 
=> {:Joe :fineWith (:AllergyForAspirin)}}].
[ e:th {{(:Joe :SevereAsthma) rpo:mu 0.001. 0.001 math:lessThan 0.01} => 
{:Joe :fineWith (:SevereAsthma)}}].
[ e:th {{(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. 0.001 
math:lessThan 0.01} => {:Joe :fineWith 
(:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Ann :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:AllergyForAspirin) rdf:type rdf:List. :Ann :fineWith 
(:AllergyForAspirin)} => {:Ann :fineWith (:AllergyForAspirin 
:AllergyForAspirin)}}].
[ e:th {{(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. 0.006 
math:lessThan 0.01. (:AllergyForAspirin) rdf:type rdf:List. :Joe :fineWith 
(:AllergyForAspirin)} => {:Joe :fineWith (:ActivePepticUlcerDisease 
:AllergyForAspirin)}}].
[ e:th {{(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. 0.006 
math:lessThan 0.01. (:ActivePepticUlcerDisease :AllergyForAspirin) 
rdf:type rdf:List. :Joe :fineWith (:ActivePepticUlcerDisease 
:AllergyForAspirin)} => {:Joe :fineWith (:ActivePepticUlcerDisease 
:ActivePepticUlcerDisease :AllergyForAspirin)}}].
[ e:th {{(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. 0.006 
math:lessThan 0.01. (:ChronicObstructivePumonaryDisease) rdf:type 
rdf:List. :Joe :fineWith (:ChronicObstructivePumonaryDisease)} => {:Joe 
:fineWith (:ActivePepticUlcerDisease 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List. :Joe 
:fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)} => {:Joe 
:fineWith (:AllergyForAspirin :ActivePepticUlcerDisease 
:AllergyForAspirin)}}].
[ e:th {{(:Joe :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:AllergyForAspirin) rdf:type rdf:List. :Joe :fineWith 
(:AllergyForAspirin)} => {:Joe :fineWith (:AllergyForAspirin 
:AllergyForAspirin)}}].
[ e:th {{(:Joe :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:ChronicObstructivePumonaryDisease) rdf:type rdf:List. :Joe :fineWith 
(:ChronicObstructivePumonaryDisease)} => {:Joe :fineWith 
(:AllergyForAspirin :ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :SevereAsthma) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List. :Joe 
:fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)} => {:Joe 
:fineWith (:SevereAsthma :ActivePepticUlcerDisease :AllergyForAspirin)}}].
[ e:th {{(:Joe :SevereAsthma) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:AllergyForAspirin) rdf:type rdf:List. :Joe :fineWith 
(:AllergyForAspirin)} => {:Joe :fineWith (:SevereAsthma 
:AllergyForAspirin)}}].
[ e:th {{(:Joe :SevereAsthma) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:ChronicObstructivePumonaryDisease) rdf:type rdf:List. :Joe :fineWith 
(:ChronicObstructivePumonaryDisease)} => {:Joe :fineWith (:SevereAsthma 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. 0.006 
math:lessThan 0.01. (:SevereAsthma :ChronicObstructivePumonaryDisease) 
rdf:type rdf:List. :Joe :fineWith (:SevereAsthma 
:ChronicObstructivePumonaryDisease)} => {:Joe :fineWith 
(:ActivePepticUlcerDisease :SevereAsthma 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :AllergyForAspirin) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List. :Joe 
:fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease)} => {:Joe 
:fineWith (:AllergyForAspirin :SevereAsthma 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :SevereAsthma) rpo:mu 0.001. 0.001 math:lessThan 0.01. 
(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List. :Joe 
:fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease)} => {:Joe 
:fineWith (:SevereAsthma :SevereAsthma 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. 0.001 
math:lessThan 0.01. (:ActivePepticUlcerDisease :AllergyForAspirin) 
rdf:type rdf:List. :Joe :fineWith (:ActivePepticUlcerDisease 
:AllergyForAspirin)} => {:Joe :fineWith 
(:ChronicObstructivePumonaryDisease :ActivePepticUlcerDisease 
:AllergyForAspirin)}}].
[ e:th {{(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. 0.001 
math:lessThan 0.01. (:SevereAsthma :ChronicObstructivePumonaryDisease) 
rdf:type rdf:List. :Joe :fineWith (:SevereAsthma 
:ChronicObstructivePumonaryDisease)} => {:Joe :fineWith 
(:ChronicObstructivePumonaryDisease :SevereAsthma 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. 0.001 
math:lessThan 0.01. (:AllergyForAspirin) rdf:type rdf:List. :Joe :fineWith 
(:AllergyForAspirin)} => {:Joe :fineWith 
(:ChronicObstructivePumonaryDisease :AllergyForAspirin)}}].
[ e:th {{(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. 0.001 
math:lessThan 0.01. (:ChronicObstructivePumonaryDisease) rdf:type 
rdf:List. :Joe :fineWith (:ChronicObstructivePumonaryDisease)} => {:Joe 
:fineWith (:ChronicObstructivePumonaryDisease 
:ChronicObstructivePumonaryDisease)}}].
[ e:th {{(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9. 0.9 
math:greaterThan 0.7. :aspirinLowDose :prescribedFor 
:AcuteMyocardialInfarction. :aspirinLowDose :excludedFor 
(:ActivePepticUlcerDisease :AllergyForAspirin). :Joe :fineWith 
(:ActivePepticUlcerDisease :AllergyForAspirin)} => {:Joe :isPrescribed 
:aspirinLowDose}}].
[ e:th {{(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9. 0.9 
math:greaterThan 0.7. :betaBlocker :prescribedFor 
:AcuteMyocardialInfarction. :betaBlocker :excludedFor (:SevereAsthma 
:ChronicObstructivePumonaryDisease). :Joe :fineWith (:SevereAsthma 
:ChronicObstructivePumonaryDisease)} => {:Joe :isPrescribed 
:betaBlocker}}].
:Joe :isPrescribed :aspirinLowDose.
:Joe :isPrescribed :betaBlocker.

#ENDS 3 msec.

# 
====================================================================================
# Medication prescription 2 -- 
http://eulersharp.sourceforge.net/2006/02swap/medic.yap
# 
====================================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/med#>.

[ e:th {{:aspirinHighDose :prescribedFor :Fever. (:Ann :Fever) rpo:mu 0.8. 
0.8 math:greaterThan 0.7} => {:Ann :candidateFor :aspirinHighDose}}].
[ e:th {{:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction. (:Joe 
:AcuteMyocardialInfarction) rpo:mu 0.9. 0.9 math:greaterThan 0.7} => {:Joe 
:candidateFor :aspirinLowDose}}].
[ e:th {{:betaBlocker :prescribedFor :AcuteMyocardialInfarction. (:Joe 
:AcuteMyocardialInfarction) rpo:mu 0.9. 0.9 math:greaterThan 0.7} => {:Joe 
:candidateFor :betaBlocker}}].
[ e:th {{:Ann :candidateFor :aspirinHighDose. :aspirinHighDose 
:excludedFor :ActivePepticUlcerDisease. [ e:no {(:Ann 
:ActivePepticUlcerDisease) rpo:mu ?_844}]} => {:Ann :notPrescribed 
:aspirinHighDose}}].
[ e:th {{:Joe :candidateFor :aspirinLowDose. [ e:no {:Joe :notPrescribed 
:aspirinLowDose}]} => {:Joe :isPrescribed :aspirinLowDose}}].
[ e:th {{:Joe :candidateFor :betaBlocker. [ e:no {:Joe :notPrescribed 
:betaBlocker}]} => {:Joe :isPrescribed :betaBlocker}}].
:Joe :isPrescribed :aspirinLowDose.
:Joe :isPrescribed :betaBlocker.

#ENDS 0 msec.

# 
=======================================================================================
# Schubert's steamroller -- 
http://eulersharp.sourceforge.net/2006/02swap/steamroller.yap
# 
=======================================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/steamroller#>.

[ e:th {{:wolf_1 rdf:type :Wolf} => {:wolf_1 rdf:type :Animal}}].
[ e:th {{:fox_1 rdf:type :Fox} => {:fox_1 rdf:type :Animal}}].
[ e:th {{:bird_1 rdf:type :Bird} => {:bird_1 rdf:type :Animal}}].
[ e:th {{:snail_1 rdf:type :Snail} => {:snail_1 rdf:type :Animal}}].
[ e:th {{:caterpillar_1 rdf:type :Caterpillar} => {:caterpillar_1 rdf:type 
:Animal}}].
[ e:th {{:grain_1 rdf:type :Grain} => {:grain_1 rdf:type :Plant}}].
[ e:th {{:snail_1 rdf:type :Snail} => {[ e:skf (:snail_food_of :snail_1)] 
rdf:type :Plant}}].
[ e:th {{:caterpillar_1 rdf:type :Caterpillar} => {[ e:skf 
(:caterpillar_food_of :caterpillar_1)] rdf:type :Plant}}].
[ e:th {{:caterpillar_1 rdf:type :Caterpillar. :bird_1 rdf:type :Bird} => 
{:caterpillar_1 :smaller :bird_1}}].
[ e:th {{:snail_1 rdf:type :Snail. :bird_1 rdf:type :Bird} => {:snail_1 
:smaller :bird_1}}].
[ e:th {{:bird_1 rdf:type :Bird. :fox_1 rdf:type :Fox} => {:bird_1 
:smaller :fox_1}}].
[ e:th {{:fox_1 rdf:type :Fox. :wolf_1 rdf:type :Wolf} => {:fox_1 :smaller 
:wolf_1}}].
[ e:th {{:wolf_1 rdf:type :Wolf. :fox_1 rdf:type :Fox} => {:wolf_1 
:dislikes :fox_1}}].
[ e:th {{:wolf_1 rdf:type :Wolf. :grain_1 rdf:type :Grain} => {:wolf_1 
:dislikes :grain_1}}].
[ e:th {{:bird_1 rdf:type :Bird. :snail_1 rdf:type :Snail} => {:bird_1 
:dislikes :snail_1}}].
[ e:th {{:bird_1 rdf:type :Bird. :caterpillar_1 rdf:type :Caterpillar} => 
{:bird_1 :likes :caterpillar_1}}].
[ e:th {{:snail_1 rdf:type :Snail} => {:snail_1 :likes [ e:skf 
(:snail_food_of :snail_1)]}}].
[ e:th {{:caterpillar_1 rdf:type :Caterpillar} => {:caterpillar_1 :likes [ 
e:skf (:caterpillar_food_of :caterpillar_1)]}}].
[ e:th {{:bird_1 rdf:type :Animal. :caterpillar_1 rdf:type :Animal. 
:caterpillar_1 :smaller :bird_1. [ e:no {:bird_1 :dislikes 
:caterpillar_1}]. [ e:skf (:caterpillar_food_of :caterpillar_1)] rdf:type 
:Plant. :caterpillar_1 :likes [ e:skf (:caterpillar_food_of 
:caterpillar_1)]. :grain_1 rdf:type :Plant. [ e:no {:bird_1 :dislikes 
:grain_1}]} => {:bird_1 :likes :grain_1}}].
[ e:th {{:fox_1 rdf:type :Animal. :bird_1 rdf:type :Animal. :bird_1 
:smaller :fox_1. [ e:no {:fox_1 :dislikes :bird_1}]. :grain_1 rdf:type 
:Plant. :bird_1 :likes :grain_1. :grain_1 rdf:type :Plant. [ e:no {:fox_1 
:dislikes :grain_1}]} => {:fox_1 :likes :bird_1}}].
[ e:th {{:fox_1 rdf:type :Animal. :bird_1 rdf:type :Animal. :bird_1 
:smaller :fox_1. [ e:no {:fox_1 :dislikes :bird_1}]. :grain_1 rdf:type 
:Plant. :bird_1 :likes :grain_1. :grain_1 rdf:type :Plant. [ e:no {:fox_1 
:dislikes :grain_1}]} => {:fox_1 :likes :grain_1}}].
[ e:th {{:fox_1 rdf:type :Animal. :bird_1 rdf:type :Animal. :bird_1 
:smaller :fox_1. [ e:no {:fox_1 :dislikes :bird_1}]. :grain_1 rdf:type 
:Plant. :bird_1 :likes :grain_1. [ e:skf (:snail_food_of :snail_1)] 
rdf:type :Plant. [ e:no {:fox_1 :dislikes [ e:skf (:snail_food_of 
:snail_1)]}]} => {:fox_1 :likes [ e:skf (:snail_food_of :snail_1)]}}].
[ e:th {{:fox_1 rdf:type :Animal. :bird_1 rdf:type :Animal. :bird_1 
:smaller :fox_1. [ e:no {:fox_1 :dislikes :bird_1}]. :grain_1 rdf:type 
:Plant. :bird_1 :likes :grain_1. [ e:skf (:caterpillar_food_of 
:caterpillar_1)] rdf:type :Plant. [ e:no {:fox_1 :dislikes [ e:skf 
(:caterpillar_food_of :caterpillar_1)]}]} => {:fox_1 :likes [ e:skf 
(:caterpillar_food_of :caterpillar_1)]}}].
[ e:th {{:bird_1 rdf:type :Animal. :caterpillar_1 rdf:type :Animal. 
:caterpillar_1 :smaller :bird_1. [ e:no {:bird_1 :dislikes 
:caterpillar_1}]. [ e:skf (:caterpillar_food_of :caterpillar_1)] rdf:type 
:Plant. :caterpillar_1 :likes [ e:skf (:caterpillar_food_of 
:caterpillar_1)]. [ e:skf (:snail_food_of :snail_1)] rdf:type :Plant. [ 
e:no {:bird_1 :dislikes [ e:skf (:snail_food_of :snail_1)]}]} => {:bird_1 
:likes [ e:skf (:snail_food_of :snail_1)]}}].
[ e:th {{:bird_1 rdf:type :Animal. :caterpillar_1 rdf:type :Animal. 
:caterpillar_1 :smaller :bird_1. [ e:no {:bird_1 :dislikes 
:caterpillar_1}]. [ e:skf (:caterpillar_food_of :caterpillar_1)] rdf:type 
:Plant. :caterpillar_1 :likes [ e:skf (:caterpillar_food_of 
:caterpillar_1)]. [ e:skf (:caterpillar_food_of :caterpillar_1)] rdf:type 
:Plant. [ e:no {:bird_1 :dislikes [ e:skf (:caterpillar_food_of 
:caterpillar_1)]}]} => {:bird_1 :likes [ e:skf (:caterpillar_food_of 
:caterpillar_1)]}}].
{:fox_1 :likes :bird_1} :steamroller {:bird_1 :likes :grain_1}.

#ENDS 4 msec.

# 
==========================================================================================================================
# RadLex -- http://eulersharp.sourceforge.net/2004/04test/radlex.n3 
http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3
# 
==========================================================================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix UMLS: <http://eulersharp.sourceforge.net/2004/04test/UMLS#>.
@prefix ACR: <http://eulersharp.sourceforge.net/2004/04test/ACR#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://eulersharp.sourceforge.net/2004/04test/RadLex#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

:RL433 :name "rotator cuff muscles".
:RL438 :name "teres major muscle".
:RL439 :name "deltoid muscle".
:RL440 :name "trapezius muscle".
:RL441 :name "pectoralis major muscle".
:RL442 :name "pectoralis minor muscle".

#ENDS 2 msec.

# =======================================================================
# Einstein puzzle -- http://eulersharp.sourceforge.net/2006/02swap/lf.yap
# =======================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://eulersharp.sourceforge.net/2005/11swap/einstein#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

[ e:th {{((:norwegian :cat :dunhill :water :yellow) (:dane :horse 
:marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german :fish 
:rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :item 
(:dane :horse :marlboro :tea :blue). ((:norwegian :cat :dunhill :water 
:yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk 
:red) (:german :fish :rothmans :coffee :green) (:swede :dog :winfield 
:beer :white)) :item (:swede :dog :winfield :beer :white). ((:norwegian 
:cat :dunhill :water :yellow) (:dane :horse :marlboro :tea :blue) (:brit 
:bird :pallmall :milk :red) (:german :fish :rothmans :coffee :green) 
(:swede :dog :winfield :beer :white)) :item (:brit :bird :pallmall :milk 
:red). ((:norwegian :cat :dunhill :water :yellow) (:dane :horse :marlboro 
:tea :blue) (:brit :bird :pallmall :milk :red) (:german :fish :rothmans 
:coffee :green) (:swede :dog :winfield :beer :white)) :item (:german :fish 
:rothmans :coffee :green). ((:norwegian :cat :dunhill :water :yellow) 
(:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) 
(:german :fish :rothmans :coffee :green) (:swede :dog :winfield :beer 
:white)) :near ((:norwegian :cat :dunhill :water :yellow) (:dane :horse 
:marlboro :tea :blue)). ((:norwegian :cat :dunhill :water :yellow) (:dane 
:horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german 
:fish :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) 
:item (:german :fish :rothmans :coffee :green). ((:norwegian :cat :dunhill 
:water :yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall 
:milk :red) (:german :fish :rothmans :coffee :green) (:swede :dog 
:winfield :beer :white)) :next ((:german :fish :rothmans :coffee :green) 
(:swede :dog :winfield :beer :white)). ((:norwegian :cat :dunhill :water 
:yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk 
:red) (:german :fish :rothmans :coffee :green) (:swede :dog :winfield 
:beer :white)) :item (:norwegian :cat :dunhill :water :yellow). 
((:norwegian :cat :dunhill :water :yellow) (:dane :horse :marlboro :tea 
:blue) (:brit :bird :pallmall :milk :red) (:german :fish :rothmans :coffee 
:green) (:swede :dog :winfield :beer :white)) :item (:brit :bird :pallmall 
:milk :red). ((:norwegian :cat :dunhill :water :yellow) (:dane :horse 
:marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german :fish 
:rothmans :coffee :green) (:swede :dog :winfield :beer :white)) :item 
(:swede :dog :winfield :beer :white). ((:norwegian :cat :dunhill :water 
:yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk 
:red) (:german :fish :rothmans :coffee :green) (:swede :dog :winfield 
:beer :white)) :near ((:dane :horse :marlboro :tea :blue) (:norwegian :cat 
:dunhill :water :yellow)). ((:norwegian :cat :dunhill :water :yellow) 
(:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) 
(:german :fish :rothmans :coffee :green) (:swede :dog :winfield :beer 
:white)) :near ((:dane :horse :marlboro :tea :blue) (:norwegian :cat 
:dunhill :water :yellow)). ((:norwegian :cat :dunhill :water :yellow) 
(:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) 
(:german :fish :rothmans :coffee :green) (:swede :dog :winfield :beer 
:white)) :near ((:norwegian :cat :dunhill :water :yellow) (:dane :horse 
:marlboro :tea :blue)). ((:norwegian :cat :dunhill :water :yellow) (:dane 
:horse :marlboro :tea :blue) (:brit :bird :pallmall :milk :red) (:german 
:fish :rothmans :coffee :green) (:swede :dog :winfield :beer :white)) 
:item (:brit :bird :pallmall :milk :red). ((:norwegian :cat :dunhill 
:water :yellow) (:dane :horse :marlboro :tea :blue) (:brit :bird :pallmall 
:milk :red) (:german :fish :rothmans :coffee :green) (:swede :dog 
:winfield :beer :white)) :item (:german :fish :rothmans :coffee :green)} 
=> {:german :eats :fish}}].
:german :eats :fish.

#ENDS 2 msec.

# 
=========================================================================
# Logical Framework -- 
http://eulersharp.sourceforge.net/2006/02swap/lf.yap
# 
=========================================================================
#Processed by Id: euler.yap,v 1.14 2006/05/02 23:15:16 josd Exp 

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/lf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

[ e:th {{{{?_760 :p1 :o1. :s2 :p2 :o2} :p3 ?_733. :s4 :p4 ?_736} :p5 {:s6 
:p6 ?_769}} => {{:s4 :p7 ?_747. {?_760 :p1 :o1. :s2 :p2 :o2} :p8 {:s6 :p6 
?_769}} log:implies {:s6 :p6 ?_769}}}].
{:s4 :p7 ?_815. {?_825 :p1 :o1. :s2 :p2 :o2} :p8 {:s6 :p6 ?_834}} 
log:implies {:s6 :p6 ?_834}.

#ENDS 0 msec.

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 2 May 2006 23:53:44 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:32:52 UTC