Version 7 (modified by jowik, 16 years ago)

--

Template CIPcSQQ

This page shows work in progress, and is intended as informative only.

Purpose

This template is suitable for expressing that a property that applies to a class of individuals is restricted, with regard to magnitude, to a given range of values.

Definition

Signature

The following table indicates what the roles (or "arguments"), are, and the requirements on entity types for each.

CIPcSQQ

Class Restricted Property of the Class Property type Scale Lower bound Upper bound
CO Individual CO CO Relationship Single Property Dimension Scale Express Real Express Real

Normative representation in first-order logic

Examples of expressions that this template should be able to represent

The following are examples of sentences that this template is intended to represent. Note that we make no assumption that the ISO 15926 are sufficient to express every aspect of the natural-language expressions. On the contrary, the point of creating the template is that the aspects that are required for a common representation are sufficiently captured.

1. “The body height of a human is a length property which varies from 50 to 250 cm

This could be expressed, for instance, as a statement

CIPcSQQ( human, body height, length, cm, "50", "250" ),

or by filling in a table as follows,

CIPcSQQ: human body height length cm 50 250

2. “The ambient temperature during operation of a 3051CG pressure transmitter should be [a temperature] within -40 and 85 degrees Celsius.”

This statement is illustrated in the graph below.

Graph illustrating an example

Source for the template graph

  \TemplateDiagram{
    !c{transmitter}{3051CG}{CO Individual}
    [r]
    !r{relCOIP}{CO Indirect Property}
    ( 
      [u(.5)] !r{cfAmbtemp}{Classification}
      [u(.5)] !c{ambtemp}{Ambient Temperature}{CO CO Relationship}
      !s{cfAmbtemp}{relCOIP}{Classified}{ambtemp}{Classifier}
      )
    [r(1.5)] !c{range}{\txt{Temperature Range\\-40$^\circ$ -- 85$^\circ$ C}}{Property Range}
    (!s{relCOIP}{transmitter}{CO Possessor}{range}{Property Space})
    (
      [u(1.5)] !r{ubound}{Upper Bound Of Property Range}
      [r(1.5)] !c{utemp}{Temperature 85$^\circ$ C}{Property}
      (
      !s{ubound}{range}{Classifier}{utemp}{Classified})
      [r] !r{upq}{Property Quantification}
      [r] !c{85}{85}{Arithmetic Number}
      (!s{upq}{utemp}{Input}{85}{Result})
      [r] !r{ucoi}{CO Identification}
      [r] !c{str85}{"85"}{ExpressReal}
      (!s{ucoi}{85}{Represented}{str85}{Pattern})
      )
    (
      [d(1.5)] !r{lbound}{Lower Bound Of Property Range}
      [r(1.5)] !c{ltemp}{Temperature -40$^\circ$ C}{Property}
      (
      !s{lbound}{range}{Classifier}{ltemp}{Classified})
      [r] !r{lpq}{Property Quantification}
      [r] !c{-40}{-40}{Arithmetic Number}
      (!s{lpq}{ltemp}{Input}{-40}{Result})
      [r] !r{lcoi}{CO Identification}
      [r] !c{str-40}{"-40"}{ExpressReal}
      (!s{lcoi}{-40}{Represented}{str-40}{Pattern})
      )
    (
    [r(1.5)] !c{temp}{Temperature}{Single Property Dimension}
    ([u(.75)] !r{uclt}{Classification} !s{uclt}{temp}{Classifier}{utemp}{Classified})
    ([d(.75)] !r{lclt}{Classification} !s{lclt}{temp}{Classifier}{ltemp}{Classified})
    [rr] !c{celsius}{Celsius}{Scale}
    ([u(.75)] !r{uclc}{Classification} !s{uclc}{celsius}{Classifier}{85}{Classified})
    ([d(.75)] !r{lclc}{Classification} !s{lclc}{celsius}{Classifier}{-40}{Classified})
      )
  }
Home
About PCA
Reference Data Services
Projects
Workgroups