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

euler5 test results

From: <jos.deroo@agfa.com>
Date: Sun, 30 Apr 2006 01:56:12 +0200
To: www-archive@w3.org
Message-ID: <OF54B7A341.FA57525E-ONC125715F.00835C71-C125715F.0083783A@agfa.com>

euler5 http://eulersharp.sourceforge.net/2006/02swap/euler.yap is 
basically
go:- (X==>Y), X, \+Y, step((X==>Y)), assert(Y), go; true.  % Euler path 
via \+Y to not step in own steps

README http://eulersharp.sourceforge.net/2006/02swap/README

on yap http://sourceforge.net/projects/yap
it is on average 25 times faster than cwm or euler1,2,3,4

some test results are here for later comparison

% ==============
% testing euler5
% ==============

% ========================================================================
% French cities -- http://eulersharp.sourceforge.net/2006/02swap/graph.yap
% ========================================================================
% Processed by Id: euler.yap,v 1.10 2006/04/29 19:58:03 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(:,'<http://eulersharp.sourceforge.net/2006/02swap/graph#>').
th((':oneway'(':Paris',':Orleans')==>':path'(':Paris',':Orleans'))).
th((':oneway'(':Paris',':Chartres')==>':path'(':Paris',':Chartres'))).
th((':oneway'(':Paris',':Amiens')==>':path'(':Paris',':Amiens'))).
th((':oneway'(':Orleans',':Blois')==>':path'(':Orleans',':Blois'))).
th((':oneway'(':Orleans',':Bourges')==>':path'(':Orleans',':Bourges'))).
th((':oneway'(':Blois',':Tours')==>':path'(':Blois',':Tours'))).
th((':oneway'(':Chartres',':Lemans')==>':path'(':Chartres',':Lemans'))).
th((':oneway'(':Lemans',':Angers')==>':path'(':Lemans',':Angers'))).
th((':oneway'(':Lemans',':Tours')==>':path'(':Lemans',':Tours'))).
th((':oneway'(':Angers',':Nantes')==>':path'(':Angers',':Nantes'))).
th((':path'(':Paris',':Orleans'),':path'(':Orleans',':Blois')==>':path'(':Paris',':Blois'))).
th((':path'(':Paris',':Orleans'),':path'(':Orleans',':Bourges')==>':path'(':Paris',':Bourges'))).
th((':path'(':Paris',':Chartres'),':path'(':Chartres',':Lemans')==>':path'(':Paris',':Lemans'))).
th((':path'(':Orleans',':Blois'),':path'(':Blois',':Tours')==>':path'(':Orleans',':Tours'))).
th((':path'(':Paris',':Orleans'),':path'(':Orleans',':Tours')==>':path'(':Paris',':Tours'))).
th((':path'(':Chartres',':Lemans'),':path'(':Lemans',':Angers')==>':path'(':Chartres',':Angers'))).
th((':path'(':Paris',':Chartres'),':path'(':Chartres',':Angers')==>':path'(':Paris',':Angers'))).
th((':path'(':Chartres',':Lemans'),':path'(':Lemans',':Tours')==>':path'(':Chartres',':Tours'))).
th((':path'(':Lemans',':Angers'),':path'(':Angers',':Nantes')==>':path'(':Lemans',':Nantes'))).
th((':path'(':Chartres',':Lemans'),':path'(':Lemans',':Nantes')==>':path'(':Chartres',':Nantes'))).
th((':path'(':Paris',':Chartres'),':path'(':Chartres',':Nantes')==>':path'(':Paris',':Nantes'))).
th((':path'(':Paris',':Nantes')==>case(':path'(':Paris',':Nantes')))).
':path'(':Paris',':Nantes').
% runtime 0 msec.

% 
================================================================================
% Medication prescription -- 
http://eulersharp.sourceforge.net/2006/02swap/med.yap
% 
================================================================================
% Processed by Id: euler.yap,v 1.10 2006/04/29 19:58:03 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('rpo:','<http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>').
prefix(:,'<http://eulersharp.sourceforge.net/2006/02swap/med#>').
th((':excludedFor'(':aspirinHighDose',[':ActivePepticUlcerDisease',':AllergyForAspirin'])==>'rdf:type'([':ActivePepticUlcerDisease',':AllergyForAspirin'],'rdf:List'))).
th((':excludedFor'(':betaBlocker',[':SevereAsthma',':ChronicObstructivePumonaryDisease'])==>'rdf:type'([':SevereAsthma',':ChronicObstructivePumonaryDisease'],'rdf:List'))).
th(('rdf:rest'([':ActivePepticUlcerDisease',':AllergyForAspirin'],[':AllergyForAspirin'])==>'rdf:type'([':AllergyForAspirin'],'rdf:List'))).
th(('rdf:rest'([':SevereAsthma',':ChronicObstructivePumonaryDisease'],[':ChronicObstructivePumonaryDisease'])==>'rdf:type'([':ChronicObstructivePumonaryDisease'],'rdf:List'))).
th(('rdf:rest'([':AllergyForAspirin'],[])==>'rdf:type'([],'rdf:List'))).
th(('rpo:mu'([':Ann',':AllergyForAspirin'],0.001),0.001<0.01==>':fineWith'(':Ann',[':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':ActivePepticUlcerDisease'],0.006),0.006<0.01==>':fineWith'(':Joe',[':ActivePepticUlcerDisease']))).
th(('rpo:mu'([':Joe',':AllergyForAspirin'],0.001),0.001<0.01==>':fineWith'(':Joe',[':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':SevereAsthma'],0.001),0.001<0.01==>':fineWith'(':Joe',[':SevereAsthma']))).
th(('rpo:mu'([':Joe',':ChronicObstructivePumonaryDisease'],0.001),0.001<0.01==>':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Ann',':AllergyForAspirin'],0.001),0.001<0.01,'rdf:type'([':AllergyForAspirin'],'rdf:List'),':fineWith'(':Ann',[':AllergyForAspirin'])==>':fineWith'(':Ann',[':AllergyForAspirin',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':ActivePepticUlcerDisease'],0.006),0.006<0.01,'rdf:type'([':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':AllergyForAspirin'])==>':fineWith'(':Joe',[':ActivePepticUlcerDisease',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':ActivePepticUlcerDisease'],0.006),0.006<0.01,'rdf:type'([':ActivePepticUlcerDisease',':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':ActivePepticUlcerDisease',':AllergyForAspirin'])==>':fineWith'(':Joe',[':ActivePepticUlcerDisease',':ActivePepticUlcerDisease',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':ActivePepticUlcerDisease'],0.006),0.006<0.01,'rdf:type'([':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':ActivePepticUlcerDisease',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':AllergyForAspirin'],0.001),0.001<0.01,'rdf:type'([':ActivePepticUlcerDisease',':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':ActivePepticUlcerDisease',':AllergyForAspirin'])==>':fineWith'(':Joe',[':AllergyForAspirin',':ActivePepticUlcerDisease',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':AllergyForAspirin'],0.001),0.001<0.01,'rdf:type'([':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':AllergyForAspirin'])==>':fineWith'(':Joe',[':AllergyForAspirin',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':AllergyForAspirin'],0.001),0.001<0.01,'rdf:type'([':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':AllergyForAspirin',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':SevereAsthma'],0.001),0.001<0.01,'rdf:type'([':ActivePepticUlcerDisease',':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':ActivePepticUlcerDisease',':AllergyForAspirin'])==>':fineWith'(':Joe',[':SevereAsthma',':ActivePepticUlcerDisease',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':SevereAsthma'],0.001),0.001<0.01,'rdf:type'([':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':AllergyForAspirin'])==>':fineWith'(':Joe',[':SevereAsthma',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':SevereAsthma'],0.001),0.001<0.01,'rdf:type'([':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':SevereAsthma',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':ActivePepticUlcerDisease'],0.006),0.006<0.01,'rdf:type'([':SevereAsthma',':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':SevereAsthma',':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':ActivePepticUlcerDisease',':SevereAsthma',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':AllergyForAspirin'],0.001),0.001<0.01,'rdf:type'([':SevereAsthma',':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':SevereAsthma',':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':AllergyForAspirin',':SevereAsthma',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':SevereAsthma'],0.001),0.001<0.01,'rdf:type'([':SevereAsthma',':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':SevereAsthma',':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':SevereAsthma',':SevereAsthma',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':ChronicObstructivePumonaryDisease'],0.001),0.001<0.01,'rdf:type'([':ActivePepticUlcerDisease',':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':ActivePepticUlcerDisease',':AllergyForAspirin'])==>':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease',':ActivePepticUlcerDisease',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':ChronicObstructivePumonaryDisease'],0.001),0.001<0.01,'rdf:type'([':SevereAsthma',':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':SevereAsthma',':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease',':SevereAsthma',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':ChronicObstructivePumonaryDisease'],0.001),0.001<0.01,'rdf:type'([':AllergyForAspirin'],'rdf:List'),':fineWith'(':Joe',[':AllergyForAspirin'])==>':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease',':AllergyForAspirin']))).
th(('rpo:mu'([':Joe',':ChronicObstructivePumonaryDisease'],0.001),0.001<0.01,'rdf:type'([':ChronicObstructivePumonaryDisease'],'rdf:List'),':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease'])==>':fineWith'(':Joe',[':ChronicObstructivePumonaryDisease',':ChronicObstructivePumonaryDisease']))).
th(('rpo:mu'([':Joe',':AcuteMyocardialInfarction'],0.9),0.9>0.7,':prescribedFor'(':aspirinLowDose',':AcuteMyocardialInfarction'),':excludedFor'(':aspirinLowDose',[':ActivePepticUlcerDisease',':AllergyForAspirin']),':fineWith'(':Joe',[':ActivePepticUlcerDisease',':AllergyForAspirin'])==>':isPrescribed'(':Joe',':aspirinLowDose'))).
th(('rpo:mu'([':Joe',':AcuteMyocardialInfarction'],0.9),0.9>0.7,':prescribedFor'(':betaBlocker',':AcuteMyocardialInfarction'),':excludedFor'(':betaBlocker',[':SevereAsthma',':ChronicObstructivePumonaryDisease']),':fineWith'(':Joe',[':SevereAsthma',':ChronicObstructivePumonaryDisease'])==>':isPrescribed'(':Joe',':betaBlocker'))).
th((':isPrescribed'(':Joe',':aspirinLowDose')==>case(':isPrescribed'(':Joe',':aspirinLowDose')))).
':isPrescribed'(':Joe',':aspirinLowDose').
th((':isPrescribed'(':Joe',':betaBlocker')==>case(':isPrescribed'(':Joe',':betaBlocker')))).
':isPrescribed'(':Joe',':betaBlocker').
% runtime 2 msec.

% 
====================================================================================
% Medication prescription 2 -- 
http://eulersharp.sourceforge.net/2006/02swap/medic.yap
% 
====================================================================================
% Processed by Id: euler.yap,v 1.10 2006/04/29 19:58:03 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('rpo:','<http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>').
prefix(:,'<http://eulersharp.sourceforge.net/2006/02swap/med#>').
th((':prescribedFor'(':aspirinHighDose',':Fever'),'rpo:mu'([':Ann',':Fever'],0.8),0.8>0.7==>':candidateFor'(':Ann',':aspirinHighDose'))).
th((':prescribedFor'(':aspirinLowDose',':AcuteMyocardialInfarction'),'rpo:mu'([':Joe',':AcuteMyocardialInfarction'],0.9),0.9>0.7==>':candidateFor'(':Joe',':aspirinLowDose'))).
th((':prescribedFor'(':betaBlocker',':AcuteMyocardialInfarction'),'rpo:mu'([':Joe',':AcuteMyocardialInfarction'],0.9),0.9>0.7==>':candidateFor'(':Joe',':betaBlocker'))).
th((':candidateFor'(':Ann',':aspirinHighDose'),':excludedFor'(':aspirinHighDose',':ActivePepticUlcerDisease'),no('rpo:mu'([':Ann',':ActivePepticUlcerDisease'],_841))==>':notPrescribed'(':Ann',':aspirinHighDose'))).
th((':candidateFor'(':Joe',':aspirinLowDose'),no(':notPrescribed'(':Joe',':aspirinLowDose'))==>':isPrescribed'(':Joe',':aspirinLowDose'))).
th((':candidateFor'(':Joe',':betaBlocker'),no(':notPrescribed'(':Joe',':betaBlocker'))==>':isPrescribed'(':Joe',':betaBlocker'))).
th((':isPrescribed'(':Joe',':aspirinLowDose')==>case(':isPrescribed'(':Joe',':aspirinLowDose')))).
':isPrescribed'(':Joe',':aspirinLowDose').
th((':isPrescribed'(':Joe',':betaBlocker')==>case(':isPrescribed'(':Joe',':betaBlocker')))).
':isPrescribed'(':Joe',':betaBlocker').
% runtime 1 msec.

% 
=======================================================================================
% Schubert's steamroller -- 
http://eulersharp.sourceforge.net/2006/02swap/steamroller.yap
% 
=======================================================================================
% Processed by Id: euler.yap,v 1.10 2006/04/29 19:58:03 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(:,'<http://eulersharp.sourceforge.net/2006/02swap/steamroller#>').
th(('rdf:type'(':wolf_1',':Wolf')==>'rdf:type'(':wolf_1',':Animal'))).
th(('rdf:type'(':fox_1',':Fox')==>'rdf:type'(':fox_1',':Animal'))).
th(('rdf:type'(':bird_1',':Bird')==>'rdf:type'(':bird_1',':Animal'))).
th(('rdf:type'(':snail_1',':Snail')==>'rdf:type'(':snail_1',':Animal'))).
th(('rdf:type'(':caterpillar_1',':Caterpillar')==>'rdf:type'(':caterpillar_1',':Animal'))).
th(('rdf:type'(':grain_1',':Grain')==>'rdf:type'(':grain_1',':Plant'))).
th(('rdf:type'(':snail_1',':Snail')==>'rdf:type'(':snail_food_of'(':snail_1'),':Plant'))).
th(('rdf:type'(':caterpillar_1',':Caterpillar')==>'rdf:type'(':caterpillar_food_of'(':caterpillar_1'),':Plant'))).
th(('rdf:type'(':caterpillar_1',':Caterpillar'),'rdf:type'(':bird_1',':Bird')==>':smaller'(':caterpillar_1',':bird_1'))).
th(('rdf:type'(':snail_1',':Snail'),'rdf:type'(':bird_1',':Bird')==>':smaller'(':snail_1',':bird_1'))).
th(('rdf:type'(':bird_1',':Bird'),'rdf:type'(':fox_1',':Fox')==>':smaller'(':bird_1',':fox_1'))).
th(('rdf:type'(':fox_1',':Fox'),'rdf:type'(':wolf_1',':Wolf')==>':smaller'(':fox_1',':wolf_1'))).
th(('rdf:type'(':wolf_1',':Wolf'),'rdf:type'(':fox_1',':Fox')==>':dislikes'(':wolf_1',':fox_1'))).
th(('rdf:type'(':wolf_1',':Wolf'),'rdf:type'(':grain_1',':Grain')==>':dislikes'(':wolf_1',':grain_1'))).
th(('rdf:type'(':bird_1',':Bird'),'rdf:type'(':snail_1',':Snail')==>':dislikes'(':bird_1',':snail_1'))).
th(('rdf:type'(':bird_1',':Bird'),'rdf:type'(':caterpillar_1',':Caterpillar')==>':likes'(':bird_1',':caterpillar_1'))).
th(('rdf:type'(':snail_1',':Snail')==>':likes'(':snail_1',':snail_food_of'(':snail_1')))).
th(('rdf:type'(':caterpillar_1',':Caterpillar')==>':likes'(':caterpillar_1',':caterpillar_food_of'(':caterpillar_1')))).
th(('rdf:type'(':bird_1',':Animal'),'rdf:type'(':caterpillar_1',':Animal'),':smaller'(':caterpillar_1',':bird_1'),no(':dislikes'(':bird_1',':caterpillar_1')),'rdf:type'(':caterpillar_food_of'(':caterpillar_1'),':Plant'),':likes'(':caterpillar_1',':caterpillar_food_of'(':caterpillar_1')),'rdf:type'(':grain_1',':Plant'),no(':dislikes'(':bird_1',':grain_1'))==>':likes'(':bird_1',':grain_1'))).
th(('rdf:type'(':fox_1',':Animal'),'rdf:type'(':bird_1',':Animal'),':smaller'(':bird_1',':fox_1'),no(':dislikes'(':fox_1',':bird_1')),'rdf:type'(':grain_1',':Plant'),':likes'(':bird_1',':grain_1'),'rdf:type'(':grain_1',':Plant'),no(':dislikes'(':fox_1',':grain_1'))==>':likes'(':fox_1',':bird_1'))).
th(('rdf:type'(':fox_1',':Animal'),'rdf:type'(':bird_1',':Animal'),':smaller'(':bird_1',':fox_1'),no(':dislikes'(':fox_1',':bird_1')),'rdf:type'(':grain_1',':Plant'),':likes'(':bird_1',':grain_1'),'rdf:type'(':grain_1',':Plant'),no(':dislikes'(':fox_1',':grain_1'))==>':likes'(':fox_1',':grain_1'))).
th(('rdf:type'(':fox_1',':Animal'),'rdf:type'(':bird_1',':Animal'),':smaller'(':bird_1',':fox_1'),no(':dislikes'(':fox_1',':bird_1')),'rdf:type'(':grain_1',':Plant'),':likes'(':bird_1',':grain_1'),'rdf:type'(':snail_food_of'(':snail_1'),':Plant'),no(':dislikes'(':fox_1',':snail_food_of'(':snail_1')))==>':likes'(':fox_1',':snail_food_of'(':snail_1')))).
th(('rdf:type'(':fox_1',':Animal'),'rdf:type'(':bird_1',':Animal'),':smaller'(':bird_1',':fox_1'),no(':dislikes'(':fox_1',':bird_1')),'rdf:type'(':grain_1',':Plant'),':likes'(':bird_1',':grain_1'),'rdf:type'(':caterpillar_food_of'(':caterpillar_1'),':Plant'),no(':dislikes'(':fox_1',':caterpillar_food_of'(':caterpillar_1')))==>':likes'(':fox_1',':caterpillar_food_of'(':caterpillar_1')))).
th(('rdf:type'(':bird_1',':Animal'),'rdf:type'(':caterpillar_1',':Animal'),':smaller'(':caterpillar_1',':bird_1'),no(':dislikes'(':bird_1',':caterpillar_1')),'rdf:type'(':caterpillar_food_of'(':caterpillar_1'),':Plant'),':likes'(':caterpillar_1',':caterpillar_food_of'(':caterpillar_1')),'rdf:type'(':snail_food_of'(':snail_1'),':Plant'),no(':dislikes'(':bird_1',':snail_food_of'(':snail_1')))==>':likes'(':bird_1',':snail_food_of'(':snail_1')))).
th(('rdf:type'(':bird_1',':Animal'),'rdf:type'(':caterpillar_1',':Animal'),':smaller'(':caterpillar_1',':bird_1'),no(':dislikes'(':bird_1',':caterpillar_1')),'rdf:type'(':caterpillar_food_of'(':caterpillar_1'),':Plant'),':likes'(':caterpillar_1',':caterpillar_food_of'(':caterpillar_1')),'rdf:type'(':caterpillar_food_of'(':caterpillar_1'),':Plant'),no(':dislikes'(':bird_1',':caterpillar_food_of'(':caterpillar_1')))==>':likes'(':bird_1',':caterpillar_food_of'(':caterpillar_1')))).
th(('rdf:type'(':fox_1',':Animal'),'rdf:type'(':bird_1',':Animal'),':likes'(':fox_1',':bird_1'),'rdf:type'(':grain_1',':Grain'),':likes'(':bird_1',':grain_1')==>case(':steamroller'(':likes'(':fox_1',':bird_1'),':likes'(':bird_1',':grain_1'))))).
':steamroller'(':likes'(':fox_1',':bird_1'),':likes'(':bird_1',':grain_1')).
% runtime 1 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.10 2006/04/29 19:58:03 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('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#>').
th((':rl-term'(skf_e1069277_0_,':RL432'),':axis-term'(skf_e1069277_0_,skf_e1069332_0_),':rl-term'(skf_e1069332_0_,':RL433'),':name'(':RL433','rotator 
cuff muscles')==>case(':name'(':RL433','rotator cuff muscles')))).
':name'(':RL433','rotator cuff muscles').
th((':rl-term'(skf_e1069277_0_,':RL432'),':axis-term'(skf_e1069277_0_,skf_e1069377_0_),':rl-term'(skf_e1069377_0_,':RL438'),':name'(':RL438','teres 
major muscle')==>case(':name'(':RL438','teres major muscle')))).
':name'(':RL438','teres major muscle').
th((':rl-term'(skf_e1069277_0_,':RL432'),':axis-term'(skf_e1069277_0_,skf_e1069382_0_),':rl-term'(skf_e1069382_0_,':RL439'),':name'(':RL439','deltoid 
muscle')==>case(':name'(':RL439','deltoid muscle')))).
':name'(':RL439','deltoid muscle').
th((':rl-term'(skf_e1069277_0_,':RL432'),':axis-term'(skf_e1069277_0_,skf_e1069387_0_),':rl-term'(skf_e1069387_0_,':RL440'),':name'(':RL440','trapezius 
muscle')==>case(':name'(':RL440','trapezius muscle')))).
':name'(':RL440','trapezius muscle').
th((':rl-term'(skf_e1069277_0_,':RL432'),':axis-term'(skf_e1069277_0_,skf_e1069392_0_),':rl-term'(skf_e1069392_0_,':RL441'),':name'(':RL441','pectoralis 
major muscle')==>case(':name'(':RL441','pectoralis major muscle')))).
':name'(':RL441','pectoralis major muscle').
th((':rl-term'(skf_e1069277_0_,':RL432'),':axis-term'(skf_e1069277_0_,skf_e1069397_0_),':rl-term'(skf_e1069397_0_,':RL442'),':name'(':RL442','pectoralis 
minor muscle')==>case(':name'(':RL442','pectoralis minor muscle')))).
':name'(':RL442','pectoralis minor muscle').
% runtime 0 msec.

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 29 April 2006 23:56:28 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:56 GMT