Re: [Crm-sig] ISSUE: States and Situations

2017-04-05 Thread martin
Deasr Robert, No, the issue is very serious. The Dimension is ultimately determined by the procedure. "Height with box open" is not a label, but the very type of dimension. This is not a work around. It is a substantial understanding of what a dimension is. "height" is not a dimension. It has

Re: [Crm-sig] ISSUE: Scholarly Reading.

2017-04-05 Thread martin
Dear Simon, All, Your comments well taken, just to clarify what CRM Inf intends to do: It does never aim at replacing scholarly and scientific inferencing by an automated machine. Its sole purpose is to document the steps of scholarly inferencing, provenance and dependencies of knowledge used

Re: [Crm-sig] ISSUE: Scholarly Reading.

2017-04-05 Thread Anaïs Guillem
Dear all, following the discussion during the sig meeting, here is the link to the diagrams representing the conversation with the Nero’s example that can be used for HW: https://docs.google.com/presentation/d/1kLy--Qf3mCoLMYxE264ihiIXUgXSLkWzqFTad8weVcI/edit?usp=sharing

[Crm-sig] Issue 311 S20 paragraph 2 revision

2017-04-05 Thread Stephen Stead
Old S20 paragraph 2 Due to this stability of form, the maximal real volume in space that an instance of S20 Rigid Physical Feature occupies at some time within its existence with respect to the default reference space relative to which the feature is at rest defines uniquely a place for the

[Crm-sig] Extra A6 example

2017-04-05 Thread Stephen Stead
Eleni has sent this excellent example for A6. The problem I foresee is that it refers to classes from another Extension (CRMba). Stephen Stead Tel +44 20 8668 3075 Mob +44 7802 755 013 E-mail ste...@paveprime.com LinkedIn Profile

[Crm-sig] Overnight homework on issue 302

2017-04-05 Thread Stephen Stead
Attempt at scope note and example revision Stephen Stead Director Paveprime Ltd 35 Downs Court Rd Purley, Surrey UK, CR8 1BF Tel +44 20 8668 3075 Fax +44 20 8763 1739 Mob +44 7802 755 013 E-mail ste...@paveprime.com LinkedIn Profile