Dear all, Christian-Emil has identified some typos in the FOL of CIDOC CRM v7.3.1. These are purely editorial, but for better issue tracking and management, they will be handled through a designated issue (in fact they have already been handled for the most part).
see below: *P106 is composed of (forms part of)* P106(x,y) ¬P106(y,x) - missing implication should be: P106(x,y) ⇒¬P106(y,x) *P132 spatiotemporally overlaps with* P132(x,y) ⇒ E92(x) P132(x,y) ⇒ E92(y) P132(x,y) ⇒ P132(y,x) P132(x,y) ⇒ P132 (x,y) P132(x,x) Marked in yellow is a tautology and can be deleted *P133 is spatiotemporally separated from* P133(x,y) ⇒ E92(x) P133(x,y) ⇒ E92(y) P133(x,y) ⇒ P133(y,x) P133(x,y) ⇒ P133(x,y) ¬P133(x,x) Marked in yellow is a tautology and can be deleted *P200 has complete copy (is complete copy of) * P200(y,x) ⇒ E25(y) should be P200(x,y) ⇒ E25(y) *P197 covered parts of (was partially covered by) * The full path is not expressed in the FOL best, -- Eleni Tsouloucha Philologist - MA Linguistics & Language Technologies Center for Cultural Informatics Information Systems Laboratory - Institute of Computer Science Foundation for Research and Technology - Hellas (FORTH) Address: N. Plastira 100, GR-70013 Heraklion, Grece email: [email protected], [email protected] Tel: +30 2810391488
_______________________________________________ Crm-sig mailing list [email protected] http://cidoc-crm.org/crm-sig-mailing-list
