# $Id: lldmP2.n3,v 1.11 2005/05/03 20:20:39 amdus Exp $ @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 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 m: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#>. @prefix : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2#>. ## measurement axioms :dy12Cm rdfs:domain :Measurement; rdfs:range :Quantity. :dy34Cm rdfs:domain :Measurement; rdfs:range :Quantity. :dy12gcCm rdfs:domain :Measurement; rdfs:range :Quantity. :dCm rdfs:domain :Measurement; rdfs:range :Quantity. ## measurement implications {?M a m:Measurement; m:p1yCm ?X; m:p2yCm ?Y. (?X ?Y) math:difference ?Z} => {?M :dy12Cm ?Z}. {?M a m:Measurement; m:p3yCm ?X; m:p4yCm ?Y. (?X ?Y) math:difference ?Z} => {?M :dy34Cm ?Z}. {?M a m:Measurement; :dy12Cm ?X. (?X 1.618) math:product ?Z} => {?M :dy12gcCm ?Z}. ## golden cut {?M a m:Measurement; :dy12gcCm ?X; :dy34Cm ?Y. (?X ?Y) math:difference ?Z} => {?M :dCm ?Z}. {?M a m:Measurement; :dCm ?X. ?X math:lessThan -1.25} => {?M a m:LLDAlarm}. {?M a m:Measurement; :dCm ?X. ?X math:greaterThan 1.25} => {?M a m:LLDAlarm}.