# $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}.