#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 : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> . @prefix lldmP: <lldmP.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix math: <http://www.w3.org/2000/10/swap/math#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @forAll lldmP:M, lldmP:X, lldmP:Y, lldmP:Z . :L1 a :Line; :perpendicular :L3, :L4 . :L3 a :Line . :L4 a :Line . :cL1 rdfs:domain :Measurement; rdfs:range :Quantity . :cL3 rdfs:domain :Measurement; rdfs:range :Quantity . :d53Cm rdfs:domain :Measurement; rdfs:range :Quantity . :d64Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dCm rdfs:domain :Measurement; rdfs:range :Quantity . :dL3m rdfs:domain :Measurement; rdfs:range :Quantity . :dd13Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dd24Cm rdfs:domain :Measurement; rdfs:range :Quantity . :ddL13 rdfs:domain :Measurement; rdfs:range :Quantity . :ddy13Cm rdfs:domain :Measurement; rdfs:range :Quantity . :ddy24Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dx12Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dx51Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dx53Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dx62Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dx64Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dy12Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dy13Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dy24Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dy53Cm rdfs:domain :Measurement; rdfs:range :Quantity . :dy64Cm rdfs:domain :Measurement; rdfs:range :Quantity . :incident rdfs:domain :Point; rdfs:range :Line; owl:inverseOf :contains . :meas47 a :LLDAlarm, :Measurement; :cL1 -0.0628571428571; :cL3 15.9090909091; :d53Cm 21.5489004646; :d64Cm 23.4571344452; :dCm -1.90823398054; :dL3m -15.9090909091; :dd13Cm -57.9075844156; :dd24Cm -873.06212987; :ddL13 -15.9719480519; :ddy13Cm -35.9075844156; :ddy24Cm -850.16212987; :dx12Cm -35.0; :dx51Cm -7.85183438496; :dx53Cm -1.35183438496; :dx62Cm 8.12845573408; :dx64Cm -1.47154426592; :dy12Cm 2.2; :dy13Cm -22.0; :dy24Cm -22.9; :dy53Cm -21.5064561244; :dy64Cm -23.4109315033; :p1xCm 10.1; :p1yCm 7.8; :p2xCm 45.1; :p2yCm 5.6; :p3xCm 3.6; :p3yCm 29.8; :p4xCm 54.7; :p4yCm 28.5; :p5xCm 2.24816561504; :p5yCm 8.29354387563; :p6xCm 53.2284557341; :p6yCm 5.08906849672; :pL1dx51Cm 0.493543875626; :pL1dx62Cm -0.510931503285; :pL1x1Cm -0.634857142857; :pL1x2Cm -2.83485714286; :pL3x3Cm 57.2727272727; :pL3x4Cm 870.227272727; :sdx53Cm2 1.82745620436; :sdx64Cm2 2.16544252656; :sdy53Cm2 462.52765503; :sdy64Cm2 548.071713852; :ssd53Cm2 464.355111234; :ssd64Cm2 550.237156378 . :p1 a :Point; :incident :L1 . :p1xCm rdfs:domain :Measurement; rdfs:range :Quantity . :p1yCm rdfs:domain :Measurement; rdfs:range :Quantity . :p2 a :Point; :incident :L1 . :p2xCm rdfs:domain :Measurement; rdfs:range :Quantity . :p2yCm rdfs:domain :Measurement; rdfs:range :Quantity . :p3 a :Point; :incident :L3 . :p3xCm rdfs:domain :Measurement; rdfs:range :Quantity . :p3yCm rdfs:domain :Measurement; rdfs:range :Quantity . :p4 a :Point; :incident :L4 . :p4xCm rdfs:domain :Measurement; rdfs:range :Quantity . :p4yCm rdfs:domain :Measurement; rdfs:range :Quantity . :p5 a :Point; :incident :L1, :L3 . :p5xCm rdfs:domain :Measurement; rdfs:range :Quantity . :p5yCm rdfs:domain :Measurement; rdfs:range :Quantity . :p6 a :Point; :incident :L1, :L4 . :p6xCm rdfs:domain :Measurement; rdfs:range :Quantity . :p6yCm rdfs:domain :Measurement; rdfs:range :Quantity . :pL1dx51Cm rdfs:domain :Measurement; rdfs:range :Quantity . :pL1dx62Cm rdfs:domain :Measurement; rdfs:range :Quantity . :pL1x1Cm rdfs:domain :Measurement; rdfs:range :Quantity . :pL1x2Cm rdfs:domain :Measurement; rdfs:range :Quantity . :pL3x3Cm rdfs:domain :Measurement; rdfs:range :Quantity . :pL3x4Cm rdfs:domain :Measurement; rdfs:range :Quantity . :perpendicular a owl:SymmetricProperty; rdfs:domain :Line; rdfs:range :Line . :sdd53Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :sdd64Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :sdx53Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :sdx64Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :sdy53Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :sdy64Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :ssd53Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . :ssd64Cm2 rdfs:domain :Measurement; rdfs:range :Quantity . { ( 0 lldmP:X ) math:difference lldmP:Z . lldmP:M a :Measurement; :dL3m lldmP:X . } log:implies {lldmP:M :cL3 lldmP:Z . } . { ( 1 lldmP:X ) math:quotient lldmP:Z . lldmP:M a :Measurement; :cL1 lldmP:X . } log:implies {lldmP:M :dL3m lldmP:Z . } . { ( lldmP:X 0.5 ) math:exponentiation lldmP:Z . lldmP:M a :Measurement; :ssd53Cm2 lldmP:X . } log:implies {lldmP:M :d53Cm lldmP:Z . } . { ( lldmP:X 0.5 ) math:exponentiation lldmP:Z . lldmP:M a :Measurement; :ssd64Cm2 lldmP:X . } log:implies {lldmP:M :d64Cm lldmP:Z . } . { ( lldmP:X 2 ) math:exponentiation lldmP:Z . lldmP:M a :Measurement; :dx53Cm lldmP:X . } log:implies {lldmP:M :sdx53Cm2 lldmP:Z . } . { ( lldmP:X 2 ) math:exponentiation lldmP:Z . lldmP:M a :Measurement; :dx64Cm lldmP:X . } log:implies {lldmP:M :sdx64Cm2 lldmP:Z . } . { ( lldmP:X 2 ) math:exponentiation lldmP:Z . lldmP:M a :Measurement; :dy53Cm lldmP:X . } log:implies {lldmP:M :sdy53Cm2 lldmP:Z . } . { ( lldmP:X 2 ) math:exponentiation lldmP:Z . lldmP:M a :Measurement; :dy64Cm lldmP:X . } log:implies {lldmP:M :sdy64Cm2 lldmP:Z . } . { lldmP:M a :Measurement; :dCm lldmP:X . lldmP:X math:greaterThan 1.25 . } log:implies {lldmP:M a :LLDAlarm . } . { lldmP:M a :Measurement; :dCm lldmP:X . lldmP:X math:lessThan -1.25 . } log:implies {lldmP:M a :LLDAlarm . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :cL1 lldmP:X; :cL3 lldmP:Y . } log:implies {lldmP:M :ddL13 lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :d53Cm lldmP:X; :d64Cm lldmP:Y . } log:implies {lldmP:M :dCm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :dd13Cm lldmP:X; :dy13Cm lldmP:Y . } log:implies {lldmP:M :ddy13Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :dd24Cm lldmP:X; :dy24Cm lldmP:Y . } log:implies {lldmP:M :ddy24Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p1xCm lldmP:X; :p2xCm lldmP:Y . } log:implies {lldmP:M :dx12Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p1xCm lldmP:Y; :p5xCm lldmP:X . } log:implies {lldmP:M :dx51Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p1yCm lldmP:X; :p2yCm lldmP:Y . } log:implies {lldmP:M :dy12Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p1yCm lldmP:X; :p3yCm lldmP:Y . } log:implies {lldmP:M :dy13Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p2xCm lldmP:Y; :p6xCm lldmP:X . } log:implies {lldmP:M :dx62Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p2yCm lldmP:X; :p4yCm lldmP:Y . } log:implies {lldmP:M :dy24Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p3xCm lldmP:Y; :p5xCm lldmP:X . } log:implies {lldmP:M :dx53Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p3yCm lldmP:Y; :p5yCm lldmP:X . } log:implies {lldmP:M :dy53Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p4xCm lldmP:Y; :p6xCm lldmP:X . } log:implies {lldmP:M :dx64Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :p4yCm lldmP:Y; :p6yCm lldmP:X . } log:implies {lldmP:M :dy64Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :pL1x1Cm lldmP:X; :pL3x3Cm lldmP:Y . } log:implies {lldmP:M :dd13Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:difference lldmP:Z . lldmP:M a :Measurement; :pL1x2Cm lldmP:X; :pL3x4Cm lldmP:Y . } log:implies {lldmP:M :dd24Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:product lldmP:Z . lldmP:M a :Measurement; :cL1 lldmP:X; :dx51Cm lldmP:Y . } log:implies {lldmP:M :pL1dx51Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:product lldmP:Z . lldmP:M a :Measurement; :cL1 lldmP:X; :dx62Cm lldmP:Y . } log:implies {lldmP:M :pL1dx62Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:product lldmP:Z . lldmP:M a :Measurement; :cL1 lldmP:X; :p1xCm lldmP:Y . } log:implies {lldmP:M :pL1x1Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:product lldmP:Z . lldmP:M a :Measurement; :cL1 lldmP:X; :p2xCm lldmP:Y . } log:implies {lldmP:M :pL1x2Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:product lldmP:Z . lldmP:M a :Measurement; :cL3 lldmP:X; :p3xCm lldmP:Y . } log:implies {lldmP:M :pL3x3Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:product lldmP:Z . lldmP:M a :Measurement; :cL3 lldmP:X; :p4xCm lldmP:Y . } log:implies {lldmP:M :pL3x4Cm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:quotient lldmP:Z . lldmP:M a :Measurement; :ddL13 lldmP:Y; :ddy13Cm lldmP:X . } log:implies {lldmP:M :p5xCm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:quotient lldmP:Z . lldmP:M a :Measurement; :ddL13 lldmP:Y; :ddy24Cm lldmP:X . } log:implies {lldmP:M :p6xCm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:sum lldmP:Z . lldmP:M a :Measurement; :p1yCm lldmP:Y; :pL1dx51Cm lldmP:X . } log:implies {lldmP:M :p5yCm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:sum lldmP:Z . lldmP:M a :Measurement; :p2yCm lldmP:Y; :pL1dx62Cm lldmP:X . } log:implies {lldmP:M :p6yCm lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:sum lldmP:Z . lldmP:M a :Measurement; :sdx53Cm2 lldmP:X; :sdy53Cm2 lldmP:Y . } log:implies {lldmP:M :ssd53Cm2 lldmP:Z . } . { ( lldmP:X lldmP:Y ) math:sum lldmP:Z . lldmP:M a :Measurement; :sdx64Cm2 lldmP:X; :sdy64Cm2 lldmP:Y . } log:implies {lldmP:M :ssd64Cm2 lldmP:Z . } . { ( lldmP:Y lldmP:X ) math:quotient lldmP:Z . lldmP:M a :Measurement; :dx12Cm lldmP:X; :dy12Cm lldmP:Y . } log:implies {lldmP:M :cL1 lldmP:Z . } . #ENDS