- From: <jos.deroo@agfa.com>
- Date: Wed, 3 May 2006 01:53:32 +0200
- To: www-archive@w3.org
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