#Processed by Id: cwm.py,v 1.168 2005/01/27 20:06:43 syosi Exp # using base file:/2002/10/medicad/op/ # Notation3 generation by # notation3.py,v 1.178 2005/01/27 20:06:43 syosi Exp # Base was: file:/2002/10/medicad/op/ @prefix : <lldmP2.n3#> . @prefix lldmP: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix m: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> . @prefix math: <http://www.w3.org/2000/10/swap/math#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll :M, :X, :Y, :Z . m:meas47 a m:LLDAlarm, m:Measurement; m:p1xCm 10.1; m:p1yCm 7.8; m:p2xCm 45.1; m:p2yCm 5.6; m:p3xCm 3.6; m:p3yCm 29.8; m:p4xCm 54.7; m:p4yCm 28.5; lldmP:dCm 2.2596; lldmP:dy12Cm 2.2; lldmP:dy12gcCm 3.5596; lldmP:dy34Cm 1.3 . lldmP:dCm rdfs:domain lldmP:Measurement; rdfs:range lldmP:Quantity . lldmP:dy12Cm rdfs:domain lldmP:Measurement; rdfs:range lldmP:Quantity . lldmP:dy12gcCm rdfs:domain lldmP:Measurement; rdfs:range lldmP:Quantity . lldmP:dy34Cm rdfs:domain lldmP:Measurement; rdfs:range lldmP:Quantity . { ( :X 1.618 ) math:product :Z . :M a m:Measurement; lldmP:dy12Cm :X . } log:implies {:M lldmP:dy12gcCm :Z . } . { :M a m:Measurement; lldmP:dCm :X . :X math:greaterThan 1.25 . } log:implies {:M a m:LLDAlarm . } . { :M a m:Measurement; lldmP:dCm :X . :X math:lessThan -1.25 . } log:implies {:M a m:LLDAlarm . } . { ( :X :Y ) math:difference :Z . :M a m:Measurement; m:p1yCm :X; m:p2yCm :Y . } log:implies {:M lldmP:dy12Cm :Z . } . { ( :X :Y ) math:difference :Z . :M a m:Measurement; m:p3yCm :X; m:p4yCm :Y . } log:implies {:M lldmP:dy34Cm :Z . } . { ( :X :Y ) math:difference :Z . :M a m:Measurement; lldmP:dy12gcCm :X; lldmP:dy34Cm :Y . } log:implies {:M lldmP:dCm :Z . } . #ENDS