[Crm-sig] ISSUE: Scope Note of E60 needs revision

Martin Doerr martin at ics.forth.gr
Tue Oct 8 19:59:05 EEST 2019


Dear All, we need to provide other definitions of identifiers in continua.


      E60 Number

Subclass of:E59 <#_E59_Primitive_Value> Primitive Value

Scope Note:This class comprises any encoding of computable (algebraic) 
values such as integers, real numbers, complex numbers, vectors, tensors 
etc., including intervals of these values to express limited precision.

Numbers are fundamentally distinct from identifiers in continua, such as 
instances of E50 Date and E47 Spatial Coordinate, even though their 
encoding may be similar. Instances of E60 Number can be combined with 
each other in algebraic operations to yield other instances of E60 
Number, e.g., 1+1=2. Identifiers in continua may be combined with 
numbers expressing distances to yield new identifiers, e.g., 1924-01-31 
+ 2 days = 1924-02-02. Cf. E54 Dimension

Examples:

§5

§3+2i

§1.5e-04

§(0.5, - 0.7,88)

In First Order Logic:

E60(x) ⊃E59(x)

-- 
------------------------------------
  Dr. Martin Doerr
               
  Honorary Head of the
  Center for Cultural Informatics
  
  Information Systems Laboratory
  Institute of Computer Science
  Foundation for Research and Technology - Hellas (FORTH)
                   
  N.Plastira 100, Vassilika Vouton,
  GR70013 Heraklion,Crete,Greece
  
  Vox:+30(2810)391625
  Email: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20191008/02675d3d/attachment-0001.html>


More information about the Crm-sig mailing list