#Processed by EYE v18.0417.2132 josd
#eye --nope http://eulersharp.sourceforge.net/2007/07test/eventTime_instances_2.n3 http://eulersharp.sourceforge.net/2003/03swap/event.n3 http://eulersharp.sourceforge.net/2003/03swap/time.n3 http://eulersharp.sourceforge.net/2003/03swap/agent.n3 http://www.agfa.com/w3c/2009/humanDisorder http://www.agfa.com/w3c/2009/cardiacDisorder http://www.agfa.com/w3c/2009/cardiacFailure http://www.agfa.com/w3c/2009/urinaryTractInfection http://www.agfa.com/w3c/2009/clinicalProcedure http://www.agfa.com/w3c/2009/therapy http://www.agfa.com/w3c/2009/drugTherapy http://www.agfa.com/w3c/2009/antibiotics http://eulersharp.sourceforge.net/2003/03swap/rdfs-subClassOf.n3 http://eulersharp.sourceforge.net/2003/03swap/rdfs-subPropertyOf.n3 http://eulersharp.sourceforge.net/2003/03swap/owl-unionOf.n3 http://eulersharp.sourceforge.net/2003/03swap/owl-SymmetricProperty.n3 http://eulersharp.sourceforge.net/2003/03swap/eventTime_rules.n3 --query http://eulersharp.sourceforge.net/2007/07test/eventTime_queries2.n3

@prefix dis: <http://www.agfa.com/w3c/2009/humanDisorder#>.
@prefix i: <http://eulersharp.sourceforge.net/2007/07test/eventTime_instances_2.n3#>.
@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#>.
@prefix tzont: <http://www.w3.org/2006/timezone#>.
@prefix con: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix organism: <http://eulersharp.sourceforge.net/2003/03swap/organism#>.
@prefix fma: <http://purl.org/sig/fma/>.
@prefix snomedct: <http://www.ihtsdo.org/>.
@prefix clinmorph: <http://www.agfa.com/w3c/2009/clinicalMorphology#>.
@prefix hyperten: <http://www.agfa.com/w3c/2009/hypertensiveDisorder#>.
@prefix cardis: <http://www.agfa.com/w3c/2009/cardiacDisorder#>.
@prefix carfai: <http://www.agfa.com/w3c/2009/cardiacFailure#>.
@prefix clinskosch: <http://www.agfa.com/w3c/2009/clinicalSKOSSchemes#>.
@prefix infdis: <http://www.agfa.com/w3c/2009/infectiousDisorder#>.
@prefix bac: <http://www.agfa.com/w3c/2009/bacteria#>.
@prefix urtrin: <http://www.agfa.com/w3c/2009/urinaryTractInfection#>.
@prefix ana: <http://www.agfa.com/w3c/2009/anatomy#>.
@prefix doc: <http://eulersharp.sourceforge.net/2003/03swap/document#>.
@prefix env: <http://eulersharp.sourceforge.net/2003/03swap/environment#>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix unit: <http://sweet.jpl.nasa.gov/2.3/reprSciUnits.owl#>.
@prefix mrela: <http://sweet.jpl.nasa.gov/2.3/relaMath.owl#>.
@prefix screla: <http://sweet.jpl.nasa.gov/2.3/relaSci.owl#>.
@prefix event: <http://eulersharp.sourceforge.net/2003/03swap/event#>.
@prefix physical: <http://eulersharp.sourceforge.net/2003/03swap/physicalResource#>.
@prefix space: <http://eulersharp.sourceforge.net/2003/03swap/space#>.
@prefix humanbody: <http://eulersharp.sourceforge.net/2003/03swap/humanBody#>.
@prefix quant: <http://eulersharp.sourceforge.net/2003/03swap/quantities#>.
@prefix units: <http://eulersharp.sourceforge.net/2003/03swap/units#>.
@prefix clineva: <http://www.agfa.com/w3c/2009/clinicalEvaluation#>.
@prefix clinproc: <http://www.agfa.com/w3c/2009/clinicalProcedure#>.
@prefix hurifa: <http://www.agfa.com/w3c/2009/humanRiskFactors#>.
@prefix clinobs: <http://www.agfa.com/w3c/2009/clinicalObservation#>.
@prefix dradfo: <http://www.agfa.com/w3c/2009/drugAdministrationForms#>.
@prefix fos: <http://eulersharp.sourceforge.net/2003/03swap/foster#>.
@prefix clisko: <http://www.agfa.com/w3c/2009/clinicalSKOSSchemes#>.
@prefix drug: <http://www.agfa.com/w3c/2009/drugTherapy#>.
@prefix abther: <http://www.agfa.com/w3c/2009/antibioticTherapy#>.
@prefix antibio: <http://www.agfa.com/w3c/2009/antibiotics#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix dce: <http://purl.org/dc/elements/1.1/>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix time: <http://eulersharp.sourceforge.net/2003/03swap/time#>.
@prefix agent: <http://eulersharp.sourceforge.net/2003/03swap/agent#>.
@prefix human: <http://eulersharp.sourceforge.net/2003/03swap/human#>.
@prefix humdis: <http://www.agfa.com/w3c/2009/humanDisorder#>.
@prefix ther: <http://www.agfa.com/w3c/2009/therapy#>.
@prefix heca: <http://www.agfa.com/w3c/2009/healthCare#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix digproc: <http://eulersharp.sourceforge.net/2003/03swap/digitalProcedure#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test/eventTime_queries2.n3#>.

:answer digproc:hasSelected ("Peters"@nl "Jan"@nl ((i:chronicCardiacFailure1 ther:treatedWith i:therapy1_1) (i:eColiLowerUrinaryTractInfection1 ther:treatedWith i:therapy1_2)) ({i:therapy1_1 time:beginsBefore i:chronicCardiacFailure1} {i:therapy1_1 time:beginsBefore i:eColiLowerUrinaryTractInfection1} {i:therapy1_1 time:beginsBefore i:therapy1_2} {i:chronicCardiacFailure1 time:beginsAfter i:therapy1_1} {i:eColiLowerUrinaryTractInfection1 time:beginsAfter i:therapy1_1} {i:therapy1_2 time:beginsAfter i:therapy1_1} {i:eColiLowerUrinaryTractInfection1 time:endsBefore i:therapy1_1} {i:therapy1_2 time:endsBefore i:therapy1_1} {i:therapy1_1 time:endsAfter i:eColiLowerUrinaryTractInfection1} {i:therapy1_1 time:endsAfter i:therapy1_2} {i:chronicCardiacFailure1 time:hasSameBeginningAs i:eColiLowerUrinaryTractInfection1} {i:chronicCardiacFailure1 time:hasSameBeginningAs i:therapy1_2} {i:eColiLowerUrinaryTractInfection1 time:hasSameBeginningAs i:chronicCardiacFailure1} {i:eColiLowerUrinaryTractInfection1 time:hasSameBeginningAs i:therapy1_2} {i:therapy1_2 time:hasSameBeginningAs i:chronicCardiacFailure1} {i:therapy1_2 time:hasSameBeginningAs i:eColiLowerUrinaryTractInfection1} {i:eColiLowerUrinaryTractInfection1 time:hasSameEndAs i:therapy1_2} {i:therapy1_2 time:hasSameEndAs i:eColiLowerUrinaryTractInfection1} {i:eColiLowerUrinaryTractInfection1 time:hasSameTimeAs i:therapy1_2} {i:therapy1_2 time:hasSameTimeAs i:eColiLowerUrinaryTractInfection1} {i:eColiLowerUrinaryTractInfection1 time:during i:therapy1_1} {i:therapy1_2 time:during i:therapy1_1} {i:therapy1_1 time:includes i:eColiLowerUrinaryTractInfection1} {i:therapy1_1 time:includes i:therapy1_2} {i:therapy1_1 time:takesLongerThan i:eColiLowerUrinaryTractInfection1} {i:therapy1_1 time:takesLongerThan i:therapy1_2} {i:eColiLowerUrinaryTractInfection1 time:takesLessLongThan i:therapy1_1} {i:therapy1_2 time:takesLessLongThan i:therapy1_1})).
:answer digproc:hasSelected ("Peters"@nl "Peter"@nl ((i:chronicCardiacFailure2 ther:treatedWith i:therapy2_1) (i:eColiLowerUrinaryTractInfection2 ther:treatedWith i:therapy2_2) (i:lowerUrinaryTractInfection2 ther:treatedWith i:therapy2_3)) ({i:chronicCardiacFailure2 time:beginsBefore i:eColiLowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:beginsBefore i:lowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:beginsBefore i:therapy2_1} {i:chronicCardiacFailure2 time:beginsBefore i:therapy2_2} {i:chronicCardiacFailure2 time:beginsBefore i:therapy2_3} {i:eColiLowerUrinaryTractInfection2 time:beginsBefore i:therapy2_1} {i:eColiLowerUrinaryTractInfection2 time:beginsBefore i:therapy2_2} {i:eColiLowerUrinaryTractInfection2 time:beginsBefore i:therapy2_3} {i:lowerUrinaryTractInfection2 time:beginsBefore i:therapy2_1} {i:lowerUrinaryTractInfection2 time:beginsBefore i:therapy2_2} {i:lowerUrinaryTractInfection2 time:beginsBefore i:therapy2_3} {i:therapy2_2 time:beginsBefore i:therapy2_1} {i:therapy2_3 time:beginsBefore i:therapy2_1} {i:eColiLowerUrinaryTractInfection2 time:beginsAfter i:chronicCardiacFailure2} {i:lowerUrinaryTractInfection2 time:beginsAfter i:chronicCardiacFailure2} {i:therapy2_1 time:beginsAfter i:chronicCardiacFailure2} {i:therapy2_2 time:beginsAfter i:chronicCardiacFailure2} {i:therapy2_3 time:beginsAfter i:chronicCardiacFailure2} {i:therapy2_1 time:beginsAfter i:eColiLowerUrinaryTractInfection2} {i:therapy2_2 time:beginsAfter i:eColiLowerUrinaryTractInfection2} {i:therapy2_3 time:beginsAfter i:eColiLowerUrinaryTractInfection2} {i:therapy2_1 time:beginsAfter i:lowerUrinaryTractInfection2} {i:therapy2_2 time:beginsAfter i:lowerUrinaryTractInfection2} {i:therapy2_3 time:beginsAfter i:lowerUrinaryTractInfection2} {i:therapy2_1 time:beginsAfter i:therapy2_2} {i:therapy2_1 time:beginsAfter i:therapy2_3} {i:chronicCardiacFailure2 time:endsBefore i:therapy2_1} {i:chronicCardiacFailure2 time:endsBefore i:therapy2_2} {i:chronicCardiacFailure2 time:endsBefore i:therapy2_3} {i:eColiLowerUrinaryTractInfection2 time:endsBefore i:therapy2_1} {i:eColiLowerUrinaryTractInfection2 time:endsBefore i:therapy2_2} {i:eColiLowerUrinaryTractInfection2 time:endsBefore i:therapy2_3} {i:lowerUrinaryTractInfection2 time:endsBefore i:therapy2_1} {i:lowerUrinaryTractInfection2 time:endsBefore i:therapy2_2} {i:lowerUrinaryTractInfection2 time:endsBefore i:therapy2_3} {i:therapy2_1 time:endsBefore i:therapy2_2} {i:therapy2_1 time:endsBefore i:therapy2_3} {i:therapy2_2 time:endsBefore i:therapy2_3} {i:therapy2_1 time:endsAfter i:chronicCardiacFailure2} {i:therapy2_2 time:endsAfter i:chronicCardiacFailure2} {i:therapy2_3 time:endsAfter i:chronicCardiacFailure2} {i:therapy2_1 time:endsAfter i:eColiLowerUrinaryTractInfection2} {i:therapy2_2 time:endsAfter i:eColiLowerUrinaryTractInfection2} {i:therapy2_3 time:endsAfter i:eColiLowerUrinaryTractInfection2} {i:therapy2_1 time:endsAfter i:lowerUrinaryTractInfection2} {i:therapy2_2 time:endsAfter i:lowerUrinaryTractInfection2} {i:therapy2_3 time:endsAfter i:lowerUrinaryTractInfection2} {i:therapy2_2 time:endsAfter i:therapy2_1} {i:therapy2_3 time:endsAfter i:therapy2_1} {i:therapy2_3 time:endsAfter i:therapy2_2} {i:eColiLowerUrinaryTractInfection2 time:hasSameBeginningAs i:lowerUrinaryTractInfection2} {i:lowerUrinaryTractInfection2 time:hasSameBeginningAs i:eColiLowerUrinaryTractInfection2} {i:therapy2_2 time:hasSameBeginningAs i:therapy2_3} {i:therapy2_3 time:hasSameBeginningAs i:therapy2_2} {i:chronicCardiacFailure2 time:hasSameEndAs i:eColiLowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:hasSameEndAs i:lowerUrinaryTractInfection2} {i:eColiLowerUrinaryTractInfection2 time:hasSameEndAs i:chronicCardiacFailure2} {i:eColiLowerUrinaryTractInfection2 time:hasSameEndAs i:lowerUrinaryTractInfection2} {i:lowerUrinaryTractInfection2 time:hasSameEndAs i:chronicCardiacFailure2} {i:lowerUrinaryTractInfection2 time:hasSameEndAs i:eColiLowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:overlaps i:therapy2_1} {i:eColiLowerUrinaryTractInfection2 time:overlaps i:therapy2_1} {i:lowerUrinaryTractInfection2 time:overlaps i:therapy2_1} {i:chronicCardiacFailure2 time:overlaps i:therapy2_2} {i:eColiLowerUrinaryTractInfection2 time:overlaps i:therapy2_2} {i:lowerUrinaryTractInfection2 time:overlaps i:therapy2_2} {i:chronicCardiacFailure2 time:overlaps i:therapy2_3} {i:eColiLowerUrinaryTractInfection2 time:overlaps i:therapy2_3} {i:lowerUrinaryTractInfection2 time:overlaps i:therapy2_3} {i:therapy2_1 time:overlaps i:chronicCardiacFailure2} {i:therapy2_1 time:overlaps i:eColiLowerUrinaryTractInfection2} {i:therapy2_1 time:overlaps i:lowerUrinaryTractInfection2} {i:therapy2_2 time:overlaps i:chronicCardiacFailure2} {i:therapy2_2 time:overlaps i:eColiLowerUrinaryTractInfection2} {i:therapy2_2 time:overlaps i:lowerUrinaryTractInfection2} {i:therapy2_3 time:overlaps i:chronicCardiacFailure2} {i:therapy2_3 time:overlaps i:eColiLowerUrinaryTractInfection2} {i:therapy2_3 time:overlaps i:lowerUrinaryTractInfection2} {i:eColiLowerUrinaryTractInfection2 time:hasSameTimeAs i:lowerUrinaryTractInfection2} {i:lowerUrinaryTractInfection2 time:hasSameTimeAs i:eColiLowerUrinaryTractInfection2} {i:eColiLowerUrinaryTractInfection2 time:during i:chronicCardiacFailure2} {i:lowerUrinaryTractInfection2 time:during i:chronicCardiacFailure2} {i:therapy2_2 time:during i:therapy2_3} {i:therapy2_1 time:during i:therapy2_2} {i:therapy2_1 time:during i:therapy2_3} {i:chronicCardiacFailure2 time:includes i:eColiLowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:includes i:lowerUrinaryTractInfection2} {i:therapy2_3 time:includes i:therapy2_2} {i:therapy2_2 time:includes i:therapy2_1} {i:therapy2_3 time:includes i:therapy2_1} {i:chronicCardiacFailure2 time:takesLongerThan i:eColiLowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:takesLongerThan i:lowerUrinaryTractInfection2} {i:chronicCardiacFailure2 time:takesLongerThan i:therapy2_1} {i:chronicCardiacFailure2 time:takesLongerThan i:therapy2_2} {i:chronicCardiacFailure2 time:takesLongerThan i:therapy2_3} {i:eColiLowerUrinaryTractInfection2 time:takesLongerThan i:therapy2_1} {i:eColiLowerUrinaryTractInfection2 time:takesLongerThan i:therapy2_2} {i:eColiLowerUrinaryTractInfection2 time:takesLongerThan i:therapy2_3} {i:lowerUrinaryTractInfection2 time:takesLongerThan i:therapy2_1} {i:lowerUrinaryTractInfection2 time:takesLongerThan i:therapy2_2} {i:lowerUrinaryTractInfection2 time:takesLongerThan i:therapy2_3} {i:therapy2_2 time:takesLongerThan i:therapy2_1} {i:therapy2_3 time:takesLongerThan i:therapy2_1} {i:therapy2_3 time:takesLongerThan i:therapy2_2} {i:eColiLowerUrinaryTractInfection2 time:takesLessLongThan i:chronicCardiacFailure2} {i:lowerUrinaryTractInfection2 time:takesLessLongThan i:chronicCardiacFailure2} {i:therapy2_1 time:takesLessLongThan i:chronicCardiacFailure2} {i:therapy2_1 time:takesLessLongThan i:eColiLowerUrinaryTractInfection2} {i:therapy2_1 time:takesLessLongThan i:lowerUrinaryTractInfection2} {i:therapy2_1 time:takesLessLongThan i:therapy2_2} {i:therapy2_1 time:takesLessLongThan i:therapy2_3} {i:therapy2_2 time:takesLessLongThan i:chronicCardiacFailure2} {i:therapy2_2 time:takesLessLongThan i:eColiLowerUrinaryTractInfection2} {i:therapy2_2 time:takesLessLongThan i:lowerUrinaryTractInfection2} {i:therapy2_2 time:takesLessLongThan i:therapy2_3} {i:therapy2_3 time:takesLessLongThan i:chronicCardiacFailure2} {i:therapy2_3 time:takesLessLongThan i:eColiLowerUrinaryTractInfection2} {i:therapy2_3 time:takesLessLongThan i:lowerUrinaryTractInfection2})).

#2018-04-18T08:27:53.541Z in=6307 out=2 ent=2721 step=27730 brake=5 inf=1909050 sec=0.286 inf/sec=6675000
#ENDS

