[Crm-sig] Issue_510_Belief_Adoption working document

2023-04-21 Thread Martin Doerr via Crm-sig

Dear All,

Attached the working document for completing the new definitions of 
Belief Adoption, interfacing with the latest version of CRMtex.


Please pay attention to the examples which go through the whole constructs:

The first is the nice text 
(https://www.britishmuseum.org/blog/who-was-nero) by Francesca Bologna 
about Emperor Nero of Rome, which summarizes the recent revisions of 
historical beliefs about his actual deeds:


I cite:
"But what do we really know about Nero? Can we separate the scandalous 
stories told by later authors from the reality of his rule?


Most of what we know about Nero comes from the surviving works of three 
historians – Tacitus, Suetonius and Cassius Dio. All written decades 
after Nero's death, their accounts have long shaped our understanding of 
this emperor's rule. However, far from being impartial narrators 
presenting objective accounts of past events, these authors and their 
sources wrote with a very clear agenda in mind. Nero's demise brought 
forward a period of chaos and civil war – one that ended only when a new 
dynasty seized power, the Flavians. Authors writing under the Flavians 
all *had an interest* in legitimising the new ruling family by 
portraying the last of the Julio-Claudians in the worst possible light, 
*turning history into propaganda*. These accounts became the 
'historical' sources used by later historians, therefore perpetuating a 
fabricated image of Nero, which has survived all the way to the present."


and:

"On 19 July AD 64, a fire started close to the Circus Maximus. The 
flames soon encompassed the entire city of Rome and the fire raged for 
nine days. Only four of the 14 districts of the capital were spared, 
while three were completely destroyed.


Rome had already been razed by flames – and would be again in its long 
history – but this event was so severe it came to be known as the Great 
Fire of Rome.


Later historians blamed Nero for the event, claiming that he set the 
capital ablaze in order to clear land for the construction of a vast new 
palace. According to Suetonius and Cassius Dio, Nero took in the view of 
the burning city from the imperial residence while playing the lyre and 
singing about the fall of Troy. *This story, however, is fictional*."


This text represents the characteristic reasoning about the trust in 
historical sources we want to model as "Belief Adoption".


The detail that Nero could not be in Rome and Antium the same time is 
however logical, and an instance of Inference Making.


As examples of Provenance Assessment, I used the discussion about the 
authenticity of the "Nebra Sky Disc", which was initially regarded as a 
probable forgery, and later proven to be from Bronce Age. The story how 
the looting place was recovered and the object ended up in a museum is 
exciting as well.


We could add the opposite story, about the Minoan Godess with Snakes:

https://collections.mfa.org/objects/150499

https://bmcr.brynmawr.edu/2003/2003.02.36/

which was initially believed to be Bronze Age, and recently be regarded 
rather as forgery.


I still do not have a good example questioning the provenance of a text. 
Often, ancient texts contain more modern add-ons. May be someone on this 
list is aware of a good example.


Feedback welcome!


Martin

--

  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:mar...@ics.forth.gr
  Web-site:http://www.ics.forth.gr/isl


--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl


Issue_510_Belief_Adoption_WD.docx
Description: MS-Word 2007 document
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 625: O13 *triggers* scope note [HW reminder]

2023-04-30 Thread Martin Doerr via Crm-sig

Dear Wolfgang,

Your questions well-taken, but please do not seek a logical surrogate of 
reality. It does not exist. The logic can be not more than an overlay, 
approximating and simplifying reality, in more detail:


On 4/21/2023 1:59 PM, Wolfgang Schmidle via Crm-sig wrote:

Here's a diff:

* label:
OLD   O13 triggers (is triggered by)
NEW   O13 triggered (was triggered by)
(in the examples it was already called "triggered" rather than "triggers")

* scope note:
Part 1 is unchanged:
This property associates an instance of E5 Event that triggers another instance 
of E5 Event with the latter. It identifies the interaction between events: an 
event can activate (trigger) other events in a target system that is in a 
situation of sustained tension, such as a trap or an unstable mountain slope 
giving way to a land slide after a rain or earthquake.

Part 2:
OLD   In that sense the triggering event is interpreted as a cause. However, 
the association of the two events is based on their temporal proximity, with 
the triggering event ending when the triggered event starts.

NEW   The distinction of the triggering event from the triggered one lies in 
their difference of nature: The starting of the triggered event is the result 
of an interaction of constituents with the triggering one, but not a 
continuation of the kinds of processes of the latter. Therefore the triggering 
event must spatiotemporally overlap with the initial time and area of the 
triggered event, and the spreading out of the subsequent phenomena must 
initiate from this area and time and not from multiple independent areas.

* FOL:
O13(x,y) ⇒ P182(x,y) removed

(Domain, range, quantification, examples are unchanged)


About the changes:

Scope note part 2: If there needs to be an interaction of constituents and thus 
a spatiotemporal overlap, then I am not sure I understand the 1966 flood 
example. There is an overlap between the flood and a book getting wet and an 
overlap between a book being wet as a result and the growing of the mould, but 
is there an obvious interaction between the flood and the mould beginning to 
grow on a book? I am assuming O13 is not meant to be transitive?

What is the initial time and area of "mould growth on books stored in flooded 
library rooms"? Is it obvious that this area is connected and not multiple 
independent areas?
Well, it is obvious to any expert. The silent assumption of such a case 
of "causality" is that the interaction would not have happened under 
"normal" circumstances. The books obviously became wet by the flood. No 
normal library would make the books wet otherwise. The statement that 
the flood "triggered" actually approximates and simplifies the statement 
that the books became wet by the flood in a way that cold not be 
remedied readily by the library. In general, is not possible to break 
down such processes into discrete atomic logical steps.


There is a considerable logical-philosophical complexity to any concept 
of causality. Therefore we have refused so far to introduce such a 
concept into CRMbase. To my understanding, the reasoning is about 
defaults of the environment, blaming the more exceptional to be the 
"cause", whereas others could equally blame the lack of foresight and 
protective measures, or any other random factor, just as someone getting 
in the path of a bullet by walking.


Would that explanation satisfy your question?😁


FOL / superproperties: The new scope note suggests P132 "spatiotemporally overlaps with", as well 
as P176 "starts before the start of" (also suggested by Thanasis) and  P173i "ends after or 
with the start of"?

Additional questions:

Scope note part 1: What is the sustained tension in the target system (books 
stored in library rooms) in the 1966 flood example? Or in a house that is 
destroyed by an earthquake or a wildfire?
The sustained tension in this case is the sensitivity of the material to 
humidity. Whatever would raise humidity sufficiently would "trigger" 
such a process.


Examples: Since we want to get rid of fictitious examples, would it make sense 
to replace the earthquake/landslide example? Non-fictitious examples would be 
https://en.wikipedia.org/wiki/Paradise,_California#2018_fire or 
https://en.wikipedia.org/wiki/The_Way_Things_Go (an artistic cascade of 
triggering events)
Sure, I wonder if colleagues from FORTH could recover landslide examples 
from the European InGeoClouds project.


Good examples could also be some houses falling down at the seaside 
around Santa Barbara coast in California, because of landing erosion 
approaching them.


All the best,

Martin


Best,
Wolfgang



Am 20.04.2023 um 14:01 schrieb Martin Doerr via Crm-sig :

Dear All,

Here my first go:

OLD

O13 triggers (is triggered by)

Domain:
E5 Event
Range:
E5 Event
Quantification:
many to many (0,n:0,n)

Scope note:
This propert

Re: [Crm-sig] Issue 625: O13 *triggers* scope note PRINCIPLES

2023-04-30 Thread Martin Doerr via Crm-sig

Dear All,

By the way, I think I just made a statement below about principles. 
Would you regard this as noteworthy as principles?


Best,

Martin

On 4/30/2023 6:36 PM, Martin Doerr wrote:

Dear Wolfgang,

Your questions well-taken, but please do not seek a logical surrogate 
of reality. It does not exist. The logic can be not more than an 
overlay, approximating and simplifying reality, in more detail:


On 4/21/2023 1:59 PM, Wolfgang Schmidle via Crm-sig wrote:

Here's a diff:

* label:
OLD   O13 triggers (is triggered by)
NEW   O13 triggered (was triggered by)
(in the examples it was already called "triggered" rather than 
"triggers")


* scope note:
Part 1 is unchanged:
This property associates an instance of E5 Event that triggers 
another instance of E5 Event with the latter. It identifies the 
interaction between events: an event can activate (trigger) other 
events in a target system that is in a situation of sustained 
tension, such as a trap or an unstable mountain slope giving way to a 
land slide after a rain or earthquake.


Part 2:
OLD   In that sense the triggering event is interpreted as a cause. 
However, the association of the two events is based on their temporal 
proximity, with the triggering event ending when the triggered event 
starts.


NEW   The distinction of the triggering event from the triggered one 
lies in their difference of nature: The starting of the triggered 
event is the result of an interaction of constituents with the 
triggering one, but not a continuation of the kinds of processes of 
the latter. Therefore the triggering event must spatiotemporally 
overlap with the initial time and area of the triggered event, and 
the spreading out of the subsequent phenomena must initiate from this 
area and time and not from multiple independent areas.


* FOL:
O13(x,y) ⇒ P182(x,y) removed

(Domain, range, quantification, examples are unchanged)


About the changes:

Scope note part 2: If there needs to be an interaction of 
constituents and thus a spatiotemporal overlap, then I am not sure I 
understand the 1966 flood example. There is an overlap between the 
flood and a book getting wet and an overlap between a book being wet 
as a result and the growing of the mould, but is there an obvious 
interaction between the flood and the mould beginning to grow on a 
book? I am assuming O13 is not meant to be transitive?


What is the initial time and area of "mould growth on books stored in 
flooded library rooms"? Is it obvious that this area is connected and 
not multiple independent areas?
Well, it is obvious to any expert. The silent assumption of such a 
case of "causality" is that the interaction would not have happened 
under "normal" circumstances. The books obviously became wet by the 
flood. No normal library would make the books wet otherwise. The 
statement that the flood "triggered" actually approximates and 
simplifies the statement that the books became wet by the flood in a 
way that cold not be remedied readily by the library. In general, is 
not possible to break down such processes into discrete atomic logical 
steps.


There is a considerable logical-philosophical complexity to any 
concept of causality. Therefore we have refused so far to introduce 
such a concept into CRMbase. To my understanding, the reasoning is 
about defaults of the environment, blaming the more exceptional to be 
the "cause", whereas others could equally blame the lack of foresight 
and protective measures, or any other random factor, just as someone 
getting in the path of a bullet by walking.


Would that explanation satisfy your question?😁


FOL / superproperties: The new scope note suggests P132 
"spatiotemporally overlaps with", as well as P176 "starts before the 
start of" (also suggested by Thanasis) and  P173i "ends after or with 
the start of"?


Additional questions:

Scope note part 1: What is the sustained tension in the target system 
(books stored in library rooms) in the 1966 flood example? Or in a 
house that is destroyed by an earthquake or a wildfire?
The sustained tension in this case is the sensitivity of the material 
to humidity. Whatever would raise humidity sufficiently would 
"trigger" such a process.


Examples: Since we want to get rid of fictitious examples, would it 
make sense to replace the earthquake/landslide example? 
Non-fictitious examples would be 
https://en.wikipedia.org/wiki/Paradise,_California#2018_fire or 
https://en.wikipedia.org/wiki/The_Way_Things_Go (an artistic cascade 
of triggering events)
Sure, I wonder if colleagues from FORTH could recover landslide 
examples from the European InGeoClouds project.


Good examples could also be some houses falling down at the seaside 
around Santa Barbara coast in California, because of landing erosion 
approaching them.


All the best,

Martin


Best,
Wolfgang


Am 20.04.2023 um 14

Re: [Crm-sig] ISSUE Implementing .2 Properties in RDF

2023-05-02 Thread Martin Doerr via Crm-sig
  Institute of Computer Science - FORTH


Visiting Lecturer
Department of Management Science & Technology
Hellenic Mediterranean University


Web: http://users.ics.forth.gr/~fafalios/
Email: fafal...@ics.forth.gr
Address: N. Plastira 100, Vassilika Vouton, 70013 Heraklion,
Greece
Tel: +30-2810-391619

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



-- 
Pavlos Fafalios


Postdoctoral researcher
Centre for Cultural Informatics & Information Systems Laboratory
Institute of Computer Science - FORTH

Visiting Lecturer
Department of Management Science & Technology
Hellenic Mediterranean University

Web: http://users.ics.forth.gr/~fafalios/
Email: fafal...@ics.forth.gr
Address: N. Plastira 100, Vassilika Vouton, 70013 Heraklion, Greece
Tel: +30-2810-391619

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
George Bruseker, PhD
Chief Executive Officer
Takin.solutions Ltd.
https://www.takin.solutions/

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] ISSUE 588 Implementing the .1 Properties of Base and Extensions in RDF

2023-05-04 Thread Martin Doerr via Crm-sig
ement Science & Technology
Hellenic Mediterranean University

Web: http://users.ics.forth.gr/~fafalios/
Email: fafal...@ics.forth.gr
Address: N. Plastira 100, Vassilika Vouton, 70013 Heraklion, Greece
Tel: +30-2810-391619


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
Pavlos Fafalios

Postdoctoral researcher
Centre for Cultural Informatics & Information Systems Laboratory
Institute of Computer Science - FORTH

Visiting Lecturer
Department of Management Science & Technology
Hellenic Mediterranean University

Web: http://users.ics.forth.gr/~fafalios/
Email: fafal...@ics.forth.gr
Address: N. Plastira 100, Vassilika Vouton, 70013 Heraklion, Greece
Tel: +30-2810-391619


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] NEW ISSUE: Core and Application Models

2023-05-04 Thread Martin Doerr via Crm-sig

Dear All,

From the beginning of the CRM development, we followed a clear 
distinction between "core model" and "application model", as has been, 
in similar form, be proposed by other authors as well.


The basic idea is that the wealth of phenomena , even for the domain of 
factual information of the historical sciencesto cannot be be 
modeledproactively, and will, in general, not be consistent. However, 
high-level "superproperties" can effectively "streamline" 
specializations under a common core, that enables to a high degree 
recall, i.e. query containment for questions across multiple resources 
that can return reasonably small result sets of most relevant facts 
available for the respective research. The latter may then be processed 
locally for further refinement, deductions and evaluations.


The managerial idea was that CRMbase and extensions managed by the SIG 
form such a core, which is continuously verified by mapping of relevent 
applications for its genericity and efficiency for global querying.


Any specific application that goes beyond a global aggregation of data 
should develop local application models. Only when enough experience 
with these application models has been collected, it should feed back 
into the models managed by the SIG for modification or enhancement. This 
experience building aims at maintaining the long-term robustness and 
effectiveness of all constructs in the core. Nevertheless, the aim to 
keep all SIG-managed extensions consistent and harmonized, poses an 
ultimate limit to the size these constructs can develop into.


To my understanding, a lot of friction in the past years has been 
created by a lack of common understanding of the difference between 
these levels. My recommendations to develop certain constructs locally 
have sometimes been misinterpreted as rejections or lack of interest.


Therefore, I propose to
"define difference between core models and application models, clarify 
the way they interface technically and epistemologically, and define the 
managerial procedures associated with the relationship between them".


This should also be a didactic goal.

Best,

Martin.

--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-06 Thread Martin Doerr via Crm-sig

Dear Pavlos,

I don't think this is a good solution. Every statement in a knowledge 
base is an information object. That does not say however, what it refers 
to in the universe of discourse (or real world). The identity of the 
information object is the RDF file. The identity of Michelangelo, as 
stated in the file, means Michelangelo the person and not the URI as a 
string in that file. Isn't it?


This is still an issue to resolve: In CRMinf, a Proposition Set is 
regarded as Information Object, but this is not what we actually mean, 
we mean the "meaning" of that Information Object, i.e., its truth or 
not. As such, CRMinf is inconsistent. This is, I think, Issue 614.


Best,

Martin

On 5/6/2023 12:43 AM, Pavlos Fafalios via Crm-sig wrote:

Dear George,

An instance of a property class represents a statement / formal 
proposition. Could we thus say that it is also an  E73 Information Object?
Would multiple instantiation provide a solution to the problem you 
describe? E.g.:


:painting_sistine_chapel
     crm:P14_carried_out_by :Michelangelo .
*:statement1*
   a crm:PC14_carried_out_by, *crm:E73_Information_Object* ;
   crm:P01_has_domain :painting_sistine_chapel ;
   crm:P02_has_range :Michelangelo  ;
   crm:P14.1_in_the_role_of  :master_craftsman .
:attrAssign1
   a crm:E13_Attribute_Assignment ;
   crm:P140_assigned_attribute_to *:statement1*
   ... ... ...
Thoughts?

Have a good weekend!

Best,
Pavlos

On Wed, Mar 29, 2023 at 4:36 PM George Bruseker via Crm-sig 
 wrote:


Dear all,

When using the PC classes modelling structure we end up with a
class node for a property which we can then modify with things
like 'kinds' and 'modes' etc.

Since such a statement has meaning and comes from somewhere [e.g.:
that someone did something in some capacity (PC14 carried out by
... P02 has range E39 + P14.1 in the role of E55)] one sometimes
needs to provenance this statement with an E13 attribute
assignment. Ie we want to ground who made this claim.

In theory this would be done with E13 pointing to the node in the
typical fashion (p141, P140). However, the
class PC0_Typed_CRM_Property is not declared as a subtype of E1
CRM Entity in the PC extension file. As a result we cannot do this.

https://cidoc-crm.org/rdfs/7.1.1/CIDOC_CRM_v7.1.1_PC.rdfs

I would argue PC0_Typed_CRM_Property should be declared a subclass
of E1_CRM_Entity.  Then it would be consistent with the rest of
the modelling.

Opinions?

Best,

George
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
Pavlos Fafalios

Postdoctoral researcher
Centre for Cultural Informatics & Information Systems Laboratory
Institute of Computer Science - FORTH

Visiting Lecturer
Department of Management Science & Technology
Hellenic Mediterranean University

Web: http://users.ics.forth.gr/~fafalios/
Email: fafal...@ics.forth.gr
Address: N. Plastira 100, Vassilika Vouton, 70013 Heraklion, Greece
Tel: +30-2810-391619


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
----
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-08 Thread Martin Doerr via Crm-sig
hen it would be consistent with the rest of the
> modelling.
>
> Opinions?
>
> Best,
>
> George
> ___
> Crm-sig mailing list
> Crm-sig@ics.forth.gr
> http://lists.ics.forth.gr/mailman/listinfo/crm-sig


_______
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-08 Thread Martin Doerr via Crm-sig

Hi George,

On 5/8/2023 5:34 PM, George Bruseker wrote:

Hi Rob and Martin,

But the point is not to make assertions about the property class 
itself but the instance of the property class.

of course😁


The instance of PC14 says Bob was the creator, Bob was a faker... it 
is a regular abox assertion. And it has an identifier, necessarily.


The instances of PC classes are all already abox statements. They have 
just been modelled in an odd way where we don't account for their 
ontological substance. Being in a role is an ontological substance to 
define.
Yes, we have discussed that in the past and in the OntoWeb project. 
There are 3 kinds of roles. This is the "incidental role". There was a 
classical paper about that. I'll search for it. Another role is the 
life-long role. A third one is the "persona" or "office" role.


The point I made is the difference between ontological substance of 
individuals versus that of relations, and the epistemic substance of 
arguing about the world from a bird's perspective. I did not question 
the substance of roles, but their nature as "entities" or "individuals" 
in the narrower sense.


For me it is a big problem if there are statements in the CRM that can 
be made (Bob was the builder) but can't be discussed. The abox 
statement Bob was the builder is definitely in the domain of discourse 
and for that reason should necessarily as a matter of principle be 
referenceable.
I do not get the point. All statements, property instances, are 
referenceable, by reification, Named Graphs, A13. Bob being in the role 
of builder for that Activity can be formalized as specialication of the 
P14 carried out by. What problem do you try to solve?


Otherwise, CRMbase cannot state the provenance for a piece of 
knowledge like Da Vinci had the role of painter of Mona Lisa. It 
becomes impossible. The abox information is in the PC14 instance.
Why not? Provenance of knowledge is an epistemic layer on top of any KB. 
We have written in the introduction detailed explanations about that. 
Reification


Yes we can use the partitioning pattern which is fine, but it remains 
a question of technically what to do about PC classes and it seems 
only half baked if they aren't instances of E1. They fit the 
definition of instances of E1, "This class comprises all things in the 
universe of discourse of the CIDOC Conceptual Reference Model." Being 
in the role of the painter of Mona Lisa is, for me, a thing in the 
universe of discourse of the CIDOC Conceptual Reference Model.
Well, then we have to refine the term "thing". Clearly, E1 is used 
exclusively for individual entities. We did not model so far a "CRM 
relation", in order to avoid that people instantiate an unqualified 
relation.


Logically, I do not get the point why making PC classes instances of E1 
does solve a problem, which reification, Named Graphs and E13 already 
do?  I mean, should we make an example? Could you be more specific why 
the latter 3 mechanisms do not work for any CRM property and .1 property?😁


Best,

Martin


The main thing is this is a technical extension to a technical 
extension to make things work and isn't a real ontological question to 
my mind.


If we wanted to do the ontological discussions we would have to open 
up the modelling box of worms, which is definitely another issue. I, 
for example, would like to be able to talk about the timespan of the 
property of something being part of something... but that's a broader 
issue :)


G

On Mon, May 8, 2023 at 5:21 PM Robert Sanderson via Crm-sig 
 wrote:



Perhaps for the first time, I agree with Martin and not George!

The PC classes are part of the ontological layer -- we don't say
that classes or properties are descendants of E1. Or PC classes
are T box (terminology) and not A box (assertions using that
terminology).
(See - https://en.wikipedia.org/wiki/Abox)

I can see, however, that it would be useful to be able to refer to
assertions in CRMInf and perhaps in Activity templates ... but
then those assertions _are_ A box - the are the subject of the
discourse, not the language in which the discourse is taking
place.  We have Attribute Assignment to talk about important
activities that assert relationships or properties. And if we
don't want to go to that layer of A box layer reification, then we
have the partitioning pattern -- to assert a role of a particular
individual in an activity, we can identify the part of that
activity that the person carried out and assert a role
classification on it via P2_has_type.

Rob


On Mon, May 8, 2023 at 9:44 AM Martin Doerr via Crm-sig
 wrote:

Dear All,

I don't think it is correct to make the PC classes entities.
Even though formally an RDF class could be regarded a

Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-08 Thread Martin Doerr via Crm-sig
e
don't want to go to that layer of A box layer reification, then we
have the partitioning pattern -- to assert a role of a particular
individual in an activity, we can identify the part of that
activity that the person carried out and assert a role
classification on it via P2_has_type.

    Rob


On Mon, May 8, 2023 at 9:44 AM Martin Doerr via Crm-sig
 wrote:

Dear All,

I don't think it is correct to make the PC classes entities.
Even though formally an RDF class could be regarded as an
entity, ontologically we distinguish entities and
relationships. The E-R paradigm makes this distinction also
formally clear. We model the properties with .1 properties in
FOL as n-ary relationships, and not as individuals.

Making the PC classes CRM Entities is inconsistent with the
FOL definition, which is the proper formalization.
In other words, we would make a workaround for a missing
feature in RDFS an ontological argument. We are again in the
discussion to take RDFS as the definition of the CRM, and not
as an implementation.

As a first step, we could introduce an "E0 CRM Relation",
which would have as instances all properties and the PC
classes. The ontological distinction between relations and
entities is fundamental to the methodology of ontological
analysis.

As a second step, we can start to investigate to which degree
PC classes qualify as ontological individuals in their own
right. If we start declaring a priori all PC classes as
entities, we have later to justify and remove all those that
are relations in the true sense.  For instance, I cannot
imagine the "being part of" a Physical Object for some time to
become an entity, because it needs a timespan.

Best,

Martin

On 5/8/2023 12:54 PM, George Bruseker via Crm-sig wrote:

Hi all,

I would argue that the safest thing to do is to make the PCs
a subclass of E1 and then see where we go from there. I agree
with Martin that it can't be an information object (because
everything would be then) but I imagine we would have a
debate about what each .1 actually ontologically is. What is
certain is that by virtue of the fact of being something said
in the universe of CIDOC CRM it is something sayable /
mentionable. This is what E1 gives us, the most vague point
of an object that can be pointed to and named, possibly
classified. The problem is right now that we have something
that is sayable in CIDOC CRM (PCxxx) but it is not
referenceable. But this is a logical contradiction.
Everything that can be said can be referenced and PCxxx can
definitely be said.

For example, if I say that Bob was involved in the Production
of Mona Lisa as Creator then this is something said / stated
that is important, that has a real world referent, which has
a definite meaning which is true or false etc. Ergo, it
requires provenance. The basic mechanism for provenance in
CRMbase is E13 and indicates that there was an agency behind
something being asserted of something else.

Here the thing we want to talk about is the role and the role
IS an instance of PC14. It's already an instance of a class
so it should be referenceable. (Also one might like to put a
bibliography for people who thought that Bob was Creator of
Mona Lisa etc.)

So I would go exactly for Paulos' modelling but with this change:

:painting_sistine_chapel
crm:P01i_is_domain_of
:role_of_michaelangeo_in_sistene_chapel_project

:role_of_michaelangeo_in_sistene_chapel_project
   a crm:PC14_carried_out_by ;
   crm:P02_has_range :Michelangelo  ;
   crm:P14.1_in_the_role_of  :master_craftsman .
:attrAssign1
   a crm:E13_Attribute_Assignment ;
   crm:P140_assigned_attribute_to
:role_of_michaelangeo_in_sistene_chapel_project
   ... ... ...


On Mon, May 8, 2023 at 10:42 AM athinak
 wrote:

Dear George, all,

  I am not sure that the class PC0_Typed_CRM_Property
should be a
subclass of E1. In my understanding, this class implies a
situation
concluded in an epistemological context. I am also not
sure if the
provenance we are looking for in this set of statements
is a kind of
E13. I am just wondering.

BRs,
Athina


  On 2023-03-29 16:36, George Bruseker via Crm-sig wrote:
> Dear all,
>
> When using the PC classes modelli

Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-08 Thread Martin Doerr via Crm-sig
 PM Robert Sanderson via Crm-sig
 wrote:


Perhaps for the first time, I agree with Martin and not George!

The PC classes are part of the ontological layer -- we don't
say that classes or properties are descendants of E1. Or PC
classes are T box (terminology) and not A box (assertions
using that terminology).
(See - https://en.wikipedia.org/wiki/Abox)

I can see, however, that it would be useful to be able to
refer to assertions in CRMInf and perhaps in Activity
templates ... but then those assertions _are_ A box - the are
the subject of the discourse, not the language in which the
discourse is taking place.  We have Attribute Assignment to
talk about important activities that assert relationships or
properties. And if we don't want to go to that layer of A box
layer reification, then we have the partitioning pattern --
to assert a role of a particular individual in an activity,
we can identify the part of that activity that the person
carried out and assert a role classification on it via
    P2_has_type.

Rob


On Mon, May 8, 2023 at 9:44 AM Martin Doerr via Crm-sig
 wrote:

Dear All,

I don't think it is correct to make the PC classes
entities. Even though formally an RDF class could be
regarded as an entity, ontologically we distinguish
entities and relationships. The E-R paradigm makes this
distinction also formally clear. We model the properties
with .1 properties in FOL as n-ary relationships, and not
as individuals.

Making the PC classes CRM Entities is inconsistent with
the FOL definition, which is the proper formalization.
In other words, we would make a workaround for a missing
feature in RDFS an ontological argument. We are again in
the discussion to take RDFS as the definition of the CRM,
and not as an implementation.

As a first step, we could introduce an "E0 CRM Relation",
which would have as instances all properties and the PC
classes. The ontological distinction between relations
and entities is fundamental to the methodology of
ontological analysis.

As a second step, we can start to investigate to which
degree PC classes qualify as ontological individuals in
their own right. If we start declaring a priori all PC
classes as entities, we have later to justify and remove
all those that are relations in the true sense.  For
instance, I cannot imagine the "being part of" a Physical
Object for some time to become an entity, because it
needs a timespan.

Best,

Martin

On 5/8/2023 12:54 PM, George Bruseker via Crm-sig wrote:

Hi all,

I would argue that the safest thing to do is to make the
PCs a subclass of E1 and then see where we go from
there. I agree with Martin that it can't be an
information object (because everything would be then)
but I imagine we would have a debate about what each .1
actually ontologically is. What is certain is that by
virtue of the fact of being something said in the
universe of CIDOC CRM it is something sayable /
mentionable. This is what E1 gives us, the most vague
point of an object that can be pointed to and named,
possibly classified. The problem is right now that we
have something that is sayable in CIDOC CRM (PCxxx) but
it is not referenceable. But this is a logical
contradiction. Everything that can be said can be
referenced and PCxxx can definitely be said.

For example, if I say that Bob was involved in the
Production of Mona Lisa as Creator then this is
something said / stated that is important, that has a
real world referent, which has a definite meaning which
is true or false etc. Ergo, it requires provenance. The
basic mechanism for provenance in CRMbase is E13 and
indicates that there was an agency behind something
being asserted of something else.

Here the thing we want to talk about is the role and the
role IS an instance of PC14. It's already an instance of
a class so it should be referenceable. (Also one might
like to put a bibliography for people who thought that
Bob was Creator of Mona Lisa etc.)

So I would go exactly for Paulos' modelling but with
this change:

:p

Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-10 Thread Martin Doerr via Crm-sig

Dear All,

I suggest to resolve the issue of referring to the provenance of .1 
properties more specifically:


Solution a: Add properties to E13 to specify a .1 property. This may be 
more effective than the double indirection via PC class instance and 4 
links of the E13 construct.


Solution b: Use RDF reification for this specific problem via the PC class.

We need to examine in both cases the inferences we want to maintain 
about the base property and its domain and range, and what the relevant 
query construct is.


Personally, I prefer solution c: Use the annotation model of CRM Dig, 
which goes via Named Graphs. This is much more performant and logically 
clearer, because Named Graphs are implemented as direct references to 
property identifier, and maintain a reference count for each one. This 
is an important logic in its own right. Inferences about the .properties 
would work in out ouf of a Named Graph, whereas the reification may need 
additional rules.


The query languages of Quad stores support them explicitly.

The latest version of 3M supports Named Graph definitions. This feature 
should be tested.


I would rather discourage E13 in the long term as a means to denote 
provenance generally and recommend a uniform use of Named Graphs. I am 
aware that not all RDF encodings support the feature. I that case we 
could resort to reification.


Opinions?

Best,

Martin

On 5/9/2023 10:37 PM, Francesco Beretta via Crm-sig wrote:

Dear Christian-Emil, All,

For the reasons I detailed in my other email, I totally agree with 
your point of view and would like to raise all possible caveats to 
this kind of mixing up quick and dirty implementation solutions and 
consistent conceptual modelling.


If we need more classes, even on a provisional and experimental 
perspective, I would strongly suggest to produce them and document 
them as such, with stable URIs, and then refine progressively the 
ontology and integrate it into the CRM family. Of course, a nice place 
to do this is ontome.net 😉


Best

Francesco

Le 08.05.23 à 17:36, Christian-Emil Smith Ore via Crm-sig a écrit :
Also: RDF(S) is an implementation technology. We can assume that 
there exists a implmentation function from the CRM-FOL to RDF(S), but 
this may not be a 1-1 function. Strange constructs like the PC0(?) 
may not have counterparts in CRM-FOL.  Changing the ontology on the 
bases of special tricks used in the implementation may not always be 
a good idea, but may inspire us to make well thought out and 
consistent changes in the ontology.



___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-11 Thread Martin Doerr via Crm-sig

Dear Francesco,

This is an excellent paper.

I cite: "However, reification has no formal semantics, and leads to a 
high increase in the number of triples, hence, it does not scale well. "


I agree with your proposals. Prov-O mapping is a must for CRM-SIG.

Best,

Martin

On 5/10/2023 11:55 PM, Francesco Beretta via Crm-sig wrote:

Dear Martin, George, All,

I would not dare to suggest some solution of this complex issue but 
let me hint to a couple of useful papers (among many others):


Sikos, Leslie F., and Dean Philp, ‘Provenance-Aware Knowledge 
Representation: A Survey of Data Models and Contextualized Knowledge 
Graphs’, /Data Science and Engineering/, 5.3 (2020), 293–316 
<https://doi.org/10.1007/s41019-020-00118-0>


Hernández, Daniel, Aidan Hogan, and Markus Krötzsch, ‘Reifying RDF: 
What Works Well With Wikidata?’, in /Proceedings of the 11th 
International Workshop on Scalable Semantic Web Knowledge Base Systems 
Co-Located with 14th International Semantic Web Conference (ISWC 
2015), Bethlehem, PA, USA, October 11, 2015./, 2015, pp. 32–47 
<http://ceur-ws.org/Vol-1457/SSWS2015_paper3.pdf>



Once again, I would like to suggest carefully distinguishing between 
the CRM domain of discourse, in which the E13 class is conceptualized, 
and the issue of stating the provenance of the information modelled in 
the discourse domain, including instances of class E13 as part of the 
modelled domain.


For this last task (or domain of discourse), it would seems reasonable 
and in line with best practices to use the PROV model and the 
corresponding PROV-O ontology, a W3C recommendation. Or providing a 
specific extension of the CRM, compatible and aligned with the PROV 
model. But using PROV-O seems a good choice in order to facilitate 
interoperability.


There remains the more fundamental question of whether the current 
debate about RDF implementation is not in fact indicative of a more 
fundamental problem related to properties of properties and the 
implicit and richer information they contain, which cannot be 
adequately expressed in RDF without conceptualising them in terms of 
actual classes. Aren't these rather hybrid P(roperty)C(lasses), 
especially if they should be declared as subclasses of E1, to be 
considered as /de facto/ classes and not just properties? Because if 
they are just statements, then adopting one or the other form of 
existing RDF reifications practices seems to be the good way to go.


Best

Francesco


Le 10.05.23 à 18:48, Martin Doerr via Crm-sig a écrit :

Dear All,

I suggest to resolve the issue of referring to the provenance of .1 
properties more specifically:


Solution a: Add properties to E13 to specify a .1 property. This may 
be more effective than the double indirection via PC class instance 
and 4 links of the E13 construct.


Solution b: Use RDF reification for this specific problem via the PC 
class.


We need to examine in both cases the inferences we want to maintain 
about the base property and its domain and range, and what the 
relevant query construct is.


Personally, I prefer solution c: Use the annotation model of CRM Dig, 
which goes via Named Graphs. This is much more performant and 
logically clearer, because Named Graphs are implemented as direct 
references to property identifier, and maintain a reference count for 
each one. This is an important logic in its own right. Inferences 
about the .properties would work in out ouf of a Named Graph, whereas 
the reification may need additional rules.


The query languages of Quad stores support them explicitly.

The latest version of 3M supports Named Graph definitions. This 
feature should be tested.


I would rather discourage E13 in the long term as a means to denote 
provenance generally and recommend a uniform use of Named Graphs. I 
am aware that not all RDF encodings support the feature. I that case 
we could resort to reification.


Opinions?

Best,

Martin

On 5/9/2023 10:37 PM, Francesco Beretta via Crm-sig wrote:

Dear Christian-Emil, All,

For the reasons I detailed in my other email, I totally agree with 
your point of view and would like to raise all possible caveats to 
this kind of mixing up quick and dirty implementation solutions and 
consistent conceptual modelling.


If we need more classes, even on a provisional and experimental 
perspective, I would strongly suggest to produce them and document 
them as such, with stable URIs, and then refine progressively the 
ontology and integrate it into the CRM family. Of course, a nice 
place to do this is ontome.net 😉


Best

Francesco

Le 08.05.23 à 17:36, Christian-Emil Smith Ore via Crm-sig a écrit :
Also: RDF(S) is an implementation technology. We can assume that 
there exists a implmentation function from the CRM-FOL to RDF(S), 
but this may not be a 1-1 function. Strange constructs like the 
PC0(?) may not have counterparts in CRM-FOL.  Changing the ontology 
on the bases of special tricks used in the imp

Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-11 Thread Martin Doerr via Crm-sig

Dear George,

I agree with you below about the historical aspects. The annotation 
model has the same historical aspect, but is not limited to a single link.


Let us discuss!😁

Best,

Martin

On 5/11/2023 12:41 PM, George Bruseker wrote:

Dear Francesco, Martin,

Again for the record since I seem to be being read at cross purposes, 
when I mention the word 'provenance' I do not mean it in the sense of 
dataset provenance (to which prov o would apply). I mean that in the 
world to be described (the real world of tables charis cats dogs 
scholars ideas etc.) there are real world events in which people 
attribute things to things (see my previous email). This is content of 
the world to be represented in the semantic graph (not a metagraph 
about the graph). This is describable and is described in CIDOC CRM 
using E13 and its friends. If you want to say that there was a 
historical situation that someone in your department said (likely in 
the information system) that some attribute related two things you can 
do this with E13 (or I have completely misunderstood the CIDOC CRM). 
This happens all the time in art history. One particular often arising 
case is an argument about who played what role in some object. Was 
Davinci the painter or was it Simon? This is just a hum drum case of 
needing to apply CIDOC CRM to real cases. Since E13 is a mechanism for 
so doing on all other statements, it would be a logical continuation 
that it could be used also on .1 statements. But for technical reasons 
it cannot, that is why I suggested a mild technical solution that 
makes the technical extension logically coherent. It is in this sense 
that I mean provenance and not in the metasense of the provenance of 
the data qua data, also an exciting but other issue to my mind.


Cheers,

George

On Thu, May 11, 2023 at 12:27 PM Martin Doerr via Crm-sig 
 wrote:


Dear Francesco,

This is an excellent paper.

I cite: "However, reification has no formal semantics, and leads
to a high increase in the number of triples, hence, it does not
scale well. "

I agree with your proposals. Prov-O mapping is a must for CRM-SIG.

Best,

Martin

On 5/10/2023 11:55 PM, Francesco Beretta via Crm-sig wrote:

Dear Martin, George, All,

I would not dare to suggest some solution of this complex issue
but let me hint to a couple of useful papers (among many others):

Sikos, Leslie F., and Dean Philp, ‘Provenance-Aware Knowledge
Representation: A Survey of Data Models and Contextualized
Knowledge Graphs’, /Data Science and Engineering/, 5.3 (2020),
293–316 <https://doi.org/10.1007/s41019-020-00118-0>

Hernández, Daniel, Aidan Hogan, and Markus Krötzsch, ‘Reifying
RDF: What Works Well With Wikidata?’, in /Proceedings of the 11th
International Workshop on Scalable Semantic Web Knowledge Base
Systems Co-Located with 14th International Semantic Web
Conference (ISWC 2015), Bethlehem, PA, USA, October 11, 2015./,
2015, pp. 32–47 <http://ceur-ws.org/Vol-1457/SSWS2015_paper3.pdf>


Once again, I would like to suggest carefully distinguishing
between the CRM domain of discourse, in which the E13 class is
conceptualized, and the issue of stating the provenance of the
information modelled in the discourse domain, including instances
of class E13 as part of the modelled domain.

For this last task (or domain of discourse), it would seems
reasonable and in line with best practices to use the PROV model
and the corresponding PROV-O ontology, a W3C recommendation. Or
providing a specific extension of the CRM, compatible and aligned
with the PROV model. But using PROV-O seems a good choice in
order to facilitate interoperability.

There remains the more fundamental question of whether the
current debate about RDF implementation is not in fact indicative
of a more fundamental problem related to properties of properties
and the implicit and richer information they contain, which
cannot be adequately expressed in RDF without conceptualising
them in terms of actual classes. Aren't these rather hybrid
P(roperty)C(lasses), especially if they should be declared as
subclasses of E1, to be considered as /de facto/ classes and not
just properties? Because if they are just statements, then
adopting one or the other form of existing RDF reifications
practices seems to be the good way to go.

Best

Francesco


Le 10.05.23 à 18:48, Martin Doerr via Crm-sig a écrit :

Dear All,

I suggest to resolve the issue of referring to the provenance of
.1 properties more specifically:

Solution a: Add properties to E13 to specify a .1 property. This
may be more effective than the double indirection via PC class
instance and 4 links of the E13 construct.

Solution b: Use RDF reification for this specific problem via
the PC class.

Re: [Crm-sig] PC0_Typed_CRM_Property in CRMpc

2023-05-11 Thread Martin Doerr via Crm-sig

Dear Robert,

We have just created the new issue to discuss this in detail. We should 
prepare a detailed analysis, citing all pros and cons. May be we 
continue this discussion better in a subgroup?


Named Graphs are not a very specific technology, if we take the fact 
that all current triple stores are actually implemented as quad stores, 
regardless whether they call the construct "Named Graph" or "context". 
We have used and implemented this feature, and it is very performant. It 
runs on BlazeGraph as well. I think their is not a simple answer to 
that. Performance can become a major issue, when you have really a lot 
of data.


For the attribution of artists and "style of" vs "school of" etc. of the 
collection management system of the British Museum, the ResearchSpace 
Project had created a set of subproperties of P14 carried out by, which 
could be used as input for a roles vocabulary.


I did not propose to use Dig as is, but to consider the construct. The 
W3C annotation model is very interesting. We would need a connection to 
the Creation Event of making an annotation, and whose opinion it is, in 
order to make it CRM compatible. Why not allowing a Named Graph as 
target?  We should compare the segment construct of the W3C annotation 
model with the METS  types and extensions we used. The Dig model 
was used to trace provenance of annotated area through transformations 
of digital objects. That was very important for exchanging research 
insights on 3D models. To be discussed!


 We can extend E13 to Proposition Sets, which would be very important 
to describe consistently CRMinf and generalized observations. That would 
then be most effectively implementd via Named Graphs.


Opinions?

Best,

Martin

On 5/11/2023 3:41 PM, Robert Sanderson wrote:


If the intent is that the assertion is in the discourse, and not a 
syntactic workaround for .1 properties that would be unnecessary if we 
had RDF* or property graphs, then I would say E13 is exactly the right 
approach to use. In comparison, I consider the PC classes to be just 
that - a syntactic work around needed in RDF and not part of the 
discourse. In LInked Art, in a discussion around uncertain attribution 
of artists and "style of" vs "school of", we posited the need for a 
property on E13 for this scenario. (Also the need for .1 on P11 for 
the same reason as we have it on P14)


I would say that Dig's annotation is *not* the correct approach for 
several reasons:
* Named Graphs are a very specific technology that have never seen 
significant uptake and are likely (IMO) to decrease in usage once RDF* 
is formalized.
* Dig needs to be updated, and Annotation is (I would hope) likely to 
go away ... because ...
* ... it could just use the Web Annotation Data Model: 
https://www.w3.org/TR/annotation-model/


(And reification has all the problems discussed in this thread already)

Rob


On Thu, May 11, 2023 at 7:17 AM George Bruseker via Crm-sig 
 wrote:


Dear Martin,

I agree that E13 is a poor man's solution to a complicated
problem. But it is for some, the solution available. Other
solutions like Inf for documenting historical argumentation and
using named graphs is great as a possibility. Using prov o to
represent the meta discursive level of the provenance of the
dataset as such great. But my immediate interest was simple
the humble ability of E13 to be able to point to all statements
that can be made with precisely one link in CRM.  I'll keep
watching the space!

Cheers,

G

On Thu, May 11, 2023 at 1:25 PM Martin Doerr 
wrote:

Dear George,

I agree with you below about the historical aspects. The
annotation model has the same historical aspect, but is not
limited to a single link.

Let us discuss!😁

Best,

Martin

On 5/11/2023 12:41 PM, George Bruseker wrote:

Dear Francesco, Martin,

Again for the record since I seem to be being read at cross
purposes, when I mention the word 'provenance' I do not mean
it in the sense of dataset provenance (to which prov o would
apply). I mean that in the world to be described (the real
world of tables charis cats dogs scholars ideas etc.) there
are real world events in which people attribute things to
things (see my previous email). This is content of the world
to be represented in the semantic graph (not a metagraph
about the graph). This is describable and is described in
CIDOC CRM using E13 and its friends. If you want to say that
there was a historical situation that someone in your
department said (likely in the information system) that some
attribute related two things you can do this with E13 (or I
have completely misunderstood the CIDOC CRM). This happens
all th

Re: [Crm-sig] Issue 625: O13 *triggers* scope note [HW reminder]

2023-05-12 Thread Martin Doerr via Crm-sig

On 5/12/2023 7:53 AM, Wolfgang Schmidle wrote:

Dear Martin,

Thank you for your explanations, and sorry that I cannot join the discussion of 
this issue today.
I think my point was that your formalisation is for "directly triggered", whereas the flood example 
suggests that "triggered" can also be used in the sense of "eventually triggered". Like 
the movements of the first and last ball in Newton's cradle, where there is no spatiotemporal overlap between 
the triggering and triggered event (and also no change of the kind of processes, and if there is sustained 
tension in this target system then virtually any system is in sustained tension). But of course Newton's 
cradle is a somewhat theoretical example, and if it is obvious to any expert that the flood example fits the 
scope note then so be it.

Hi Wolfgang,

You are welcome! Of course, the distinction between "triggers" and a 
more general causal chain is a bit tricky. Note however, that the flood 
waters (I assume) have penetrated into the library, as such, from a 
forensic point of view, substance of the triggering event is directly 
involved in the effect. In that sense, it is not as indirect as your 
example above. Landslides, structures breaking and other sudden events, 
on the other side, may in principle start without a trigger, just by 
gradually passing over the threshhold of stability by continued 
environmental impacts.


Nothing is obvious: Each model is an answer to a question, and there are 
no models without questions.


Taking the point of view that CRMsci is still at a level of information 
integration and cross-resource search, I take the implicit questions to 
be to understand risks, quantitatively, and to understand effects of 
such kinds of events. Possibly also, connecting an individual object to 
its presence at a certain time and place in the past, for whatever 
related reasoning. Conservation experts please critisize my view here! 
For this purpose, the level of detail I have defended would be adequate.


If you want to make a model of the process details from the flood water 
entering a building until the effects on the books, one would first 
select the material with the above questions, ask for detailed analyses 
as they may exist, and then enter another research process locally with 
different models and tools, going into physical-chemical-biological 
interactions. At least, this is how I perceive the research worklfow.


Typical triggering is, of course, pressing the button of a camera, etc. 
substantial for interacting with mechanical and electronic devices. A 
delay detonator may put a longer time between the final effect and the 
starting of the device, but the device ticking can be regarded as part 
of the triggered process.


All the best,

Martin


Best,
Wolfgang



Am 30.04.2023 um 17:56 schrieb Martin Doerr via Crm-sig :

Dear Wolfgang,

Your questions well-taken, but please do not seek a logical surrogate of 
reality. It does not exist. The logic can be not more than an overlay, 
approximating and simplifying reality, in more detail:


On 4/21/2023 1:59 PM, Wolfgang Schmidle via Crm-sig wrote:
Here's a diff:

* label:
OLD   O13 triggers (is triggered by)
NEW   O13 triggered (was triggered by)
(in the examples it was already called "triggered" rather than "triggers")

* scope note:
Part 1 is unchanged:
This property associates an instance of E5 Event that triggers another instance 
of E5 Event with the latter. It identifies the interaction between events: an 
event can activate (trigger) other events in a target system that is in a 
situation of sustained tension, such as a trap or an unstable mountain slope 
giving way to a land slide after a rain or earthquake.

Part 2:
OLD   In that sense the triggering event is interpreted as a cause. However, 
the association of the two events is based on their temporal proximity, with 
the triggering event ending when the triggered event starts.

NEW   The distinction of the triggering event from the triggered one lies in 
their difference of nature: The starting of the triggered event is the result 
of an interaction of constituents with the triggering one, but not a 
continuation of the kinds of processes of the latter. Therefore the triggering 
event must spatiotemporally overlap with the initial time and area of the 
triggered event, and the spreading out of the subsequent phenomena must 
initiate from this area and time and not from multiple independent areas.

* FOL:
O13(x,y) ⇒ P182(x,y) removed

(Domain, range, quantification, examples are unchanged)


About the changes:

Scope note part 2: If there needs to be an interaction of constituents and thus 
a spatiotemporal overlap, then I am not sure I understand the 1966 flood 
example. There is an overlap between the flood and a book getting wet and an 
overlap between a book being wet as a result and the growing of the mould, but 
is there a

[Crm-sig] NEW ISSUE: Statements about Statements.

2023-05-14 Thread Martin Doerr via Crm-sig

Dear Dominic, all,

Yes, I will always defend that modeling is technology independent, 
limited however to the degree that science and technology should at 
least provide the prospect of implementation in the near future, and 
some viable approximations immediately. We definitely started the CRM 
before the technology was generally available but expected. The primary 
criterion is that the model reflects our insight about the scientific 
discourse we target at. As such, I see the model-level discussion to be 
between reasoning about "proposition sets" versus a "single binary 
proposition". The technical discussion should be about best and most 
effective approximations, regardless popular or not. The effectiveness 
will depend on use cases and platform requirements.


Please let us know, who is interested in participating in a narrower 
subgroup for creating  a document analyzing the alternatives.


Best,

Martin

On 5/11/2023 8:01 PM, Dominic Oldman wrote:

Hi

Just a quick question on this. We develop the model independently of 
technology. I can see that this discussion is getting technical. I 
currently implement propositions sets using RDF named graphs because 
we can and it works but it is not stipulated. Rob suggests that there 
are tech upgrades that might suit this issue better. However, isn't it 
the case that we need to be able to implement in different ways (I 
don't currently know much about RDF*) depending on the systems we 
have? How is RDF* implemented? - is it backwardly compatible with what 
we are all using? Do we give more modelling credence to things that 
everyone uses? etc., etc. But aren't these questions the reason why we 
are technology independent?  Given this, my question is, - have we got 
to a stage when the modelling now depends on a particular technology?  
Can someone provide some clarification on this? Which solution is tech 
independent? Are they all independent of this tech discussion? One is 
at least.


D

On Thu, 11 May 2023 at 16:18, Martin Doerr via Crm-sig 
 wrote:


Dear Robert,

We have just created the new issue to discuss this in detail. We
should prepare a detailed analysis, citing all pros and cons. May
be we continue this discussion better in a subgroup?

Named Graphs are not a very specific technology, if we take the
fact that all current triple stores are actually implemented as
quad stores, regardless whether they call the construct "Named
Graph" or "context". We have used and implemented this feature,
and it is very performant. It runs on BlazeGraph as well. I think
their is not a simple answer to that. Performance can become a
major issue, when you have really a lot of data.

For the attribution of artists and "style of" vs "school of" etc.
of the collection management system of the British Museum, the
ResearchSpace Project had created a set of subproperties of P14
carried out by, which could be used as input for a roles vocabulary.

I did not propose to use Dig as is, but to consider the construct.
The W3C annotation model is very interesting. We would need a
connection to the Creation Event of making an annotation, and
whose opinion it is, in order to make it CRM compatible. Why not
allowing a Named Graph as target?  We should compare the segment
construct of the W3C annotation model with the METS  types
and extensions we used. The Dig model was used to trace provenance
of annotated area through transformations of digital objects. That
was very important for exchanging research insights on 3D models.
To be discussed!

 We can extend E13 to Proposition Sets, which would be very
important to describe consistently CRMinf and generalized
observations. That would then be most effectively implementd via
Named Graphs.

Opinions?

Best,

Martin

On 5/11/2023 3:41 PM, Robert Sanderson wrote:


If the intent is that the assertion is in the discourse, and not
a syntactic workaround for .1 properties that would be
unnecessary if we had RDF* or property graphs, then I would say
E13 is exactly the right approach to use. In comparison, I
consider the PC classes to be just that - a syntactic work around
needed in RDF and not part of the discourse. In LInked Art, in a
discussion around uncertain attribution of artists and "style of"
vs "school of", we posited the need for a property on E13 for
this scenario. (Also the need for .1 on P11 for the same reason
as we have it on P14)

I would say that Dig's annotation is *not* the correct approach
for several reasons:
* Named Graphs are a very specific technology that have never
seen significant uptake and are likely (IMO) to decrease in usage
once RDF* is formalized.
* Dig needs to be updated, and Annotation is (I would h

Re: [Crm-sig] NEW ISSUE: Statements about Statements.

2023-05-15 Thread Martin Doerr via Crm-sig

You are all welcome!

I'll send you soon an outline of what I have in mind.

All the best,

Martin

n 5/14/2023 10:55 PM, Dominic Oldman wrote:

Hi Martin,

I would like to be involved.

Thanks,

Dominic



On Sun, 14 May 2023 at 19:34, Martin Doerr  wrote:

Dear Dominic, all,

Yes, I will always defend that modeling is technology independent,
limited however to the degree that science and technology should
at least provide the prospect of implementation in the near
future, and some viable approximations immediately. We definitely
started the CRM before the technology was generally available but
expected. The primary criterion is that the model reflects our
insight about the scientific discourse we target at. As such, I
see the model-level discussion to be between reasoning about
"proposition sets" versus a "single binary proposition". The
technical discussion should be about best and most effective
approximations, regardless popular or not. The effectiveness will
depend on use cases and platform requirements.

Please let us know, who is interested in participating in a
narrower subgroup for creating  a document analyzing the alternatives.

Best,

Martin

On 5/11/2023 8:01 PM, Dominic Oldman wrote:

Hi

Just a quick question on this. We develop the model independently
of technology. I can see that this discussion is getting
technical. I currently implement propositions sets using RDF
named graphs because we can and it works but it is
not stipulated. Rob suggests that there are tech upgrades that
might suit this issue better. However, isn't it the case that we
need to be able to implement in different ways (I don't currently
know much about RDF*) depending on the systems we have? How is
RDF* implemented? - is it backwardly compatible with what we are
all using? Do we give more modelling credence to things that
everyone uses? etc., etc. But aren't these questions the reason
why we are technology independent?  Given this, my question is, -
have we got to a stage when the modelling now depends on a
particular technology? Can someone provide some clarification on
this? Which solution is tech independent? Are they all
independent of this tech discussion? One is at least.

    D

    On Thu, 11 May 2023 at 16:18, Martin Doerr via Crm-sig
 wrote:

Dear Robert,

We have just created the new issue to discuss this in detail.
We should prepare a detailed analysis, citing all pros and
cons. May be we continue this discussion better in a subgroup?

Named Graphs are not a very specific technology, if we take
the fact that all current triple stores are actually
implemented as quad stores, regardless whether they call the
construct "Named Graph" or "context". We have used and
implemented this feature, and it is very performant. It runs
on BlazeGraph as well. I think their is not a simple answer
to that. Performance can become a major issue, when you have
really a lot of data.

For the attribution of artists and "style of" vs "school of"
etc. of the collection management system of the British
Museum, the ResearchSpace Project had created a set of
subproperties of P14 carried out by, which could be used as
input for a roles vocabulary.

I did not propose to use Dig as is, but to consider the
construct. The W3C annotation model is very interesting. We
would need a connection to the Creation Event of making an
annotation, and whose opinion it is, in order to make it CRM
compatible. Why not allowing a Named Graph as target?  We
should compare the segment construct of the W3C annotation
model with the METS  types and extensions we used. The
Dig model was used to trace provenance of annotated area
through transformations of digital objects. That was very
important for exchanging research insights on 3D models. To
be discussed!

 We can extend E13 to Proposition Sets, which would be very
important to describe consistently CRMinf and generalized
observations. That would then be most effectively implementd
via Named Graphs.

Opinions?

Best,

Martin

On 5/11/2023 3:41 PM, Robert Sanderson wrote:


If the intent is that the assertion is in the discourse, and
not a syntactic workaround for .1 properties that would be
unnecessary if we had RDF* or property graphs, then I would
say E13 is exactly the right approach to use. In comparison,
I consider the PC classes to be just that - a syntactic work
around needed in RDF and not part of the discourse. In
LInked Art, in a discuss

Re: [Crm-sig] NEW ISSUE: Statements about Statements.

2023-05-18 Thread Martin Doerr via Crm-sig

Dear All,

I have noted all your declarations of interest in this discussion! Next 
week, I'll set up an initial google document open to all members of this 
mailing list. I'll keep the discussions to those interested until we 
have a basic agreement about the document.


See also: 
https://enterprise-knowledge.com/rdf-what-is-it-and-why-do-i-need-it/


best,

Martin

--

 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] CRM applications

2023-05-19 Thread Martin Doerr via Crm-sig

Dear All,

These excellent implementations have not become so widely known:

Eero Hyvönen: *How to Create a National Cross-domain Ontology and Linked 
Data Infrastructure and Use It on the Semantic Web 
<https://seco.cs.aalto.fi/publications/2022/hyvonen-infra-2022.pdf>*. 
2023. Semantic Webjournal,forth-coming, . bib 
<https://seco.cs.aalto.fi/publications/2022/hyvonen-infra-2022.bib>pdf 
<https://seco.cs.aalto.fi/publications/2022/hyvonen-infra-2022.pdf>link 
<http://www.semantic-web-journal.net/content/how-create-and-use-national-cross-domain-ontology-and-data-infrastructure-semantic-web>


Eero Hyvönen: *Digital Humanities on the Semantic Web: Sampo Model and 
Portal Series 
<https://seco.cs.aalto.fi/publications/2021/hyvonen-sampo-model-2021.pdf>*. 
Semantic Webjournal, vol. 14, no. 4, pp. 729-744, IOS Press, 2023. bib 
<https://seco.cs.aalto.fi/publications/2021/hyvonen-sampo-model-2021.bib>pdf 
<https://seco.cs.aalto.fi/publications/2021/hyvonen-sampo-model-2021.pdf>link 
<https://doi.org/10.3233/SW-223034>


Many of the "Sampos" use CIDOC CRM -based data models.

All the best,

Martin

--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] E-VOTE: LRMoo R10 is member of (has member)

2023-08-01 Thread Martin Doerr via Crm-sig

YES!

Martin

On 7/13/2023 1:20 AM, Pat Riva via Crm-sig wrote:

Hello all,

I am calling for an e-vote relating to LRMoo. Please vote on the list 
by *July 26th*.


Background: At the end of SIG meeting #55 in May 2023 in Heraklion, 
the LRMoo WG presented a sketch of a new approach to R10 after the 
proposal made at the meeting 
<https://docs.google.com/document/d/1UlVMIea5BHoFd8SJGaTNUvC64YpyGFmyahRO0VBkT5U/edit> 
was considered insufficient. This was received with interest but there 
was not time to discuss a full proposal.


*This e-vote is to approve the redefinition of R10, and the 
consequences on R67 (which was originally a subproperty of R10).*


Please see the proposed new text in this Google doc (E-vote: R10 
<https://docs.google.com/document/d/1yOHjkIo_FW1_x85zYNJbaOrGT3PRizjxcn4ZGPjLuQI/edit>).


Thanks,
Pat

Pat Riva

Interim University Librarian / Bibliothécaire en chef par intérim

Concordia University / Université Concordia

1455 de Maisonneuve West, LB-331

Montréal, Québec H3G 1M8

Canada

pat.r...@concordia.ca <mailto:pat.r...@concordia.ca>


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
----
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 615 (scope note of E13 Attribute Assignment)

2023-08-23 Thread Martin Doerr via Crm-sig

Dear All,

I propose to *close* issue 615 by e-vote. The new text for E13 Attribute 
assignment has been approved already.  Trailing an issue into another 
entity is not good practice, but to answer the question:


*As a rule*, multiple properties of a superclass should not be 
specialized altogether by analogy. Properties are and must be 
specialized *if and* *only if* they convey a more specific meaning than 
the superproperty of the superclass in the context of the subclass. 
Obviously, there is nothing you can say about an entity that enables it 
to have an Identifier assigned and not only an Appellation. Conversely, 
there should exist at least one entity that, by its nature, cannot be 
assigned an identifier to.


This rule, even though general KR, may be worthwhile to be documented as 
another *ISSUE*. We had more frequently cases in CRM extensions, were 
properties were not specialized but should have been.


Best,

Martin

On 8/18/2023 12:00 AM, Eleni Tsouloucha wrote:


Dear all,


Back in Luxembourg, the SIG pondered on the lack of subproperty for 
P140 assigned attribute tothat is specific to E15 Identifier 
Assignment(unlike the situation with P141 assigned, for which there 
exists a subproperty that is particular to E15, namely P37 assigned) 
and did not conclude as to what had motivated this decision.



At the time we had said that all relevant discussions would continue 
in the thread for issue 615 
<https://cidoc-crm.org/Issue/ID-615-scope-note-of-e13-attribute-assignment>, 
but we have not formally assigned anyone to do the HW. Would you be 
interested? If yes, is it something that you feel can be done in time 
for the next SIG meeting?


Either way, please let me know by 1 September.


All the 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: tsoulo...@isc.forth.gr, eleni.crm@gmail.com
Tel: +30 2810391488



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] HW Issue 630: redraft the scope note of P38 deassigned

2023-09-02 Thread Martin Doerr via Crm-sig


   Dear All,

   Here my proposal:

   OLD:

   P38 deassigned (was deassigned by)

   Domain:

   E15 <#m_2848461322383461192__toc7601> Identifier Assignment

   Range:

   E42 <#m_2848461322383461192__toc8076> Identifier

   Subproperty of:

   E13 <#m_2848461322383461192__toc7561> Attribute Assignment. P141
   <#m_2848461322383461192__toc11036> assigned (was assigned by): E1
   <#m_2848461322383461192__toc7281> CRM Entity

   Quantification:

   many to many (0,n:0,n)

   Scope Note:

   This property records the identifier that was deassigned from an
   instance of E1 CRM Entity.

   De-assignment of an identifier may be necessary when an item is
   taken out of an inventory, a new numbering system is introduced or
   items are merged or split up.

   The same identifier may be deassigned on more than one occasion.

   Examples:

  The identifier assignment on 31st July 2001 of the silver cup
   OXCMS:2001.1.32 (E15) deassigned “232” (E42). (fictitious)

   NEW

   P38 deassigned (was deassigned by)

   Domain:

   E15 <#m_2848461322383461192__toc7601> Identifier Assignment

   Range:

   E42 <#m_2848461322383461192__toc8076> Identifier

   Subproperty of:

   E13 <#m_2848461322383461192__toc7561> Attribute Assignment. P141
   <#m_2848461322383461192__toc11036> assigned (was assigned by): E1
   <#m_2848461322383461192__toc7281> CRM Entity

   Quantification:

   many to many (0,n:0,n)

   Scope Note:

   This property associates an instance of E42 Identifier that was
   deassigned from an instance of E1 CRM Entity by an instance of E15
   Identifier Assignment.

   De-assignment of an identifier means that the actor, typically an
   organisation, carrying out the respective instance of E15 Identifier
   Assignment, has decided no more to use the respective identifier for
   an item which has been in its possession or was referred to in a
   context under the actor’s control. Reasons to do so may be, besides
   others, when an item is taken out of an inventory, items are merged
   or split up in a collection, an object is acquired under reference
   to the identifier of the giving institution or a new numbering
   system is introduced. Depending on such cases, de-assignment may be
   associated with the assignment of a new identifier (P37 assigned
   (was assigned by)) in the same instance of E15 Identifier Assignment.

   The same identifier may be deassigned on more than one occasion.

   Examples:

  The identifier assignment on 31st July 2001 of the silver cup
   OXCMS:2001.1.32 (E15) deassigned “232” (E42). (fictitious)

 

   Improvements?

   Best,

   Martin



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] HW issue 556

2023-09-05 Thread Martin Doerr via Crm-sig

Dear All,

Some years ago we analyzed place types from different gazetteers, with 
the focus on  such phenomena with a relevantspatiotemporal evolution:


I have made the following distinctions by abstracting from the 
Alexandria Gazetteer place types, according to the kind of phenomena 
that are responsible for their definition and identity and for avoiding 
possible polysemy of the same term/name. Similar place types appear in 
the TGN. Place types in Geonames should also be considered. An early 
version of place types from the INSPIRE standard appeared not to be as good.


   A)Distinct spaces defined by geomorphological forms (continents,
   islands, mountain ranges, water bodies, vulcanos)

   B)Distinct habitats defined by life form (kinds of vegetation etc.)

   C)Coherent, evolving human-maintained spaces (settlements, roads,
   areas formed by agriculture or other exploiation)

   D)Spaces defined by inhabitation/stay of a specific cultural group
   of people (town population, tribe, language group)

   E)Areas determined by execution of political power (Nation, country,
   administrative unit, protection zone)

   F)Possibly evolving areas defined by theoretical declaration
   motivated by scientific, social or political interests.

Wheras A), F) may characterize just spacetime volumes, B) through E) may 
characterize E4 Periods in the narrower sense.


It seems that only very few high-level abstractions are necessary to 
make a term like "Greece" or "Rome" unambiguous. Therefore the above may 
lead to a minimal vocabulary recommended by the CRM for E4 Period and 
Spacetime Volume


I attach the Alexandria terms.

Best,

Martin

--
--------
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl


alexandria gazetteer.xlsx
Description: MS-Excel 2007 spreadsheet
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue (if not hidden in 645): Content of Proposition Set

2023-09-10 Thread Martin Doerr via Crm-sig

Dear All,

I suggest to discuss the meaning of I4 Proposition Set, also related to 
issue 550, 510, 610


Two problems:

A) the content model. If we follow the *logic of P190*, an I4 
Proposition Set should be represented by a URI and a content model, 
which could be implemented as Named Graph in a KB.
If we take an I4 as a Propositional Object, we would still need a 
symbolic form, which would need a representative copy (or P190).


B) If we take an I4 as *fitting  potentially the reality* under 
discourse, or only as a "possible world" being discussed, we need to 
clarify this role. Using I2 Belief, we relate the Proposition Set to be 
"true" or "false". We need to clarify, if "true" means "real", if the 
propositions can be related to reality. Similarly, we need to clarify, 
if an I11 Situation, as a special case, is meant to be discussed as 
statements only, or, if "observed", to *exist *in reality. We need to 
interpret the link to an observation is implying its reality or not.
This is particularly interesting if we observe an area and state it does 
NOT contain X.


C) We should clarify how we may refer to Proposition Sets with a human 
readable text, rather than a CRM compatible RDF model.


Best,

Martin

--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 579 (how to model the focus or view of an observation)

2023-09-11 Thread Martin Doerr via Crm-sig

Dear Thanasi, all,

I think modeling a view direction is an  overspecialization. I now 
believe for purposes of information integration, the question is to 
describe an area covered by an observation. specific directions etc. 
should be placed in an extended description. The more general question 
to specify an observed area, as in archaeological surveys, needs to be 
modeled indeed. This is neither an observed situation, nor a measurement 
of dimensions. Also, we need to understand which kinds of observation 
pertain to areas (typically optical, radar).


This should be discussed!

Best,

Martin

On 8/18/2023 12:00 AM, Eleni Tsouloucha wrote:


Dear Martin, all,


According to the decision of the 53rd SIG meeting (May 2022), issue 
579 
<https://cidoc-crm.org/Issue/ID-579-new-issue-how-to-model-the-focus-or-view-of-an-observation>was 
on hold until we had resolved 583 
<https://cidoc-crm.org/Issue/ID-583-how-to-assign-dimensions-to-relative-positions-to-distances-in-space-time-and-other>(theorizing 
about dimensions of spatiotemporal distances btw instances of S15 
Observable Entity).



Now that 583 is done and the new classes & properties have been 
introduced in CRMsci (V2.1), do we go back to this issue?



Are you interested in reviving it in time for the next SIG meeting? If 
you don’t have anything to report by then but are still interested in 
pursuing this line of work it’s still OK, maybe we could freshen 
everyone’s memory and then ask for volunteers to work on it.





--
--------
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue 635 (property quantifier mismatches) and P191

2023-09-13 Thread Martin Doerr via Crm-sig

Dear All,

Regarding as last item of issue 635 the property /P191 had duration://
/
Issue 559 was resolved as:

"In case the instance of S15 Observable Entity is more specifically an 
instance of E18 Physical Thing, using the property O12 has dimension (is 
dimension of) is equivalent to using the property P43 has dimension (is 
dimension of). In other words, using the one implies the other."


Sadly, P43 has quantification"one to many, dependent (0,n:1,1)", but we 
use O12 now for relative dimensions between multiple things  in CRMsci, 
AND we use Dimension in /P191 had duration (was duration of)/ from a 
Timespan, which is not an instance of E70 Thing, with quantification 
"one to one (1,1:1,1) ". Note that P191 is NOT a subproperty of P43, but 
E54 Dimension pertains to both.


It appears to me that P43 should have quantification"many to many 
(0,n:0,n)" ,

and P191 should have quantification"one to one (1,1:0,1)" ,

but this leaves P43 without the important semantics of dependency.

Taking relative dimensions into account, it should be clarified that an 
instance of E54 Dimension is dependent on the combination of references 
to it.

This is a task for an FOL or so, isn't it?

Otherwise, we would need to specialize E54 in CRMbase, not really nice.


Opinions?


Best,

Martin


 Forwarded Message 
Subject:Issue 635 (property quantifier mismatches)
Date:   Fri, 18 Aug 2023 00:00:00 +0300
From:   Eleni Tsouloucha 
To: 	Wolfgang Schmidle , Martin Doerr 


CC: Chryssoula Bekiari 



Dear both,


The correct property quantification for /P191 had duration/ has not been 
determined yet. Have you resolved this? If yes, should we call an evote 
or would you rather we discussed it at the SIG?


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: tsoulo...@isc.forth.gr, eleni.crm@gmail.com
Tel: +30 2810391488

--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue 490: how to model a file [HW reminder]

2023-09-15 Thread Martin Doerr via Crm-sig
safeguarding the maintainers against unexpected change of content under 
this URL. If more than one representative copy is referred to, the 
maintainers should control their mutual consistency at the symbolic 
level of the object intended to be represented.


Examples:

Definition of the CIDOC Conceptual Reference Model Version 7.1.1 (E73) 
/has representative copy/ The content under 
https://cidoc-crm.org/sites/default/files/cidoc_crm_v.7.1.1_0.pdf (E25) 
on the sever of ICS-FORTH in Heraklion, Greece.


[The edition 7.1.1 of the CIDOC CRM is registered under the public URI 
"https://doi.org/10.26225/FDZH-X261";, 
<https://cidoc-crm.org/sites/default/files/cidoc_crm_v.7.1.1_0.pdf>which 
redirects users to the representative copy under 
https://cidoc-crm.org/sites/default/files/cidoc_crm_v.7.1.1_0.pdf. 
<https://cidoc-crm.org/sites/default/files/cidoc_crm_v.7.1.1_0.pdf>ICS-FORTH 
as organisation is responsible for the persistence of this content under 
the respective URL to the DOI Foundation]


-

*Note *that the MS Word copy AND the pdf copy of the CRM is regarded to 
be copies of an *identical symbolic content, *the one we are interested in!

A *vocabulary of symbolic levels *is still to be defined!

IF an instance of *E73 Information Object *is referred to in a KB via *a 
(persistent) URL*, I would regard this as a compression of URI - Pxxx - 
URL. This practice would not allow for the distinction between bitwise 
identity or higher symbolic form.


Partners of this homework please comment if I have missed something!

Best,

Martin





 Forwarded Message 
Subject:    Re: Issue 490: how to model a file [HW reminder]
Date:   Thu, 31 Aug 2023 18:35:38 +0300
From:   Martin Doerr 
To: thana...@softicon.co.uk
CC: 	George Bruseker , Christian Emil Ore 





On 8/30/2023 5:17 PM, Athanasios Velios wrote:

Dear Martin,

Of course, I should have thought that the collective physical features 
in different machines can have one identity. It makes sense.


I think part of the revised scope note might fit better in the RDF 
guidelines document, but I understand how it would work.


Did you mean to copy George and CEO in your last email?

YES!😁


All the best,

Thanasis

On 29/08/2023 16:55, Martin Doerr wrote:

Dear Thanasi,

Yes, we need to adjust the scope note. My opinion about cloud 
services is that:


They use a finite set of dedicated machines at any time with distinct 
ownership. They have one master controller. There are no unregistered 
copies possibly lingering about. All that does not affect the 
materiality of the set of copies. They have an internal integrity 
algorithm. The Human-Made Feature is the total of tracks employed. 
This is fixed at any point in time algorithmically. We do not model 
the internals of the cloud service, nor do we have access to it. For 
us, ontologically, it does not matter how they work internally. They 
are prone to material failure altogether. Reduced likelihoods does 
not make it immaterial.


It reminds me the RAID machine installation at the GNM in Nuremberg. 
They automatically saved on two machines, and gave a reliability of 
20.000 years. After 6 months, an air condition failure caused the 
crash of the whole system.


Would that make sense😁?

*New proposal:*

Pxxx has representative copy

Domain:

E90 Symbolic Object

Range:

E25 Human-Made Feature

Subproperty of:

E90 Symbolic Object. P128i is carried by (carries): E18 Physical Thing

Quantification:

many to many (0,n:0,n)

Scope note:

This property associates an instance of E90 Symbolic Object with a 
complete, identifying representation of its content in the form of a 
sufficiently readable instance of E25 Human-Made Feature, including, 
in particular, representations on electronic media, regardless 
whether they reside internally in clusters of electronic machines, 
such as in so-called cloud services, or on removable media.


This property only applies to instances of E73 Information Object 
that can completely be represented by discrete symbols, in contrast 
to analogue information. The representing object may be more specific 
than the symbolic level defining the identity condition of the 
represented. This depends on the type of the information object 
represented. For instance, if a text has type "Sequence of Modern 
Greek characters and punctuation marks", it may be represented in a 
formatted file with particular fonts on a particular machine, meaning 
however only the sequence of Greek letters. Any additional analogue 
elements contained in the representing object will not regarded to be 
part of the represented.


As another example, if the represented object has type "English words 
sequence", American English or British English spelling variants may 
be chosen to represent the English wor

[Crm-sig] ISSUE 614: previously (Re: New Issue (if not hidden in 645): Content of Proposition Set)

2023-09-17 Thread Martin Doerr via Crm-sig
and then

   A) Spell out the properties
  B) Adjust scope notes of I4, Observation etc.
  c) write the FOL connection between single property assignment and I4.

Best,

Martin

On 9/10/2023 9:52 PM, Martin Doerr wrote:

Dear All,

I suggest to discuss the meaning of I4 Proposition Set, also related 
to issue 550, 510, 610


Two problems:

A) the content model. If we follow the *logic of P190*, an I4 
Proposition Set should be represented by a URI and a content model, 
which could be implemented as Named Graph in a KB.
If we take an I4 as a Propositional Object, we would still need a 
symbolic form, which would need a representative copy (or P190).


B) If we take an I4 as *fitting  potentially the reality* under 
discourse, or only as a "possible world" being discussed, we need to 
clarify this role. Using I2 Belief, we relate the Proposition Set to 
be "true" or "false". We need to clarify, if "true" means "real", if 
the propositions can be related to reality. Similarly, we need to 
clarify, if an I11 Situation, as a special case, is meant to be 
discussed as statements only, or, if "observed", to *exist *in 
reality. We need to interpret the link to an observation is implying 
its reality or not.
This is particularly interesting if we observe an area and state it 
does NOT contain X.


C) We should clarify how we may refer to Proposition Sets with a human 
readable text, rather than a CRM compatible RDF model.


Best,

Martin
--

  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:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Urgent: status of CRMinf, CRMsci, CRMtex, CRMdig, CRMba, CRMsoc

2023-09-24 Thread Martin Doerr via Crm-sig

Dear Christian-Emil,

To my understanding:

CRMarchaeo: major consolidation with version 7.1 finished in version 2.0 
(draft), declaration of new official version pending.
CRMinf: major revision of "belief adoption" finished, interface with 
CRMtex finished (for reading material texts), reformatting to new 
standard templates and declaration of new

   official version pending.
CRMsci: consolidation with version 7.1 finished, stable version 2.0, RDF 
available, working on observation and measurement of /relations between 
multiple objects/ (major competitive standards do not model such 
relations!).
CRMtex: consolidation with version 7.1 finished, stable version 2.0. 
Interfacing with CRMinf for citation and content interpretation.

CRMdig: review started, no news
CRMpem (digital services): review started

CRMinfluence is not yet proposed as a recommended extension. It is used 
in project work, and may become a potential part of CRMsoc or model on 
its own. Too early to report. Similarly, activity model, business 
provisions and obligations.


CRMsoc: no news. consolidation of conflicting proposals pending.

Please correct, enrich!

Best,

Martin

On 9/23/2023 11:23 PM, Christian-Emil Smith Ore via Crm-sig wrote:



Dear all,

I am compiling the crm sig report for 2023 to be presented at the 
CIDOC AGM. In the 2022 report the status of the models where described 
as shown below. I need updated information by Monday evening. For the 
models I don't get any formation about, I will just put under the 
heading  "Nothing new to report in 2023".



Also, the draft model CRMInfluence is brand new and is just a draft. 
THe largest problem is the term breaking the rule about nice and short 
names.



Best,

Christian-Emil

•General maintenance of
–CRMarcheo(stable)
–CRMinf(working on model for citations, interfacing with CRMtex)
–CRMsci(working on aspects of observation)
•Development of draft models
–CRMtex
•is widely consolidated, but still some scope notes, quantifiers etc. 
missing

–CRMdig
•reviewstarted
–CRMba
•interested teams wanted
–CRMsoc

What is the current status?


Best,

Christian-Emil


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
--------
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue: P168i defines place shortcut

2023-09-25 Thread Martin Doerr via Crm-sig

Dear All,

I propose a shortcut in CRMgeo for E53 Place P189i is approximated by: 
E53 Place P168 place is defined by : E94 Space Primitive,

for obvious practical reasons. It can have the same label.

Best,

Martin

--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Διπλωματική

2023-09-25 Thread Martin Doerr via Crm-sig

Here some corrections:

Zorbas:

Musical Theme better E90 Symbolic Object, has type: "Musical Theme".

Using P165 with E89 is an error. Irini, please check all properties you 
use if they are applicable😁!


Two timespans for one event is forbidden: "many to one, necessary 
(1,1:0,n)", see definition! Please learn to understand these definitions😁.


  Please comment in your work: If you see the need to assign two 
time-spans to one event, you have mistaken two distinct events for one!
      This is foundational to the CRM. Create two events, and a 
relation between them.



Delphos Gown:


  The place of the Moma: This is tricky! The P168 defines a point, the 
Moma building defines an area that can be observed. A place cannot be 
both. Please comment in your work: The space primitive defines a place, 
which is a point, which "P189 approximates" the place of the Moma 
Building. This could be simplified! (I just made a submission to crm-sig).


Sword of Goujian:

An event and a larger period cannot have the same time-span! The Event 
"falls within" the Period, is more precise than that the timespan of the 
event falls within that of the period. If you simply want to say the 
Event "falls within" the Period, you only assign a timespan to the 
Period, not the event, because this confuses your "provenance of 
knowledge", is this clear?😉, Otherwise, we discuss it in more detail, 
it is foundational to the CRM.


Cheers,


Martin

On 9/25/2023 11:45 AM, Martin Doerr wrote:

Καλησπέρα σας! Μήπως να κάνουμε άλλη τηλεδιάσκεψη τη Πέμπτη απόγευμα;

Μάρτιν

On 9/19/2023 3:03 PM, Sarantos Kapidakis wrote:
https://drive.google.com/drive/folders/1v7vtvNBIijCN6B1vknfIJqgvXEMFZy3a?usp=sharing 



On Tue, Sep 19, 2023 at 02:45:29PM +0300, Martin Doerr wrote:

Dear All,

Please send me the link to the google page with the thesis text and
examples! I have too many links, costs a lot of time to pick the 
right one

out if it is not in the message😉

Best,

Martin


On 9/19/2023 12:29 PM, ΣΑΡΑΝΤΟΣ ΚΑΠΙΔΑΚΗΣ wrote:

CIDOC examples




 



Microsoft Teams meeting
Join on your computer, mobile app or room device
Click here to join the meeting 
<https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZmY1N2QyN2ItMTU3Ny00MDhmLWEyMjAtMTVmYzBlOWQ5NWEy%40thread.v2/0?context=%7b%22Tid%22%3a%220c8943ee-c370-4bb3-ba51-321f406f32ec%22%2c%22Oid%22%3a%2248cb1937-c2dd-4336-9d51-c789c4698a66%22%7d>


Meeting ID: 338 102 176 07
Passcode: mWagBT
Download Teams
<https://www.microsoft.com/en-us/microsoft-teams/download-app> | 
Join on

the web <https://www.microsoft.com/microsoft-teams/join-a-meeting>
Learn More <https://aka.ms/JoinTeamsMeeting> | Meeting options 
<https://teams.microsoft.com/meetingOptions/?organizerId=48cb1937-c2dd-4336-9d51-c789c4698a66&tenantId=0c8943ee-c370-4bb3-ba51-321f406f32ec&threadId=19_meeting_ZmY1N2QyN2ItMTU3Ny00MDhmLWEyMjAtMTVmYzBlOWQ5NWEy@thread.v2&messageId=0&language=en-US>


 



ΣΑΡΑΝΤΟΣ ΚΑΠΙΔΑΚΗΣ has invited you to Διπλωματική
Title: Διπλωματική
Location: Microsoft Teams Meeting
When: Tuesday, September 19, 2023 7:00 PM – 8:30 PM




Organizer:
ΣΑΡΑΝΤΟΣ ΚΑΠΙΔΑΚΗΣ 
Description: CIDOC examples



 


Microsoft Teams meeting
Join on your computer, mobile app or room device
Click here to join the 
meeting<https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZmY1N2QyN2ItMTU3Ny00MDhmLWEyMjAtMTVmYzBlOWQ5NWEy%40thread.v2/0?context=%7b%22Tid%22%3a%220c8943ee-c370-4bb3-ba51-321f406f32ec%22%2c%22Oid%22%3a%2248cb1937-c2dd-4336-9d51-c789c4698a66%22%7d>

Meeting ID: 338 102 176 07
Passcode: mWagBT
Download
Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> |
Join on the
web<https://www.microsoft.com/microsoft-teams/join-a-meeting>
Learn More<https://aka.ms/JoinTeamsMeeting> | Meeting 
options<https://teams.microsoft.com/meetingOptions/?organizerId=48cb1937-c2dd-4336-9d51-c789c4698a66&tenantId=0c8943ee-c370-4bb3-ba51-321f406f32ec&threadId=19_meeting_ZmY1N2QyN2ItMTU3Ny00MDhmLWEyMjAtMTVmYzBlOWQ5NWEy@thread.v2&messageId=0&language=en-US> 

 






Attendees:

  *
 ΣΠΥΡΙΔΑΚΗ ΕΙΡΗΝΗ 
  *
 ΕΜΜΑΝΟΥΗΛ ΠΕΠΟΝΑΚΗΣ 
  *
 mar...@ics.forth.gr 






--

  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:mar...@ics.forth.gr Web-site:http://www

[Crm-sig] PLease delete last message inGreek!

2023-09-25 Thread Martin Doerr via Crm-sig

On 9/25/2023 12:28 PM, Martin Doerr via Crm-sig wrote:

Here some corrections:



--

 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 490: how to model a file [HW reminder]

2023-09-25 Thread Martin Doerr via Crm-sig

Dear Daria,

Thank you for this message! I think we all agree with your comment, but 
sadly, people seem to forget that more and more, being blinded by the 
flood of digitally available information.


When I wrote:
"Using an archival identifier for a paper copy, a removable digital 
medium or a URL for a file on a machine, in all cases the maintainers of 
the archive must guarantee that the identifier will be uniquely 
connected with the content. Otherwise, using a URL in a KB is simply 
inadequate."


I did not want to open this discussion. For 500 years the disciples of 
Buddha relied on oral tradition by many people as being more reliable 
than the written form.


Here an anlysis we did many years ago, with an analytical model:

Petraki, M. (2005). Evaluating the reliability of system configurations 
for long term digital preservation 
<http://elocus.lib.uoc.gr/dlib/0/f/d/metadata-dlib-2005petraki_mer.tkl>.  
(pdf <https://publications.ics.forth.gr/_publications/Petraki.pdf>).


But true preservation needs continuous control if the words are still 
understood (as in oral tradition), .
This effort can be done only to a limited set of things, so we need a 
selection of what we want to remember. This requires an understanding of 
our cultures, do we have it?


Isn't it?

Best,

Martin

On 9/17/2023 9:42 AM, Гук Дарья Юрьевна wrote:

Dear all,
beeing out of discussion (too many reasons) I can add a metaphorical 
opinion.
Poem about Gilgamesh is known after clay peaces, broken, copied and 
fixed with adds, and are able to read it only with interpreter. The 
same with any file - machine readable data, wich are fixed phisically 
and accessed only by computer interpretator and electricity. Be sure, 
most part of files even printed has no sence for human. Are you 
interected, where are cleaning lady's rag? Never! Although it's 
ethnography. Conclusion: files exist only for robots.
Copies of video and sound as part of heritage are other thing 
presenting only specific part, but be sure, useless century years 
after creation. Maybe we need caracterize them by durance of use?


With kind regards,
Daria Hookk
----
*От:* Crm-sig  от имени Martin Doerr via 
Crm-sig 

*Отправлено:* 16 сентября 2023 г. 0:08:46
*Кому:* crm-sig
*Тема:* [Crm-sig] Issue 490: how to model a file [HW reminder]
Dear All,

Let me summarize the discussion about issue 490 between George, 
Christian-Emil and me, to be discussed in the next meeting:


"How to model a file" may be too vague.

There are three aspects:

A) What constructs are needed in the CRM ontologically to refer to the 
unique content of a file.


B) What constructs are needed to refer unambiguously to a resource 
that changes content. This is modeled in CRMpem as "Volatile Dataset", 
and will not be discussed in this issue.


C) How to connect in a knowledge base to a materialized content 
description.


About A):

We take a file (see also Persistent Dataset in CRMpem) in the sense of 
an immaterial E73 Information Object as a unique sequence of symbols 
that can be machine-encoded, regardless what groups of bits constitute 
one of the symbols of interest in this object.

   in the KB: The intended identity can be represented by a URI.

We take a file in the sense of a material copy on a digital medium as 
a kind of "E24 Human-Made Feature", regardless whether it is on a 
*local* installation, in a "*cloud*" cluster of machines, a *LOCKSS* 
federation of copies, or on a *removable* carrier.


    in the KB: We may refer to the material copy by an *external URL*, 
or create an *E52 String *in a KB or within an RDF file, or use a 
platform-internal  "*BLOB mechanism*" with whatever kind of identifier 
the platform refers to the local copy.


Ontologically, it is irrelevant for the intended immaterial content if 
the copy is printed or scribbled on a paper or on a digital medium (or 
even a Morse sound track), as long as the material form  is 
unambiguous wrt to the intended content. Both, paper and digital media 
can have errors. The CIDOC CRM v7.1 can be printed on paper and in 
principle be reentered manually into a file loss-free.


   in the KB: We may refer to a paper copy or a removable medium by an 
archival identifier.


About C)

Using an archival identifier for a paper copy, a removable digital 
medium or a URL for a file on a machine, in all cases the maintainers 
of the archive must guarantee that the identifier will be uniquely 
connected with the content. Otherwise, using a URL in a KB is simply 
inadequate.
The DOI organisation forsees penalties for users that change the 
content of a URL associated with a DOI. There is no other solution.


DOI *automatically redirects* from the DOI URI to the guaranteed URL.

The property P190 has symbolic is used to connect a machine-encodable 
information object to a KB inte

Re: [Crm-sig] Issue: Completing the list of shortcuts in CRMbase

2023-10-04 Thread Martin Doerr via Crm-sig

Agreed with all!

Martin

On 10/4/2023 12:42 PM, Schmidle, Wolfgang via Crm-sig wrote:

Dear All,

P81 "ongoing throughout" and  P82 "at some time within" are strong shortcuts, 
but not yet marked as such:

E52 Time-Span P81 ongoing throughout E61 Time Primitive
E52 Time-Span P86i contains E52 (Declarative) Time-Span P170i time is defined 
by E61 Time Primitive
P81(x,y) ⇔ (∃z) [E52(z) ∧ P86i(x,z) ∧ P170i(z,y)]

E52 Time-Span P82 at some time within E61 Time Primitive
E52 Time-Span P86 falls within E52 (Declarative) Time-Span P170i time is 
defined by E61 Time Primitive
P82(x,y) ⇔ (∃z) [E52(z) ∧ P86(x,z) ∧ P170i(z,y)]

Christian-Emil suggested opening an issue for completing the list of shortcuts 
in CRMbase, and to create a separate issue for the extensions whenever 
necessary.

Best,
Wolfgang


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
--------
 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue: P168i defines place shortcut

2023-10-04 Thread Martin Doerr via Crm-sig

Dear Wolfgang,

We define shortcuts only for the very frequent cases. I proposed a 
shortcut for approximating a place by a space primitive, because there 
are millions of such data. We do not propose shortcuts when we regard 
the documenation of the intermediate to be important for data 
integration, such as birth events, in contrast to "birth date" etc.


The Space Primitive and all other primitives has an identity as a 
limited set of internationally used symbols by electronic data devices. 
The same geometric area can be described by many different space 
primitives. Therefore, it is cannot be Isa place, isn't it? We need the 
distinctions if notation and conversions become relevant. Different 
electronic devices support different value ranges.  At some place, we 
need to be pragmatic. If we define an interface from an ontology of 
being in the real world, obeying to FOL, to typical database constructs, 
we necessarily encounter some special hybrids. For instance, 1/3 is a 
number, but does not exits in any primitive value😁. "are not considered 
elements of the universe of discourse the CIDOC CRM aims to define and 
analyse" does not mean we do not use them.  Making E94 being a subclass 
of Appellation is a minimal statement about their role.


Best,

Martin


On 10/3/2023 9:41 AM, Schmidle, Wolfgang via Crm-sig wrote:

Okay, last one. I had overlooked P82 "at some time within", and of course there is also P172 
"contains" and P81 "ongoing throughout". The questions about P171 also apply to P172 / 
P81 / P82.

So many possible shortcuts. Was there a reason for not making E94 Space Primitive a subclass of E53 Place? 
i.e. is it more on the side of "Period is a Spacetime Volume" or "Physical Thing defines but 
is not a Spacetime Volume"? The E59 scope note says "The instances of E59 Primitive Value and its 
subclasses are not considered elements of the universe of discourse the CIDOC CRM aims to define and 
analyse", but with E94 being a subclass of Appellation this might no longer be entirely accurate anyway.





--

 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue: P168i defines place shortcut

2023-10-04 Thread Martin Doerr via Crm-sig

Dear Wolfgang,

P189 is a superproperty of Q11, because it allows also phenomenal and 
mixed-type places to be used for approximation.


Indeed, if E53 Place P168 place is defined by : E94 Space Primitive, 
then it must be a Declarative Place. Hence, the shortcut


can be the same of "E53 Place Q11i is approximated by: SP6 Declarative 
Place Q10i is defined by : SP5 Geometric Place Expression (= E94 Space 
Primitive)"


I am not sure about the latest updated version of CRMgeo, because these 
are the constructs we harmonized later in CRMbase.


Best,

Martin

On 9/26/2023 11:25 AM, Schmidle, Wolfgang via Crm-sig wrote:

I assume that P189i is the same as Q11i in CRMgeo. Since the shortcut would be 
in CRMgeo anyway, would it make sense to define shortcuts for STVs and 
Time-Spans in CRMgeo as well? I.e. for

E93 Spacetime Volume Q12i is approximated by SP7 Declarative Spacetime Volume 
P169i spacetime volume is defined by E95 Spacetime Primitive

E52 Time-Span Q13i is approximated by SP10 Declarative Time-Span P170i time is 
defined by E61 Time Primitive

Best,
Wolfgang



Am 25.09.2023 um 11:20 schrieb Martin Doerr via Crm-sig :

Dear All,

I propose a shortcut in CRMgeo for E53 Place P189i is approximated by: E53 
Place P168 place is defined by : E94 Space Primitive,
for obvious practical reasons. It can have the same label.

Best,

Martin
--
----
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: mar...@ics.forth.gr
Web-site: http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue: P168i defines place shortcut

2023-10-04 Thread Martin Doerr via Crm-sig

Dear Wolfgang,

Good question! Actually I am confronted with applications with many many 
points approximating places. Normally, we would say, use P171, P172, but 
DO NOT define an approximation by a POINT nearby, if you can do better. 
For legacy data, this is hard to enforce. I regard P171,P172 a 
fundamental good practice for CRMbase. No reason to repeat in CRMgeo 
anything that is (now!) in CRMbase, isn't it?


Best,

Martin

On 10/1/2023 2:09 PM, Schmidle, Wolfgang via Crm-sig wrote:

Some additional questions:

P189 and P171:
E53 Place P171 at some place within E94 Space Primitive
is a strong shortcut of
E53 Place P89 falls within E53 Place P168 place is defined by E94 Space 
Primitive

Should P171 and the proposed "is approximated by" shortcut be either both in 
CRMbase or both in CRMgeo?

Would P171 be called "falls within" if it were introduced now?




--
--------
 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue: P168i defines place shortcut

2023-10-04 Thread Martin Doerr via Crm-sig

I think we have an interpretation problem here :

"are not considered elements of the universe of discourse the CIDOC CRM 
aims to define and analyse".


This is not a statement what users of the CRM should consider when they 
use the CRM. The CRM does not intend to analyse the Geospatial 
Standards, but interfaces to them, and recommends their use. It does not 
deal with the way computers store real numbers, integers etc, but 
interfaces to them and recommends their use. Exactly as RDF does *not 
analyze xsd values*, but interfaces to them and recommends their use. 
The linking construct in RDF is the *Literal*. Similarly, CRM defines 
some highlevel classes, to be filled with formats others analyze and 
define. Analyzing a superclass does not mean to analyze and define the 
subclasses.


If this sense of the statement is not clear enough, please reformulate 
adequately.


Best,

Martin


On 10/3/2023 9:59 AM, George Bruseker via Crm-sig wrote:
The duality of primitives as being in and out of of the universe of a 
discourse is a problem


On Tue, Oct 3, 2023 at 9:45 AM Schmidle, Wolfgang via Crm-sig 
 wrote:


Okay, last one. I had overlooked P82 "at some time within", and of
course there is also P172 "contains" and P81 "ongoing throughout".
The questions about P171 also apply to P172 / P81 / P82.

So many possible shortcuts. Was there a reason for not making E94
Space Primitive a subclass of E53 Place? i.e. is it more on the
side of "Period is a Spacetime Volume" or "Physical Thing defines
but is not a Spacetime Volume"? The E59 scope note says "The
instances of E59 Primitive Value and its subclasses are not
considered elements of the universe of discourse the CIDOC CRM
aims to define and analyse", but with E94 being a subclass of
Appellation this might no longer be entirely accurate anyway.


> Am 01.10.2023 um 14:09 schrieb Schmidle, Wolfgang via Crm-sig
:
>
> Some additional questions:
>
> P189 and P171:
> E53 Place P171 at some place within E94 Space Primitive
> is a strong shortcut of
> E53 Place P89 falls within E53 Place P168 place is defined by
E94 Space Primitive
>
> Should P171 and the proposed "is approximated by" shortcut be
either both in CRMbase or both in CRMgeo?
>
> Would P171 be called "falls within" if it were introduced now?
>
> Should there be versions of P171 for time and spacetime volumes?
i.e.
> E93 Spacetime Volume P10 falls within SP7 Declarative Spacetime
Volume P169i spacetime volume is defined by E95 Spacetime Primitive
> E52 Time-Span P86 falls within SP10 Declarative Time-Span P170i
time is defined by E61 Time Primitive
>
> P189 and Q11:
> Does P189 indeed represent the same concept as Q11 in CRMgeo
(v1.2)? For example, P189 is marked as reflexive (i.e. any place
approximates itself), which is not possible for Q11 since its
domain and range are not the same (Declarative Place approximates
Place).
>
> P189 and P7:
> E4 Period P7 took place at E53 Place
> is an inverse shortcut of
> E4 Period P161 has spatial projection E53 Place P89 falls within
E53 Place
> P7(x,y) ⇒ (∃z) [E53(z) ∧ P161(x,z) ∧ P89(z,y)]
> (leaving out the "same reference system" requirements)
>
> Could one say that it becomes a strong shortcut if we add the
"will to approximate" to the long version? i.e.
> P7(x,y) ⇔ (∃z) [E53(z) ∧ P161(x,z) ∧ P89(z,y) ∧ P189i(z,y)]
>
> This is not far away from Rob's starting point in issue 439
(Approximate Dimensions). In this issue, Martin argues that P189
shouldn't be used when one can establish "falls within". But it
seems to me that
> P89 + P189i = "is approximated from the outside by"
> would work very well together.
>
> Best,
> Wolfgang
>
>
>> Am 26.09.2023 um 11:25 schrieb Schmidle, Wolfgang via Crm-sig
:
>>
>> I assume that P189i is the same as Q11i in CRMgeo. Since the
shortcut would be in CRMgeo anyway, would it make sense to define
shortcuts for STVs and Time-Spans in CRMgeo as well? I.e. for
>>
>> E93 Spacetime Volume Q12i is approximated by SP7 Declarative
Spacetime Volume P169i spacetime volume is defined by E95
Spacetime Primitive
>>
>> E52 Time-Span Q13i is approximated by SP10 Declarative
Time-Span P170i time is defined by E61 Time Primitive
>>
>> Best,
>> Wolfgang
>>
>>
>>> Am 25.09.2023 um 11:20 schrieb Martin Doerr via Crm-sig
:
>>>
>>> Dear All,
>>>
&

Re: [Crm-sig] Issue: P168i defines place shortcut

2023-10-05 Thread Martin Doerr via Crm-sig

On 10/5/2023 10:35 AM, George Bruseker wrote:

Hi Martin,

On this one continue to disagree. Yes the intention of the statement 
is to say that the instances of this class and their construction are 
meant to be formulated in data standards outside of CRM.
Yes, and we provide interfaces to them. May be this phrase exactly is 
missing in the statement. Similarly, CRMgeo interfaces with the geo 
standards.

The user of CRM absolutely should interpret this and understand it.
Yes, but this does not require the CRM to define it, as RDF does not 
define the xsd values. The user of the CRM should interpret and 
understand a lot more than the CRM.


"And the basics of ontology are that isA states that an instance of a 
subclass is also an instance of its superclass. If the superclass is 
meant to not be interpreted in CRM but be outside its world, then all of 
its subclasses should also not be interpreted within CRM."


I said the opposite. Some primitive values are also *subclasses* of E41 
Appellation. The superclass E41 is interpreted, but the respective 
Primitive Values under it, not further.


would that make sense?

Best,

Martin
Otherwise it would be like saying that some subclasses of temporal 
entity can not be, ontologically, temporal, or some subclasses of 
conceptual object can be, ontologically, other than conceptual. That 
would be a logical contradiction.


Best,

George

On Wed, Oct 4, 2023 at 10:18 PM Martin Doerr via Crm-sig 
 wrote:


I think we have an interpretation problem here :

"are not considered elements of the universe of discourse the
CIDOC CRM aims to define and analyse".

This is not a statement what users of the CRM should consider when
they use the CRM. The CRM does not intend to analyse the
Geospatial Standards, but interfaces to them, and recommends their
use. It does not deal with the way computers store real numbers,
integers etc, but interfaces to them and recommends their use.
Exactly as RDF does *not analyze xsd values*, but interfaces to
them and recommends their use. The linking construct in RDF is the
*Literal*. Similarly, CRM defines some highlevel classes, to be
filled with formats others analyze and define. Analyzing a
superclass does not mean to analyze and define the subclasses.

If this sense of the statement is not clear enough, please
reformulate adequately.

Best,

Martin


On 10/3/2023 9:59 AM, George Bruseker via Crm-sig wrote:

The duality of primitives as being in and out of of the universe
of a discourse is a problem

On Tue, Oct 3, 2023 at 9:45 AM Schmidle, Wolfgang via Crm-sig
 wrote:

Okay, last one. I had overlooked P82 "at some time within",
and of course there is also P172 "contains" and P81 "ongoing
throughout". The questions about P171 also apply to P172 /
P81 / P82.

So many possible shortcuts. Was there a reason for not making
E94 Space Primitive a subclass of E53 Place? i.e. is it more
on the side of "Period is a Spacetime Volume" or "Physical
Thing defines but is not a Spacetime Volume"? The E59 scope
note says "The instances of E59 Primitive Value and its
subclasses are not considered elements of the universe of
discourse the CIDOC CRM aims to define and analyse", but with
E94 being a subclass of Appellation this might no longer be
entirely accurate anyway.


> Am 01.10.2023 um 14:09 schrieb Schmidle, Wolfgang via
Crm-sig :
>
> Some additional questions:
>
> P189 and P171:
> E53 Place P171 at some place within E94 Space Primitive
> is a strong shortcut of
> E53 Place P89 falls within E53 Place P168 place is defined
by E94 Space Primitive
>
> Should P171 and the proposed "is approximated by" shortcut
be either both in CRMbase or both in CRMgeo?
>
> Would P171 be called "falls within" if it were introduced now?
>
> Should there be versions of P171 for time and spacetime
volumes? i.e.
> E93 Spacetime Volume P10 falls within SP7 Declarative
Spacetime Volume P169i spacetime volume is defined by E95
Spacetime Primitive
> E52 Time-Span P86 falls within SP10 Declarative Time-Span
P170i time is defined by E61 Time Primitive
>
> P189 and Q11:
> Does P189 indeed represent the same concept as Q11 in
CRMgeo (v1.2)? For example, P189 is marked as reflexive (i.e.
any place approximates itself), which is not possible for Q11
since its domain and range are not the same (Declarative
Place approximates Place).
>
> P189 and P7:
> E4 Period P7 too

[Crm-sig] Issue 482 Vulnerability Belief

2023-10-09 Thread Martin Doerr via Crm-sig

Dear All,

Referring to:

https://docs.google.com/document/d/1M4nOyiRarQ2Qv4eVdmEqAxCx6WUe5WmtzLLos8r23mY/edit

In principle, PR1, PR2 is incompatible with I2, because it replaces the 
Proposition Set by a reification (one property) construct. However, we 
are discussing in Issue 614 the transition from one property to a 
proposition set:


I proposed for 614:
"Finally, observing or assigning a single property (E13) can be 
described as a shortcut to a content model held to be true"Further, 
instead of PR1, we can define a "Vulnerability Proposition Set", 
prescribing general constraints about its content model, which includes 
the assignment of a  etc. to this thing, following the pattern of


"Jxx9 is about provenance of (has provenance claim): E70 Thing" from 
Belief Adoption.



Constraints for content models of Proposition Sets are necessary in 
general, e.g., for defining an "observable situation", we need a list of 
possible properties.


Best,

Martin

--
--------
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Fwd: Issue 576 (about ... entity of type)

2023-10-12 Thread Martin Doerr via Crm-sig


Dear All,

With respect to issue 576, a specific aboutness, I'd like to keep in mind

(A) to keep the CRMbase small

(B)  fear that the variety in which "aboutness" may occur is even much 
greater than that between an image and what is on it. If we talk about 
texts, we do not encounter the specifics of a photo showing an unknown 
particular, but reference and coreference issues. Image (or voice) 
recognition is cognitively very distinct from text (symbolic form). We 
have, in general, no clear concept in which way the "about an unknown 
instance" may appear in the information object, if not in a Visual Item.


(C) if the distinction is necessary, the referencing symbols can always 
be used to create an instance of "/what was meant/" at this spot of the 
information object, even without further data than the type (or whatever 
else the source stated). If any further reasoning about the dubious 
unknown item is necessary, such an explicit representation is even 
preferable for clarifying the possible identity.


(D) In contrast however, significant amounts of texts refer 
characteristically to series of instances of a particular type, such as 
excavation records and many other archeological publications, geographic 
descriptions, secondary historical literare, etc. These are typically 
*NOT *represented in library catalogues, but very useful. However, I'd 
expect such series to be further characterized by other unity criteria, 
such as area, time people and others. This reminds me of the 
"referential collection" construct, we had discussed in the Europeana 
whitepaper. The need not be in a collection form. E.g. Evliya Celebi, in 
his famous "travel books" systematically refers to types of buildings in 
cities in the Ottoman sphere of influence. For these uses, "about 
instance of type" would again be under-specified.


Therefore, I vote to resolve the issue with a recommendation to make an 
explicit URIs for isolated individuals, and further discuss "sets of 
references with common characteristics".


Opinions?

All the best,

Martin

On 8/18/2023 12:00 AM, Eleni Tsouloucha wrote:


Dear all,


Issue 576 
<https://cidoc-crm.org/Issue/ID-576-about-...-entity-of-type>had been 
postponed by issues 610 
<https://cidoc-crm.org/Issue/ID-610-deprecate-typed-properties-in-cidoc-crm>and 
476 
<https://cidoc-crm.org/Issue/ID-610-deprecate-typed-properties-in-cidoc-crm>, 
which have almost been resolved. Specifically, as far as 610 is 
concerned, the only thing it determined was to not deprecate P125 on 
the grounds that it's used. It spawned a number of issues (none of 
which settles the question that had been raised by George in 576)



As far as 476 is concerned, it has practically been resolved (the 
property was kept in the 7.2.x branch on the grounds that it's been 
used, some minute details to be worked around).



I think it's time to return to this issue, and determine whether the 
Pxxx about ___ of typeproperties suggested by George will be part of 
CRMbase, (N)TPs or will be dealt through more intricate workarounds



Let me know what you think (and whether this could be discussed at the 
next SIG meeting), by 1 September.


All the 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: tsoulo...@isc.forth.gr, eleni.crm@gmail.com
Tel: +30 2810391488



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl



--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue 519, use of "preferred identifier" and "current permanent location"

2023-10-12 Thread Martin Doerr via Crm-sig

Dear All,

Since it is on tomorrow's agenda to deprecate or not "preferred 
identifier" and "current permanent location", I'd suggest an e-vote,
if the meeting tends to deprecation, because basically the question 
remains if these are used or not. The latter is a question to a wider 
audience.


Best,

Martin

--
----
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue, missing part of type

2023-10-16 Thread Martin Doerr via Crm-sig

Dear All,

In the discussion about typed negative properties, I have the impression 
that a property:
"misses part of type" may be utterly useful for finding archaeological 
object in a global search,
such as the head or arms of a statue, characteristic elements of 
buildings etc.
Admittedly, it poses the question where to stop the non-existence, and 
what missing parts would have a chance to be found.
Would a part lost by accident be a part removal? Would that be an 
alternative way of documenting missing parts?


Opinions?

Best,

Martin

--

 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue, missing part of type

2023-10-20 Thread Martin Doerr via Crm-sig

Dear All,

Indeed, I see two characteristic cases:

A) broken surfaces:

This is characteristic for statues, which miss heads or limbs, but also 
for architectural elements. The Roman statues without heads have 
characteristic places where to place the head. There is the reasoning 
that people hardly produced a statue with a broken-off arm in antiquity. 
These parts have not been discrete before being broken of. In other 
cases, there may be traces of mortar or other cement to the connected 
component, or damaged joining features, such as corrupted screw holes etc.


B) If an object is found in a context of /use/, rather than in a 
/factory/, we can assume that it contained all essential components.


I agree with Oeyvind that a part removal is not adequate for a 
deterioration happening when some objects down etc. Therefore I raised 
the issue, because there is no obvious workaround in CRM currently.


The property should be used when there is enough plausibility that the 
object was complete. I do not assume someone went to a battle field with 
a chariot without wheels. Even if, the cases are so marginal they are 
irrelevant for the purpose of the CRM.



See also our paper, in which we analyzed a lot of situations:

DOI:10.1007/3-540-45581-7_31 <https://doi.org/10.1007/3-540-45581-7_31>

Corpus ID: 46464138
A Metamodel for Part - Whole Relationships for Reasoning on Missing 
Parts and Reconstruction
M. Doerr <https://www.semanticscholar.org/author/M.-Doerr/38587181>, D. 
Plexousakis 
<https://www.semanticscholar.org/author/D.-Plexousakis/1705358>, C. 
Bekiari <https://www.semanticscholar.org/author/C.-Bekiari/2861757>
Published in International Conference on Conceptual Modeling 
<https://link.springer.com/conference/er er> ER 2001: Conceptual 
Modeling — ER 2001 
<https://link.springer.com/book/10.1007/3-540-45581-7> pp 412–425


Best,

Martin


On 10/17/2023 10:33 AM, athinak wrote:

Dear Martin,

maybe I misunderstood, but how can we explicitly know thw 
circumstances of leading to this state, described by the property? 
what I mean is, that this property seems to me related to the 
definition of situations and to inference (how can we assert the 
validity of missing parts? and what about the FOL? can it support it?
It seems useful but isn't it a kind of inference? just a question or 
maybe I am missing something


Athina

On 2023-10-16 22:12, Martin Doerr via Crm-sig wrote:

Dear All,

In the discussion about typed negative properties, I have the
impression that a property:
"misses part of type" may be utterly useful for finding archaeological
object in a global search,
such as the head or arms of a statue, characteristic elements of
buildings etc.
Admittedly, it poses the question where to stop the non-existence, and
what missing parts would have a chance to be found.
Would a part lost by accident be a part removal? Would that be an
alternative way of documenting missing parts?

Opinions?

Best,

Martin

--
----
 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: mar...@ics.forth.gr
 Web-site: http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
----
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl



--
----
 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:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue: Replace fictitious example

2023-12-04 Thread Martin Doerr via Crm-sig

Dear All,

Dariah Hook proposes a better example for P11:

Delete:

Maria (E21) /participated in /Photographing of Maria (E7). (fictitious)

use instead:

The Beatles (E74) /participated in /Harry Bensonphotographing the 
Beatles in Paris in 1964 (E7).


Reference:

Mitsui, Evan (16 November 2013). "Harry Benson's photos of the Beatles 
sparked career" 
<http://www.cbc.ca/news/arts/harry-benson-s-photos-of-the-beatles-sparked-career-1.2428648>. 
CBC News. Accessed 4 December 2023.


Best,

Martin

--
--------
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Editorial Issue

2023-12-10 Thread Martin Doerr via Crm-sig

Dear All,

In the version 7.2.2 of the CIDOC CRM definition, we found the following 
editorial errors:


In the Property Hierarchy, the inverse labels of:

P160, P161, P180, P189 are still missing. To be corrected with those in 
the property declarations.


 The label of P133 in the Property Hierarchy and in the declaration of 
E92 is obsolete.

To be corrected with that in the property declaration of P133.


No decision needed.

Best,

Martin

--

 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
   
 Email: mar...@ics.forth.gr

 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue: link related examples

2023-12-13 Thread Martin Doerr via Crm-sig

Dear All,

CRM-SIG put a lot of effort in creating related examples for properties 
of the same class:


For instance,

P145:

The implementation of the treaty regulating the termination of Greenland 
membership in EU between EU, Denmark and Greenland 1st February 1985 
(E86) separated Greenland (E74).


 continues with P146

The implementation of the treaty regulating the termination of Greenland 
membership in EU between EU, Denmark and Greenland 1^st February 1985 
(E86) /separated from/ EU (E74).


Could be a comment. There are many such examples making together one 
"frame".

It is very complicated to find these out by browsing!

I propose "[example connects to P146]" and vice versa "[example connects 
to P145]"


Best,

Martin

--
----
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] New Issue: link related examples

2023-12-13 Thread Martin Doerr via Crm-sig

On 12/13/2023 4:27 PM, Stephen Stead wrote:


I think that this is a very good signpost. The only possible 
improvement I can see would need us to number all the examples so we 
can point to exactly which example is being referred to. Not sure that 
this is worth the effort?


Well, I'd say no, someone who cannot spot the matching example, will 
hardly understand the CRM, isn't it😉?


But some examples, such as the coordinates of Kastoria, have a didactic 
purpose that is rather opaque:


The geometric center "of gravity" of the city is in the lake, rather 
than the built parts. The examples show that centroids cannot be 
compared automatically, because they are different in various resources, 
and there is no concept of the size of the feature to infer that the 
deviation is smaller than the feature size. In contrast, bounding boxes 
could automatically be compared for overlap or inclusion. The current 
city further covers completely previous up to the Roman settlement, and 
was continuously inhabited.


Best,

Marin


Rgds

SdS

Stephen Stead

Mob: +44 (0)7802 755 013

ste...@paveprime.com

*From:*Crm-sig  *On Behalf Of *Martin 
Doerr via Crm-sig

*Sent:* Wednesday, December 13, 2023 1:12 PM
*To:* crm-sig 
*Subject:* [Crm-sig] New Issue: link related examples

Dear All,

CRM-SIG put a lot of effort in creating related examples for 
properties of the same class:


For instance,

P145:

The implementation of the treaty regulating the termination of 
Greenland membership in EU between EU, Denmark and Greenland 1st 
February 1985 (E86) separated Greenland (E74).


 continues with P146

  The implementation of the treaty regulating the termination of 
Greenland membership in EU between EU, Denmark and Greenland 1^st 
February 1985 (E86) /separated from/ EU (E74).


Could be a comment. There are many such examples making together one 
"frame".

It is very complicated to find these out by browsing!

I propose "[example connects to P146]" and vice versa "[example 
connects to P145]"


Best,

Martin

--
----
  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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl



--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Example for propositional objects

2024-01-06 Thread Martin Doerr via Crm-sig

Dear All,

I suggest to create an example using Bekker numbers. They constitute 
excellent examples of identifiers for propositional content.


See https://guides.library.duq.edu/c.php?g=1030408&p=7468217

--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Example for propositional objects

2024-01-10 Thread Martin Doerr via Crm-sig

Dear George,

Yes, I am very much aware of what you are describing and completely 
agree. 🙂I am right now looking for the original text. The text itself 
in Bekker's edition constitutes a Symbolic Object with propositional 
meaning, an Expression in the sense of FRBR.

The search for precision is one aspect of what we do.

The other aspect is accepting a certain fuzziness. The class E89 
Propositional Object was introduced to capture the sense of FRBR Work, 
which, /in one interpretation/, constitutes an abstraction of meaning 
from the symbolic form, in particular from translations.


As "knowledge engineer" I just neutrally observe, that sufficient people 
support the idea of some sort of preservation of meaning across 
translations, and others vehemently oppose. In the christian theological 
background, authorized translations are regarded as "the Word of God", 
i.e., transferring an even identical and in any case comprehensible 
meaning, which, within this tradition, must not be questioned. Medieval 
theological and philosophical tradition was widely using Aristotle in 
Latin translation without questioning the essential transfer of meaning 
by the Latin text.


We need also not forget that early Latin (and Arabic) translators were 
much closer to the common senses of the ancient Greek world. As such, 
our ability today approximating the Greek original meaning from its 
linguistic expression only may not necessarily be superior to consulting 
also relevant translations.


As such, my position about the preservation of meaning across 
translations is an observational one.


I assume you agree, that undeniably scholars around the world cite such 
texts in translated form, and refer via Bekker identifiers in their 
citations, often without referring to the translator at all (regarded as 
"editor" and not "author" as I just read in a scholarly text !), 
expressing that they mean the intended meaning of the corresponding 
original, approximated by the translation provided.


Since the CRM project is not about absolute precision, but about 
"minimal ontological commitment" in the sense of Thomas Gruber, for the 
purpose of /information integration/, rather than resolution, I maintain 
that we need to model two different senses:


A) the actual intended meaning, which is over thousands of years more 
and more approximated by scholarly commentaries, and


B) the minimal common or approximate meaning, as rendered by several 
good translations.


I would model A) as instance of Information Object, as it gives priority 
to the original wording, implicitly Propositional Object as intended by 
the author, as you correctly stress in your message below,


and B) as E89 Propositional Object only, as E89 is about meaning 
possibly abstract from symbolic form.


The latter sense should be expressed in the example. I propose to talk 
about the


approximate meaning of Met.Г 4.3,1005b 19-20,

and add a comment with translations in 3 languages and the original. I 
currently have a German and two English ones (below) at hand:


“the same thing cannot at the same time belong and also not belong to 
the same thing and in the same respect”
"It is impossible for the same attribute at once to belong and not to 
belong [20] to the same thing and in the same relation;

(Met.Г 4.3,1005b19-20)

Thus stated, users can make up their own mind about the common meaning 
in this example, isn't it?🙂


Would that find your agreement?

Best,

Martin

On 1/10/2024 8:30 AM, George Bruseker wrote:

Dear Martin,

As a scholar of ancient philosophy, I do love Bekker numbers, but I am 
curious why they would be an example of propositional object. They are 
a reference to a particular chunk of text in the original Greek as 
setup in the Bekker edition. As such, I think as a scholar using 
ancient texts, I use it to locate the original Information Object upon 
which an interpretation (formulation of the proposition(s) that we 
think thinker X was making) is based. The exact propositional content 
of that information object is usually the subject of debate rather 
than the object of reference. Did Aristotle mean X or Y in passage 99a 
of the Posterior Analytics, is the usual topic of conversation. If we 
knew the exact propositional content, we'd be golden, but usually that 
is the very topic we want to endlessly swirl around and the Bekker 
number is the pointer for people who can read ancient Greek in order 
to be able to find the original passage, read it, translate it and 
cogitate on what was really meant there (the propositions encoded).


But perhaps you have another use in mind?

 Best,

George

On Sat, Jan 6, 2024 at 7:25 PM Martin Doerr via Crm-sig 
 wrote:


Dear All,

I suggest to create an example using Bekker numbers. They
constitute excellent examples of identifiers for propositional
content.

See https://guides.library.duq.edu/c.php?g=1

[Crm-sig] New ISSUE: Quantifiers of P140,P141,P177

2024-01-24 Thread Martin Doerr via Crm-sig

Dear All,

I remember a discussion about the quantifiers of P140, P141, assigns 
attribute...


As it stands now, they are both

"many to many (0,n:0,n)".

P177 assigned property of type, has

"many to many, necessary (1,n:0,n)"

Firstly, all must be necessary. you cannot assign a property type 
without a domain and range.


Secondly, the scope notes of all these properties do use singular, "the":

"This property associates an instance of E13 Attribute Assignment with 
the type of property or relation that this assignment maintains to hold 
between *the item* to which it assigns an attribute and *the attribute* 
itself"


Thirdly, multiple values confuse which is which.

I remember a discussion that, theoretically, if you have:

a) one domain, one type, many ranges

b) many domains, one type, one range

c) one domain, many types, one range,

The propositions are well defined. I assume that this discussion was 
never ended, nor such constraints be formulated in Logic. I doubt it can 
be in FOL, and is, for any user, utterly *confusing*.


The quantifiers must be: "many to one, necessary (1,1:0,n)"

Generalizing single property assigments for *ISSUE 602*, this *must *be 
resolved.



best,


Martin

--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue 656 Homework

2024-02-01 Thread Martin Doerr via Crm-sig

Dear all,

I suggest the following addition to the scope note of P89, in yellow:

P89 falls within (contains)

Domain:

E53 <#_toc8104> Place

Range:

E53 <#_toc8104> Place

Quantification:

many to many, necessary, dependent (1,n:0,n)

Scope note:

This property identifies an instance of E53 Place that falls wholly 
within the extent of another instance of E53 Place.


It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.


However, this property is also part of the fully developed path implied 
by P7 /took place at (witnessed), /from E4 Period through P161 has 
spatial projection, E53 Place, P89 falls within to E53 Place, where both 
places are defined in the same geometric system.


This property is transitive and reflexive.

Examples:

The area covered by the World Heritage Site of Stonehenge (E53) /falls 
within/ the area of Salisbury Plain (E53). (Pryor, 2016)


In first-order logic:

P89(x,y) ⇒E53(x)

P89(x,y) ⇒E53(y)

[P89(x,y) ∧P89(y,z)] ⇒ P89(x,z)

P89(x,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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 656 Homework,

2024-02-02 Thread Martin Doerr via Crm-sig

Dear All,

We just observed that the FOL statements of P89 should also contain the 
formulation that both places need to be at rest to each other (i.e., 
fall into the same geometric system). This needs to be checked for all 
place to place relations.


On 2/1/2024 9:04 PM, Martin Doerr via Crm-sig wrote:

Dear all,

I suggest the following addition to the scope note of P89, in yellow:

P89 falls within (contains)

Domain:

E53 <#_toc8104> Place

Range:

E53 <#_toc8104> Place

Quantification:

many to many, necessary, dependent (1,n:0,n)

Scope note:

This property identifies an instance of E53 Place that falls wholly 
within the extent of another instance of E53 Place.


It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.


However, this property is also part of the fully developed path 
implied by P7 /took place at (witnessed), /from E4 Period through P161 
has spatial projection, E53 Place, P89 falls within to E53 Place, 
where both places are defined in the same geometric system.


This property is transitive and reflexive.

Examples:

The area covered by the World Heritage Site of Stonehenge (E53) /falls 
within/ the area of Salisbury Plain (E53). (Pryor, 2016)


In first-order logic:

P89(x,y) ⇒E53(x)

P89(x,y) ⇒E53(y)

[P89(x,y) ∧P89(y,z)] ⇒ P89(x,z)

P89(x,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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
----
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 656 Homework

2024-02-02 Thread Martin Doerr via Crm-sig

Accepted!

But, it seems it should be:

"This property identifies an instance of E53 Place that falls wholly 
within the extent of another instance of E53 Place, where both places 
are defined in the same geometric system, i.e. they are at rest to each 
other.


It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.


This property is also part of the fully developed path implied by P7 
/took place at (witnessed), /from E4 Period through P161 has spatial 
projection, E53 Place, P89 falls within to E53 Place.


This property is transitive and reflexive.

in FOL:

P89(x,y) ⇒(∃u) [E18(u) ⋀P157(x,u) ⋀P157(y,u)]

Then we can simplify the FOL of P7, and add the above FOL to P121,122,189

Best,

Martin



On 2/2/2024 12:28 PM, Stephen Stead wrote:


The “However, ” implies that this is an exception to the statement “It 
addresses spatial containment only and does not imply any relationship 
between things or phenomena occupying these places.”, which it is not.


I would suggest that this is removed: so the addition reads:-

This property is also part of the fully developed path implied by P7 
/took place at (witnessed), /from E4 Period through P161 has spatial 
projection, E53 Place, P89 falls within to E53 Place, where both 
places are defined in the same geometric system.


Stephen Stead

Mob: +44 (0)7802 755 013

ste...@paveprime.com

*From:*Crm-sig  *On Behalf Of *Martin 
Doerr via Crm-sig

*Sent:* Thursday, February 1, 2024 7:05 PM
*To:* crm-sig 
*Subject:* [Crm-sig] Issue 656 Homework

Dear all,

I suggest the following addition to the scope note of P89, in yellow:


P89 falls within (contains)

Domain:

E53 <#_toc8104> Place

Range:

E53 <#_toc8104> Place

Quantification:

many to many, necessary, dependent (1,n:0,n)

Scope note:

This property identifies an instance of E53 Place that falls wholly 
within the extent of another instance of E53 Place.


It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.


However, this property is also part of the fully developed path 
implied by P7 /took place at (witnessed), /from E4 Period through P161 
has spatial projection, E53 Place, P89 falls within to E53 Place, 
where both places are defined in the same geometric system.


This property is transitive and reflexive.

Examples:

The area covered by the World Heritage Site of Stonehenge (E53) /falls 
within/ the area of Salisbury Plain (E53). (Pryor, 2016)


In first-order logic:

P89(x,y) ⇒E53(x)

P89(x,y) ⇒E53(y)

[P89(x,y) ∧P89(y,z)] ⇒ P89(x,z)

P89(x,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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl



--
----
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 656 Homework

2024-02-02 Thread Martin Doerr via Crm-sig

Dear All,

Alternatively, we can assume that both places are not completely at rest 
to each other, but that the geometric relation holds for all times, for 
example, a boat swimming in a lake will be for all times a place for 
people in it, which falls within the lake boundaries.


In that case, both places must fulfill the same relation in their 
geometric reference systems at any time  these places exist together. 
Existence of a place means that there exists at least one and the same 
physical thing it is always at rest to. At a particular instance in 
time, all extents in different geometric reference systems can be mapped 
(projected) to each other, with the precision the origin of the systems 
is known. This mapping would be the base for comparing two places moving 
relative to each other.


I remember we discussed that, but never spelled out.

Best,

Martin



On 2/2/2024 4:15 PM, Martin Doerr via Crm-sig wrote:

Accepted!

But, it seems it should be:

"This property identifies an instance of E53 Place that falls wholly 
within the extent of another instance of E53 Place, where both places 
are defined in the same geometric system, i.e. they are at rest to 
each other.


It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.


This property is also part of the fully developed path implied by P7 
/took place at (witnessed), /from E4 Period through P161 has spatial 
projection, E53 Place, P89 falls within to E53 Place.


This property is transitive and reflexive.

in FOL:

P89(x,y) ⇒(∃u) [E18(u) ⋀P157(x,u) ⋀P157(y,u)]

Then we can simplify the FOL of P7, and add the above FOL to P121,122,189

Best,

Martin



On 2/2/2024 12:28 PM, Stephen Stead wrote:


The “However, ” implies that this is an exception to the statement 
“It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.”, 
which it is not.


I would suggest that this is removed: so the addition reads:-

This property is also part of the fully developed path implied by P7 
/took place at (witnessed), /from E4 Period through P161 has spatial 
projection, E53 Place, P89 falls within to E53 Place, where both 
places are defined in the same geometric system.


Stephen Stead

Mob: +44 (0)7802 755 013

ste...@paveprime.com

*From:*Crm-sig  *On Behalf Of *Martin 
Doerr via Crm-sig

*Sent:* Thursday, February 1, 2024 7:05 PM
*To:* crm-sig 
*Subject:* [Crm-sig] Issue 656 Homework

Dear all,

I suggest the following addition to the scope note of P89, in yellow:


P89 falls within (contains)

Domain:

E53 <#_toc8104> Place

Range:

E53 <#_toc8104> Place

Quantification:

many to many, necessary, dependent (1,n:0,n)

Scope note:

This property identifies an instance of E53 Place that falls wholly 
within the extent of another instance of E53 Place.


It addresses spatial containment only and does not imply any 
relationship between things or phenomena occupying these places.


However, this property is also part of the fully developed path 
implied by P7 /took place at (witnessed), /from E4 Period through 
P161 has spatial projection, E53 Place, P89 falls within to E53 
Place, where both places are defined in the same geometric system.


This property is transitive and reflexive.

Examples:

The area covered by the World Heritage Site of Stonehenge (E53) 
/falls within/ the area of Salisbury Plain (E53). (Pryor, 2016)


In first-order logic:

P89(x,y) ⇒E53(x)

P89(x,y) ⇒E53(y)

[P89(x,y) ∧P89(y,z)] ⇒ P89(x,z)

P89(x,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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl



--
--------
  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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
----
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www

Re: [Crm-sig] [NEW ISSUE]: missing inverse labels P81, P82, P171, P172

2024-02-08 Thread Martin Doerr via Crm-sig

Dear Eleni,

I'd suggest not to assign inverse labels, nevertheless. These primitive 
values do not constitute particular objects of discourse, albeit that 
there is a naming aspect.


P170, P168, P169 are different, they are epistemic constructs. Anyway, 
to be discussed!


Best,

Martin

On 2/8/2024 10:10 AM, Eleni Tsouloucha via Crm-sig wrote:

Dear all,

Since we made E61 isA E59 AND E41, it means that there can be inverse 
properties for /P81 ongoing throughout/ & /P82 at some time within/. 
Which is implicit in the FOL for /P170 defines time (time is defined 
by) --/see v7.1.2 
<https://cidoc-crm.org/html/cidoc_crm_v7.1.2.html#P170> (Official 
(Base for initial ISO Submission) and v7.2.3// 
<https://cidoc-crm.org/Version/version-7.2.3>(draft, community version).


In first-order logic:
P170(x,y) ⇒ E61(x)
P170(x,y) ⇒ E52(y)
*P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)*
Incidentally, we have documented that *P170(x,y) ⇒ P81(y,x) ˄ P82(y,x) 
*(see issue**508 <https://cidoc-crm.org/Issue/ID-508-fol-for-p170>*, 
*Martin's post on 23 July 2020 specifically), which got translated 
into listing the inverse forms of P81/P82, without bothering to 
revisit the lack of inverse forms for respective properties.


The same situation holds for /P171 at some place within/ and /P172 
contains/ (whose ranges are set to E94 Space Primitive).
Now that E94 isA E59 AND E41, we should define inverse properties for 
them (and these should have labels).


Best,

Eleni

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--
--------
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 656 Homework

2024-02-19 Thread Martin Doerr via Crm-sig

Dear Thanasi, Eleni,

It is not clear to me why this is a concern. Both full paths shortcut 
different properties, P7 and P167. So, both should be mentioned. Raising 
a property to E92 is a different issue, ins't it?


My concerns, to be discussed, are if the falls within requires 
necessarily that both places are at rest.


Best,

Martin

On 2/19/2024 9:56 AM, Eleni Tsouloucha via Crm-sig wrote:

Dear all,

maybe reconsider this piece of HW given the concerns voiced by Thanasis?

best
E

On Sun, Feb 4, 2024 at 5:23 PM Athanasios Velios via Crm-sig 
 wrote:


In version 7.2.3 (if I have the correct file in front of me) we have
already added the following:

"This property is a part of the fully developed path from E93
Presence
through P161 has spatial projection, E53 Place, P89 falls within
(contains) to E53 Place."

This is the path from E93 Presence instead of E4 Period (both being
subclasses of E92 Spacetime Volume).

If it applies to both E4 and E93, should we push it a step up to E92
Spacetime Volume which actually owns P161 has spatial projection
in the
first place?

All the best,

Thanasis

On 02/02/2024 14:15, Martin Doerr via Crm-sig wrote:
> Accepted!
>
> But, it seems it should be:
>
> "This property identifies an instance of E53 Place that falls
wholly
> within the extent of another instance of E53 Place, where both
places
> are defined in the same geometric system, i.e. they are at rest
to each
> other.
>
> It addresses spatial containment only and does not imply any
> relationship between things or phenomena occupying these places.
>
> This property is also part of the fully developed path implied
by P7
> /took place at (witnessed), /from E4 Period through P161 has
spatial
> projection, E53 Place, P89 falls within to E53 Place.
>
> This property is transitive and reflexive.
>
> in FOL:
>
> P89(x,y) ⇒(∃u) [E18(u) ⋀P157(x,u) ⋀P157(y,u)]
>
> Then we can simplify the FOL of P7, and add the above FOL to
P121,122,189
>
> Best,
>
> Martin
>
>
>
> On 2/2/2024 12:28 PM, Stephen Stead wrote:
>>
>> The “However, ” implies that this is an exception to the
statement “It
>> addresses spatial containment only and does not imply any
relationship
>> between things or phenomena occupying these places.”, which it
is not.
>>
>> I would suggest that this is removed: so the addition reads:-
>>
>> This property is also part of the fully developed path implied
by P7
>> /took place at (witnessed), /from E4 Period through P161 has
spatial
>> projection, E53 Place, P89 falls within to E53 Place, where both
>> places are defined in the same geometric system.
>>
>> Stephen Stead
>>
>> Mob: +44 (0)7802 755 013
>>
>> ste...@paveprime.com
>>
>> *From:*Crm-sig  *On Behalf Of
*Martin
>> Doerr via Crm-sig
>> *Sent:* Thursday, February 1, 2024 7:05 PM
>> *To:* crm-sig 
>> *Subject:* [Crm-sig] Issue 656 Homework
>>
>> Dear all,
>>
>> I suggest the following addition to the scope note of P89, in
yellow:
>>
>>
>> P89 falls within (contains)
>>
>> Domain:
>>
>> E53 <#_toc8104> Place
>>
>> Range:
>>
>> E53 <#_toc8104> Place
>>
>> Quantification:
>>
>> many to many, necessary, dependent (1,n:0,n)
>>
>> Scope note:
>>
>> This property identifies an instance of E53 Place that falls
wholly
>> within the extent of another instance of E53 Place.
>>
>> It addresses spatial containment only and does not imply any
>> relationship between things or phenomena occupying these places.
>>
>> However, this property is also part of the fully developed path
>> implied by P7 /took place at (witnessed), /from E4 Period
through P161
>> has spatial projection, E53 Place, P89 falls within to E53 Place,
>> where both places are defined in the same geometric system.
>>
>> This property is transitive and reflexive.
>>
>> Examples:
>>
>> The area covered by the World Heritage Site of Stonehenge (E53)
/falls
>> within/ the area of Salisbury Plain (E53). (Pryor, 2016)
>>
>> In first-order logic:
>>
>> P89(x,y) ⇒E53(x)
>>
>>

Re: [Crm-sig] Issue 657: new example for P32 used general technique

2024-02-19 Thread Martin Doerr via Crm-sig

Very good!

M

On 2/18/2024 1:47 PM, Athanasios Velios via Crm-sig wrote:

Dear all,

In addition to the HW being prepared for 657 to reformulate the scope 
note for P32, I am proposing a new example to replace the fictitious one:


The endbanding of codex S.Ar.20 (E11) used general technique 
blanket-stitch-with-core as primary component (E55). (Boudalis, 2023)


Works cited:

Boudalis, G. (2023) On the edge: Endbands in the Bookibinging 
Traditions of the Eastern Mediterranean, Michigan: The Legacy Press, 
p.181


All the best,

Thanasis
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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
   
 Email: mar...@ics.forth.gr

 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] New Issue, inverse: Harmonizing CRMgeo logically with CRMbase

2024-02-25 Thread Martin Doerr via Crm-sig

Dear All,

From the CRMgeo side, we have two choices:

Either we declare


Q10 defines place

Domain: E94 <#_SP5_Geometric_Place> Space Primitive

Range: SP6 <#_SP6_Declarative_Place> Declarative Place


*to be suproperty of P168i,*


Q14 defines time

Domain: SP14 <#_E61_Time_Primitive_1> Time Expression *Now*: 
E61_Time_Primitive


Range: SP10 <#_SP10_DeclarativeTime-Span> Declarative Time-Span


*to be suproperty of P170,*


Q16 defines spacetime volume

Domain: SP12 <#_SP12_Spacetime_Volume> Spacetime Volume Expression 
*Now*: E95_Spacetime_Primitive


Range: SP7 <#_SP7_Declarative_Spacetime> Declarative Spacetime Volume


*to be suproperty of P169,

OR:

**P168(x,y) ⇒SP6(x) *  (SP6_Declarative _Place)
*P169(x,y) ⇒SP7(y)
P170(x,y) **⇒SP10(y)

*All the best,

martin


On 2/25/2024 8:40 PM, Martin Doerr wrote:

Dear All,

In the course of updating CRMgeo to CRM 7.2.4, there is a logical 
problem to solve with P168, 169, 170, which define Declarative spaces 
and times, but CRMbase does not have these classes.


Nevertheless, these 3 properties *are designed* in CRMbase not to be 
used for phenomenal spaces and times. Therefore I here propose to 
formulate this as FOL rules in CRMbase, so that no formal 
inconsistency will occur when using CRMgeo proper to declare the 3 
properties to be restricted to instances of SP6 Declarative Place, SP7 
Declarative Spacetime Volume, SP10 Declarative Time-Span, or via 
subproperties of P168,P169,P170.


Hence:

*A)
*

P168(x,y) ⇒E53(x)

P168(x,y) ⇒E94(y)

*P168(x,y) ⇒P1i(x,y)
*

*P168(x,y) ⇒ (¬∃z) [E92(z) ⋀ P161(z,x) ⋀ (P169 (u,z) ] *  Excluding 
the place to be a projection of a physical thing


*P168(x,y) ⇒ (¬∃z) [E4(z) ⋀ P161(z,x)] *   Excluding the place to be a 
projection of an instance of E4 Period


*B)*

P169(x,y) ⇒E95(x)

P169(x,y) ⇒E92(y)

P169(x,y) ⇒P1i(x,y)

*P169(x,y) ⇒ **(¬∃z)[E18(z) **⋀ P196(y,z)] *Excluding STV to be 
defined by a physical thing


*P169(x,y) ⇒ **¬ E4(y) * Excluding the STV to be an instance of E4 Period

*C)*

P170(x,y) ⇒E61(x)

P170(x,y) ⇒E52(y)

P170(x, y) ⇒P81i(x, y) ∧P82i(x, y)

*P170(x,y) ⇒ **(¬∃z)[E2(z) **⋀ P4(z,y)] *Excluding an instance of 
Temporal Entity to happen *at* this Time-Span


Best,

Martin
--
--------
  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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl



--
--------
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue, inverse: Harmonizing CRMgeo logically with CRMbase

2024-02-25 Thread Martin Doerr via Crm-sig

Dear All,

From the CRMgeo side, we have two choices:

Either we declare


Q10 defines place

Domain: E94 <#_SP5_Geometric_Place> Space Primitive

Range: SP6 <#_SP6_Declarative_Place> Declarative Place


*to be suproperty of P168i,*


Q14 defines time

Domain: SP14 <#_E61_Time_Primitive_1> Time Expression *Now*: 
E61_Time_Primitive


Range: SP10 <#_SP10_DeclarativeTime-Span> Declarative Time-Span


*to be suproperty of P170,*


Q16 defines spacetime volume

Domain: SP12 <#_SP12_Spacetime_Volume> Spacetime Volume Expression 
*Now*: E95_Spacetime_Primitive


Range: SP7 <#_SP7_Declarative_Spacetime> Declarative Spacetime Volume


*to be suproperty of P169,

OR:

**P168(x,y) ⇒SP6(x) * (SP6_Declarative _Place)
*P169(x,y) ⇒SP7(y)
P170(x,y) **⇒SP10(y)

*All the best,

martin


On 2/25/2024 8:40 PM, Martin Doerr wrote:

Dear All,

In the course of updating CRMgeo to CRM 7.2.4, there is a logical 
problem to solve with P168, 169, 170, which define Declarative spaces 
and times, but CRMbase does not have these classes.


Nevertheless, these 3 properties *are designed* in CRMbase not to be 
used for phenomenal spaces and times. Therefore I here propose to 
formulate this as FOL rules in CRMbase, so that no formal 
inconsistency will occur when using CRMgeo proper to declare the 3 
properties to be restricted to instances of SP6 Declarative Place, SP7 
Declarative Spacetime Volume, SP10 Declarative Time-Span, or via 
subproperties of P168,P169,P170.


Hence:

*A)
*

P168(x,y) ⇒E53(x)

P168(x,y) ⇒E94(y)

*P168(x,y) ⇒P1i(x,y)
*

*P168(x,y) ⇒ (¬∃z) [E92(z) ⋀ P161(z,x) ⋀ (P169 (u,z) ] *  Excluding 
the place to be a projection of a physical thing


*P168(x,y) ⇒ (¬∃z) [E4(z) ⋀ P161(z,x)] *   Excluding the place to be a 
projection of an instance of E4 Period


*B)*

P169(x,y) ⇒E95(x)

P169(x,y) ⇒E92(y)

P169(x,y) ⇒P1i(x,y)

*P169(x,y) ⇒ **(¬∃z)[E18(z) **⋀ P196(y,z)] *Excluding STV to be 
defined by a physical thing


*P169(x,y) ⇒ **¬ E4(y) * Excluding the STV to be an instance of E4 Period

*C)*

P170(x,y) ⇒E61(x)

P170(x,y) ⇒E52(y)

P170(x, y) ⇒P81i(x, y) ∧P82i(x, y)

*P170(x,y) ⇒ **(¬∃z)[E2(z) **⋀ P4(z,y)] *Excluding an instance of 
Temporal Entity to happen *at* this Time-Span


Best,

Martin


--
--------
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue: Harmonizing CRMbase logically with CRMgeo

2024-02-25 Thread Martin Doerr via Crm-sig

Dear All,
In the course of updating CRMgeo to CRM 7.2.4, there is a logical 
problem to solve with P168, 169, 170, which define Declarative spaces 
and times, but CRMbase does not have these classes.


Nevertheless, these 3 properties *are designed* in CRMbase not to be 
used for phenomenal spaces and times. Therefore I here propose to 
formulate this as FOL rules in CRMbase, so that no formal inconsistency 
will occur when using CRMgeo proper to declare the 3 properties to be 
restricted to instances of SP6 Declarative Place, SP7 Declarative 
Spacetime Volume, SP10 Declarative Time-Span, or via subproperties of 
P168,P169,P170.


Hence:

*A)
*

P168(x,y) ⇒E53(x)

P168(x,y) ⇒E94(y)

*P168(x,y) ⇒P1i(x,y)
*

*P168(x,y) ⇒ (¬∃z) [E92(z) ⋀ P161(z,x) ⋀ (P169 (u,z) ] *  Excluding the 
place to be a projection of a physical thing


*P168(x,y) ⇒ (¬∃z) [E4(z) ⋀ P161(z,x)] *   Excluding the place to be a 
projection of an instance of E4 Period


*B)*

P169(x,y) ⇒E95(x)

P169(x,y) ⇒E92(y)

P169(x,y) ⇒P1i(x,y)

*P169(x,y) ⇒ **(¬∃z)[E18(z) **⋀ P196(y,z)] *Excluding STV to be 
defined by a physical thing


*P169(x,y) ⇒ **¬ E4(y) * Excluding the STV to be an instance of E4 Period

*C)*

P170(x,y) ⇒E61(x)

P170(x,y) ⇒E52(y)

P170(x, y) ⇒P81i(x, y) ∧P82i(x, y)

*P170(x,y) ⇒ **(¬∃z)[E2(z) **⋀ P4(z,y)] *Excluding an instance of 
Temporal Entity to happen *at* this Time-Span


Best,

Martin

--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] New ISSUE: Quantifiers of P140,P141,P177

2024-03-19 Thread Martin Doerr via Crm-sig

Dear Christian-Emil,

I agree with all you write. The quantification should be (1,1:0,n) for 
all subproperties you have listed.


Best,

Martin

On 3/19/2024 8:52 AM, Christian-Emil Smith Ore wrote:



Dear Martin,

I have read this issue a little late. I have no problem with your 
argumentation. There may be a side effect.


P35:

Quantification: many to many, necessary (1,n:0,n)

For all x,y we have P37(x,y) ⇒P141(x,y)


Since the quantification of P35 is (1,n:0,n), then it may exist 
 P37(a,b) and P37(a,c) and b is not c. (if not the quantification 
should be (1,1:0,n). From the subproperty definition


P37(a,b) ⇒ P141(a,b) and P37(a,c) ⇒ P141(a,c)

so we can conclude that P141(a,b) and P141(a,c) which  contradicts the 
proposed quantification (1,1:0,n) of P141. In general a subproperty 
cannot have a less restrictive quantification than its superproperty. 
If I am correct we have check the scopenotes of


P34, P35, P37, P38, P40, P42


P140 assigned attribute to (was attributed by)

Domain: E13Attribute Assignment Range:E1CRM Entity

Superproperty of:

E14 Condition Assessment. P34 concerned (was assessed by): E18Physical 
Thing [ (1,n:0,n), not OK]


E16 Measurement. P39 measured (was measured by): E18Physical Thing [OK]

E17 Type Assignment. P41 classified (was classified by): E1 CRM Entity 
 [OK]



P141 assigned (was assigned by)

Domain: E13Attribute Assignment

Range:E1CRM Entity

Superproperty of:

E14 Condition Assessment. P35 has identified (identified by): Ε3 
Condition State  [ (1,n:0,n), not OK]


E15 Identifier Assignment. P37 assigned (was assigned by): E42 
Identifier  [ (0,n:0,n), not OK]


E15 Identifier Assignment. P38 deassigned (was deassigned by): E42 
Identifier  [ (0,n:0,n), not OK]


E16 Measurement. P40 observed dimension (was observed in): 
E54Dimension [ (1,n:0,n), not OK]


E17 Type Assignment. P42 assigned (was assigned by): E55 Type [ 
(1,n:0,n), not OK]



In all the scopepnotes (P34, P35, P37, P38, P40, P42 ) the instance of 
the range is in singular number. So the quantifications can be 
adjusted without problem.





Best,
Christian-Emil

*From:* Crm-sig  on behalf of Martin 
Doerr via Crm-sig 

*Sent:* 24 January 2024 19:09
*To:* crm-sig
*Subject:* [Crm-sig] New ISSUE: Quantifiers of P140,P141,P177
Dear All,

I remember a discussion about the quantifiers of P140, P141, assigns 
attribute...


As it stands now, they are both

"many to many (0,n:0,n)".

P177 assigned property of type, has

"many to many, necessary (1,n:0,n)"

Firstly, all must be necessary. you cannot assign a property type 
without a domain and range.


Secondly, the scope notes of all these properties do use singular, "the":

"This property associates an instance of E13 Attribute Assignment with 
the type of property or relation that this assignment maintains to 
hold between *the item* to which it assigns an attribute and *the 
attribute* itself"


Thirdly, multiple values confuse which is which.

I remember a discussion that, theoretically, if you have:

a) one domain, one type, many ranges

b) many domains, one type, one range

c) one domain, many types, one range,

The propositions are well defined. I assume that this discussion was 
never ended, nor such constraints be formulated in Logic. I doubt it 
can be in FOL, and is, for any user, utterly *confusing*.


The quantifiers must be: "many to one, necessary (1,1:0,n)"

Generalizing single property assigments for *ISSUE 602*, this *must 
*be resolved.



best,


Martin

--
----
  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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl



--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] [NEW ISSUE]: missing inverse labels P81, P82, P171, P172

2024-03-20 Thread Martin Doerr via Crm-sig

Dear All,

I'd like to explain: The missing inverse label is not a statement that 
"the inverse property is not defined". The position of the CRM, based on 
FOL is that "inverse properties" are an artefact of RDF encoding. All 
properties are bidirectional, and per default directed. So, "we should 
define inverse properties" is not the real question. It is only if the 
inverse label is of any use in a semantic graph or query as starting point.


best,

Martin

On 2/8/2024 4:13 PM, Martin Doerr via Crm-sig wrote:

Dear Eleni,

I'd suggest not to assign inverse labels, nevertheless. These 
primitive values do not constitute particular objects of discourse, 
albeit that there is a naming aspect.


P170, P168, P169 are different, they are epistemic constructs. Anyway, 
to be discussed!


Best,

Martin

On 2/8/2024 10:10 AM, Eleni Tsouloucha via Crm-sig wrote:

Dear all,

Since we made E61 isA E59 AND E41, it means that there can be inverse 
properties for /P81 ongoing throughout/ & /P82 at some time within/. 
Which is implicit in the FOL for /P170 defines time (time is defined 
by) --/see v7.1.2 
<https://cidoc-crm.org/html/cidoc_crm_v7.1.2.html#P170> (Official 
(Base for initial ISO Submission) and v7.2.3// 
<https://cidoc-crm.org/Version/version-7.2.3>(draft, community version).


In first-order logic:
P170(x,y) ⇒ E61(x)
P170(x,y) ⇒ E52(y)
*P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)*
Incidentally, we have documented that *P170(x,y) ⇒ P81(y,x) ˄ 
P82(y,x) *(see issue**508 
<https://cidoc-crm.org/Issue/ID-508-fol-for-p170>*, *Martin's post on 
23 July 2020 specifically), which got translated into listing the 
inverse forms of P81/P82, without bothering to revisit the lack of 
inverse forms for respective properties.


The same situation holds for /P171 at some place within/ and /P172 
contains/ (whose ranges are set to E94 Space Primitive).
Now that E94 isA E59 AND E41, we should define inverse properties for 
them (and these should have labels).


Best,

Eleni

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

  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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl


___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue 490 -- E VOTE

2024-05-13 Thread Martin Doerr via Crm-sig

YES!

On 5/10/2024 1:51 PM, Eleni Tsouloucha wrote:

Dear all,
During our last meeting, we didn't get to review Martin's HW 
<https://cidoc-crm.org/sites/default/files/58%20SIG%20-%20Issue%20490.%20how%20to%20model%20a%20file.docx>for 
issue *490 <https://cidoc-crm.org/Issue/ID-490-how-to-model-a-file>*. 
It was decided that Martin's proposal to introduce property /Pxxx has 
complete copy (is complete copy of)/ would be put to an e-vote instead.


Please indicate your agreement or provide feedback by May 20.

All the 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: tsoulo...@isc.forth.gr, eleni.crm@gmail.com
Tel: +30 2810391488



--
--------
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] FORTH and the CIDOC CRM, update

2024-06-11 Thread Martin Doerr via Crm-sig

Dear All,

Since the conception of the CIDOC CRM, FORTH as an institution is 
supporting the maintenance of the CIDOC CRM actively by providing 
labour, IT infrastructure and travel budgets, as a considerable 
voluntary offer to ICOM-CIDOC. Technically responsible for supporting 
the CIDOC CRM within FORTH is the staff of the Center for Cultural 
Informatics, an activity of FORTH's Institute of Computer Science.


The Foundation for Research and Technology - Hellas (FORTH) is a public, 
non-profit research institution of private law of Greece, and one of its 
largest research institutions. FORTH reports to the General Secretariat 
for Research and Innovation of the Ministry of Development.


The main income of FORTH constitute competitive international, national 
and private research grants. The support for the maintenance of the 
CIDOC CRM by FORTH has typically been financed by research grants 
managed by the Center for Cultural Informatics that support and allow 
for justifying such expenses. In 2023, the Board of Directors of FORTH 
decided to support the maintenance of the CIDOC CRM in addition as 
general FORTH internal project for at least another two years to 
safeguard the activity against possible financial shortcomings with the 
current practice.


As chair of CRM-SIG, I therefore suggested in 2023 the SIG to consider 
models by which other organizations and enterprises, which benefit 
economically from the CRM, may also contribute with some resources to 
the maintenance of the CIDOC CRM, in their own interest in the longevity 
of the standard and as a sort of moral obligation, receiving however no 
practical proposals so far. This should not have been interpreted as an 
intention by FORTH to discontinue its support.


I am glad to announce that the Board of Directors of FORTH has recently 
confirmed its generous continued interest and ability of FORTH in the 
maintenance of the CIDOC Conceptual Reference model in long terms. 
Financially, this is currently secured for at least another five years. 
In addition, there is permanent staff of the Center for Cultural 
Informatics that engages in the maintenance of the CIDOC CRM explicitly 
as part of their job description.


Looking forward to many more years of fruitful and pleasant 
collaboration between FORTH and CIDOC,


Martin Doerr

chair, CRM-SIG

--

 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
   
 Email: mar...@ics.forth.gr

 Web-site: http://www.ics.forth.gr/isl

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Issue: Related examples

2024-07-11 Thread Martin Doerr via Crm-sig

Dear All,

There has been invested a great lot of work in related examples, but 
they are not linked, such as:


the examination of MS Sinai Greek 418 by Nicholas Pickwoad in November 
2003 (Honey & Pickwoad, 2010)


The examination of MS Sinai Greek 418 (E13) assigned attribute to MS 
Sinai Greek 418 (E22). (Honey and Pickwoad, 2010)


The examination of MS Sinai Greek 418 (E13) /assigned/ unsupported 
(E55.) (Honey & Pickwoad, 2010)


The examination of MS Sinai Greek 418 (E13) /assigned property of type/ 
binding structure type (E55). [‘binding structure type’ refers to a 
property, external to the CIDOC CRM, which connects a book (E22) to the 
type of its binding structure (E55)] (Honey & Pickwoad, 2010)


I propose to discuss and decide quickly an effective method for 
connecting these examples. Graphics would also be nice, but a "see also" 
would already be of huge help.


Best,

Martin

--
----
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl



--
Αυτό το email έχει ελεγχθεί για ιούς από το Avast antivirus.
www.avast.com___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] Conflicting use of P177

2024-07-11 Thread Martin Doerr via Crm-sig

Dear All,

As to be expected, examination of related examples reveals problems:

"P177 assigned property of type" has not been harmonized with the 
subclasses of E13 Attribute assignment. For E15 Identifier Assignment, 
E17 Type Assignment, E16 Measurement, this is straightforward, but needs 
a formulation in FOL and scope notes. For E14 Condition Assessment, this 
still needs to be defined.


The collected examples reveal inconsistent use:

the condition assessment of the endband cores of MS Sinai Greek 418 by 
Nicholas Pickwoad in November 2003 (Honey & Pickwoad, 2010)


The condition assessment of the endband cores of MS Sinai Greek 418 
(E14) /assigned property of type/ damage (E55.) [‘damage’ refers to a 
property, external to the CIDOC CRM, which connects an instance of a 
physical thing like an endband core (E22) to the type of damage (E55) it 
shows] (Honey & Pickwoad, 2010)


The condition assessment of the endband cores of MS Sinai Greek 418 
(E14) /concerned/ the endband cores of MS Sinai Greek 418 (E22). (Honey 
and Pickwoad, 2010)


The condition assessment of the endband cores of MS Sinai Greek 418 
(E14) /has identified/ the condition state in November 2003 (E3). [which 
/has type/ broken (E55)] (Honey and Pickwoad, 2010)


the condition assessment of the cover of MS Sinai Greek 418 by Nicholas 
Pickwoad in November 2003 (Honey & Pickwoad, 2010)


The condition assessment of the cover of MS Sinai Greek 418 (E14) 
/assigned property of type/ quality (E55). [‘quality’ refers to a 
property, external to the CIDOC CRM, which connects an instance of a 
physical thing like a book cover (E22) to its quality (E55)] (Honey and 
Pickwoad, 2010)


The condition assessment of the cover of MS Sinai Greek 418 (E14) 
/concerned/ the cover of MS Sinai Greek 418 (E22). (Honey and Pickwoad, 
2010)


The condition assessment of the cover of MS Sinai Greek 418 (E14) /has 
identified/ the condition state in November 2003 (E3). [which /has type/ 
fine (E55)] (Honey and Pickwoad, 2010)


Further, these constitute better examples of Condition State than the 
fictitious ones currently used.


Best,

Martin

--
----
 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl



--
Αυτό το email έχει ελεγχθεί για ιούς από το Avast antivirus.
www.avast.com___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue: Related examples

2024-07-11 Thread Martin Doerr via Crm-sig

On 11/7/2024 1:41 μ.μ., George Bruseker wrote:

Dear Martin,

If we went in the direction of graphic example, perhaps there could be 
a referenced draw.io <http://draw.io> graph which could be hosted on 
the site. The danger of course is link staleness etc. However, 
ignoring that problem, probably more like an illustration page like 
the current 'functional overview' graphs. but for particular use case 
examples. So again IF we did such a thing then maybe we would want to 
pick out a format of the things that should go into such an example 
page ( a la functional overview diagrams).

Yes, sure, and links should be automatically maintained in some way.

best,

Martin


All best,

George

On Thu, Jul 11, 2024 at 12:32 PM Martin Doerr via Crm-sig 
 wrote:


Dear All,

There has been invested a great lot of work in related examples,
but they are not linked, such as:

the examination of MS Sinai Greek 418 by Nicholas Pickwoad in
November 2003 (Honey & Pickwoad, 2010)

The examination of MS Sinai Greek 418 (E13) assigned attribute to
MS Sinai Greek 418 (E22). (Honey and Pickwoad, 2010)

The examination of MS Sinai Greek 418 (E13) /assigned/ unsupported
(E55.) (Honey & Pickwoad, 2010)

The examination of MS Sinai Greek 418 (E13) /assigned property of
type/ binding structure type (E55). [‘binding structure type’
refers to a property, external to the CIDOC CRM, which connects a
book (E22) to the type of its binding structure (E55)] (Honey &
Pickwoad, 2010)

I propose to discuss and decide quickly an effective method for
connecting these examples. Graphics would also be nice, but a "see
also" would already be of huge help.

Best,

Martin

-- 
--------

  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

  Email:mar...@ics.forth.gr   
  Web-site:http://www.ics.forth.gr/isl




<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient>
Χωρίς ιούς.www.avast.com

<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient>


<#m_-3873909119046156169_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig




--

 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
   
 Email:mar...@ics.forth.gr   
 Web-site:http://www.ics.forth.gr/isl



--
Αυτό το email έχει ελεγχθεί για ιούς από το Avast antivirus.
www.avast.com___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Issue: Related examples

2024-07-15 Thread Martin Doerr via Crm-sig

Hi Thanasi,

Yes, n-n links are very expensive. I wonder, if an ID per pattern would 
be more effective, and could be maintained automatically.


Best,

Martin

On 15/7/2024 12:41 π.μ., Athanasios Velios via Crm-sig wrote:

Dear Martin, all,

I think there may be a way to cross-link in the document to specific 
items of bulleted lists, i.e. if we decide to use "see also". It will 
be quite a bit of work and likely prone to errors. I think we need to 
brainstorm about this.


All the best,

Thanasis

On 11/07/2024 10:17, Martin Doerr via Crm-sig wrote:

Dear All,

There has been invested a great lot of work in related examples, but 
they are not linked, such as:


the examination of MS Sinai Greek 418 by Nicholas Pickwoad in 
November 2003 (Honey & Pickwoad, 2010)


The examination of MS Sinai Greek 418 (E13) assigned attribute to MS 
Sinai Greek 418 (E22). (Honey and Pickwoad, 2010)


The examination of MS Sinai Greek 418 (E13) /assigned/ unsupported 
(E55.) (Honey & Pickwoad, 2010)


The examination of MS Sinai Greek 418 (E13) /assigned property of 
type/ binding structure type (E55). [‘binding structure type’ refers 
to a property, external to the CIDOC CRM, which connects a book (E22) 
to the type of its binding structure (E55)] (Honey & Pickwoad, 2010)


I propose to discuss and decide quickly an effective method for 
connecting these examples. Graphics would also be nice, but a "see 
also" would already be of huge help.


Best,

Martin

--
--------
  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
      Email:mar...@ics.forth.gr Web-site:http://www.ics.forth.gr/isl


<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient> 
Χωρίς ιούς.www.avast.com 
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient>


<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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
   
 Email: mar...@ics.forth.gr

 Web-site: http://www.ics.forth.gr/isl


--
Αυτό το email έχει ελεγχθεί για ιούς από το Avast antivirus.
www.avast.com
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Conflicting use of P177

2024-07-25 Thread Martin Doerr via Crm-sig

Dear Thanasi,

Nothing wrong with your work! The point is, that the use of P177 is 
ambiguous for E14 , which points to a condition state. The SIG needs to 
define for E14 how P177 relates to the type of Condition State and/or if 
we regard P177 as the type of a shortcut of Condition State, as a kind 
of "Property Class". I remember that we intended to discuss this, but 
did not assign HW.


Could you make a graphic representation of the examples below, together 
with the relevant super classes and super properties?


Cheers,

Martin

On 23/7/2024 1:41 π.μ., Athanasios Velios via Crm-sig wrote:
Sorry for responding to this late - these are examples I produced from 
the St. Catherine's condition survey and, as always, happy to improve 
them if needed. I can see that work is needed in FOL, but, Martin, can 
you explain a bit more what you mean by inconsistencies in the 
examples? And what needs to be defined for E14 Condition Assessment? 
You mean, the type of property assigned?


Thank you.

Thanasis

On 11/07/2024 10:47, Martin Doerr via Crm-sig wrote:

Dear All,

As to be expected, examination of related examples reveals problems:

"P177 assigned property of type" has not been harmonized with the 
subclasses of E13 Attribute assignment. For E15 Identifier 
Assignment, E17 Type Assignment, E16 Measurement, this is 
straightforward, but needs a formulation in FOL and scope notes. For 
E14 Condition Assessment, this still needs to be defined.


The collected examples reveal inconsistent use:

the condition assessment of the endband cores of MS Sinai Greek 418 
by Nicholas Pickwoad in November 2003 (Honey & Pickwoad, 2010)


The condition assessment of the endband cores of MS Sinai Greek 418 
(E14) /assigned property of type/ damage (E55.) [‘damage’ refers to a 
property, external to the CIDOC CRM, which connects an instance of a 
physical thing like an endband core (E22) to the type of damage (E55) 
it shows] (Honey & Pickwoad, 2010)


The condition assessment of the endband cores of MS Sinai Greek 418 
(E14) /concerned/ the endband cores of MS Sinai Greek 418 (E22). 
(Honey and Pickwoad, 2010)


The condition assessment of the endband cores of MS Sinai Greek 418 
(E14) /has identified/ the condition state in November 2003 (E3). 
[which /has type/ broken (E55)] (Honey and Pickwoad, 2010)


the condition assessment of the cover of MS Sinai Greek 418 by 
Nicholas Pickwoad in November 2003 (Honey & Pickwoad, 2010)


The condition assessment of the cover of MS Sinai Greek 418 (E14) 
/assigned property of type/ quality (E55). [‘quality’ refers to a 
property, external to the CIDOC CRM, which connects an instance of a 
physical thing like a book cover (E22) to its quality (E55)] (Honey 
and Pickwoad, 2010)


The condition assessment of the cover of MS Sinai Greek 418 (E14) 
/concerned/ the cover of MS Sinai Greek 418 (E22). (Honey and 
Pickwoad, 2010)


The condition assessment of the cover of MS Sinai Greek 418 (E14) 
/has identified/ the condition state in November 2003 (E3). [which 
/has type/ fine (E55)] (Honey and Pickwoad, 2010)


Further, these constitute better examples of Condition State than the 
fictitious ones currently used.


Best,

Martin

--
--------
  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
      Email:mar...@ics.forth.gr Web-site:http://www.ics.forth.gr/isl


<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient> 
Χωρίς ιούς.www.avast.com 
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient>


<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig

___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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
   
 Email: mar...@ics.forth.gr

 Web-site: http://www.ics.forth.gr/isl


--
Αυτό το email έχει ελεγχθεί για ιούς από το Avast antivirus.
www.avast.com
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


[Crm-sig] New Issue, scope notes P40 P43

2024-08-14 Thread Martin Doerr via Crm-sig

Dear All,

The semantics of E16 had been modified in 7.1, but the cope notes of the 
properties P40 and P43 have not been adjusted. See the attached.


Best,

Martin

--

 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
   
 Email:mar...@ics.forth.gr  
 Web-site:http://www.ics.forth.gr/isl


AdjustingP40P43.docx
Description: MS-Word 2007 document
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig


Re: [Crm-sig] Conflicting use of P177

2024-08-18 Thread Martin Doerr via Crm-sig

Dear Thanasi,

I rather suggest to connect P177 with a "Condition Type". See attached🙂.

In this view, "Condition State" is treated similar to the property 
expansions, as the PC classes in CRM RDFS.


"has damage", "has quality" were adhoc types. We can regard them as 
narrower terms of "Condition Type". AAT terms to be checked!!


Opinions?

Best,

Martin

On 8/18/2024 11:59 AM, Athanasios Velios via Crm-sig wrote:

Dear Martin,

With (the usual) apologies for the delay. I am attaching the drawing 
with the two examples and the super-properties. I have also marked 
with red arrows how P177 is meant to relate to the range of P34 and 
P35 based on the scope note of P177.


"The direction of the assigned property of type is understood to be 
from the attributed item (the range of property P140 assigned 
attribute to(was attributed by)) to the attribute item (the range of 
the property P141 assigned (was assigned by))"


If I understand your comment about ambiguity of P177, one could deduct 
the following statements for the two examples:


enband core (E22) → has damage → condition state of endband cores (E3)
cover (E22) → has quality → condition state of cover (E3)

or even:

enband core (E22) → has damage → [...] broken (E55)
cover (E22) → has quality → [...] fine (E55)

In that sense: a) there is an equivalence between the two structures 
and b) the range of P177 always defines a property holding between the 
range of P34 and P35.


I suppose what might also be worth discussing is the time validity of 
the condition state in relation to the time of the condition assessment.


Regarding the examples for E3 Condition State, how about the following:

the state of the cover of MS Sinai Greek 418 in November 2003 
[described as: of type "fine" after assessing it for the property 
"quality"] (Honey and Pickwoad, 2010)


the state of the endband cores of MS Sinai Greek 418 in November 2003 
[described as: of type "broken" after assessing it for the property 
"damage"] (Honey and Pickwoad, 2010)


All the best,

Thanasis


On 25/07/2024 15:41, Martin Doerr via Crm-sig wrote:

Dear Thanasi,

Nothing wrong with your work! The point is, that the use of P177 is 
ambiguous for E14 , which points to a condition state. The SIG needs 
to define for E14 how P177 relates to the type of Condition State 
and/or if we regard P177 as the type of a shortcut of Condition 
State, as a kind of "Property Class". I remember that we intended to 
discuss this, but did not assign HW.


Could you make a graphic representation of the examples below, 
together with the relevant super classes and super properties?


Cheers,

Martin


--

 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
   
 Email:mar...@ics.forth.gr  
 Web-site:http://www.ics.forth.gr/isl

  

  



  

http://www.cidoc-crm.org/cidoc-crm/E14_Condition_Assessment"; 
linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/E14_Condition_Assessment"; 
en="Condition Assessment" de="Zustandsfeststellung" el="Εκτίμηση Κατάστασης" 
fr="Évaluation d’état matériel" pt="Avaliação do Estado Material" ru="Оценка 
Состояния" zh="状态评估" id="MBDcpSNK8H0tc5OoJNux-1">
  

  


  


  

http://www.cidoc-crm.org/cidoc-crm/E55_Type"; linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/E55_Type"; en="Type" de="Typus" 
el="Τύπος" fr="Type" pt="Tipo" ru="Тип" zh="类型" id="MBDcpSNK8H0tc5OoJNux-6">
  

  


  


  

http://www.cidoc-crm.org/cidoc-crm/E22_Human-Made_Object"; 
linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/E22_Human-Made_Object"; en="Human-Made 
Object" fr="Objet élaboré par l’humain" id="MBDcpSNK8H0tc5OoJNux-8">
  

  


  

http://www.cidoc-crm.org/cidoc-crm/P34_concerned"; linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/P34_concerned"; en="concerned (was 
assessed by)" de="betraf (wurde beurteilt durch)" el="αφορούσε σε (εκτιμήθηκε 
από)" fr="a porté sur (a été évalué par)" pt="interessada (foi avaliada por

Re: [Crm-sig] Conflicting use of P177

2024-08-18 Thread Martin Doerr via Crm-sig

Dear Thanasi,

Conservatively, P177 points to P44 has condition (is condition of), see 
attached, which is necessary for each instance of E3. Both models may be 
used, I think.


Best,

Martin

On 8/18/2024 2:32 PM, Martin Doerr via Crm-sig wrote:

Dear Thanasi,

I rather suggest to connect P177 with a "Condition Type". See attached🙂.

In this view, "Condition State" is treated similar to the property 
expansions, as the PC classes in CRM RDFS.


"has damage", "has quality" were adhoc types. We can regard them as 
narrower terms of "Condition Type". AAT terms to be checked!!


Opinions?

Best,

Martin

On 8/18/2024 11:59 AM, Athanasios Velios via Crm-sig wrote:

Dear Martin,

With (the usual) apologies for the delay. I am attaching the drawing 
with the two examples and the super-properties. I have also marked 
with red arrows how P177 is meant to relate to the range of P34 and 
P35 based on the scope note of P177.


"The direction of the assigned property of type is understood to be 
from the attributed item (the range of property P140 assigned 
attribute to(was attributed by)) to the attribute item (the range of 
the property P141 assigned (was assigned by))"


If I understand your comment about ambiguity of P177, one could 
deduct the following statements for the two examples:


enband core (E22) → has damage → condition state of endband cores (E3)
cover (E22) → has quality → condition state of cover (E3)

or even:

enband core (E22) → has damage → [...] broken (E55)
cover (E22) → has quality → [...] fine (E55)

In that sense: a) there is an equivalence between the two structures 
and b) the range of P177 always defines a property holding between 
the range of P34 and P35.


I suppose what might also be worth discussing is the time validity of 
the condition state in relation to the time of the condition assessment.


Regarding the examples for E3 Condition State, how about the following:

the state of the cover of MS Sinai Greek 418 in November 2003 
[described as: of type "fine" after assessing it for the property 
"quality"] (Honey and Pickwoad, 2010)


the state of the endband cores of MS Sinai Greek 418 in November 2003 
[described as: of type "broken" after assessing it for the property 
"damage"] (Honey and Pickwoad, 2010)


All the best,

Thanasis


On 25/07/2024 15:41, Martin Doerr via Crm-sig wrote:

Dear Thanasi,

Nothing wrong with your work! The point is, that the use of P177 is 
ambiguous for E14 , which points to a condition state. The SIG needs 
to define for E14 how P177 relates to the type of Condition State 
and/or if we regard P177 as the type of a shortcut of Condition 
State, as a kind of "Property Class". I remember that we intended to 
discuss this, but did not assign HW.


Could you make a graphic representation of the examples below, 
together with the relevant super classes and super properties?


Cheers,

Martin



___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig



--

 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
   
 Email: mar...@ics.forth.gr

 Web-site: http://www.ics.forth.gr/isl

  

  



  

http://www.cidoc-crm.org/cidoc-crm/E14_Condition_Assessment"; 
linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/E14_Condition_Assessment"; 
en="Condition Assessment" de="Zustandsfeststellung" el="Εκτίμηση Κατάστασης" 
fr="Évaluation d’état matériel" pt="Avaliação do Estado Material" ru="Оценка 
Состояния" zh="状态评估" id="MBDcpSNK8H0tc5OoJNux-1">
  

  


  


  

http://www.cidoc-crm.org/cidoc-crm/E55_Type"; linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/E55_Type"; en="Type" de="Typus" 
el="Τύπος" fr="Type" pt="Tipo" ru="Тип" zh="类型" id="MBDcpSNK8H0tc5OoJNux-6">
  

  


  


  

http://www.cidoc-crm.org/cidoc-crm/E22_Human-Made_Object"; 
linkTarget="_blank" 
link="http://www.cidoc-crm.org/cidoc-crm/E22_Human-Made_Object"; en="Human-Made 
Object" fr="Objet élaboré par l’humain" id="MBDcpSNK8H0tc5OoJNux-8">
  

  


 

[Crm-sig] Issue: adjusting cardinalities for use of E54 Dimenion

2024-09-04 Thread Martin Doerr via Crm-sig

Dear All,

I propose the following modfiications for P179 and P191, as attached, 
following issue 665.


Best,

Martin


--

 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
   
 Email:mar...@ics.forth.gr  
 Web-site:http://www.ics.forth.gr/isl


Adjusting_P179 and P191_4_9_24.docx
Description: MS-Word 2007 document
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://cidoc-crm.org/crm-sig-mailing-list


Re: [Crm-sig] Towards a CRMinf stable release (issues 614, 663, 646)

2024-09-06 Thread Martin Doerr via Crm-sig

Dear all,

Please let me add that *I4 Proposition Set is now IsA E89 Propositional 
Object, and no more E73 Information Object*. The latter caused confusion 
of representation and meaning, which is now resolved. J27 /that the 
formal meaning of (has a meaning belief) /is the property which allows 
now the direct link from an I2 Belief to a textual statement, rather 
than taking a Proposition Set as text itself. This change enabled the 
integration of Named Graph like notations with reification like ones, as 
you see it now.


Best

Martin


On 9/6/2024 12:24 PM, Eleni Tsouloucha wrote:

Dear all,

In view of the massive reorganization that CRMinf has been undergoing, 
and the need to issue a stable version of it sooner than later, I’m 
sending you the proposed changes we’ll be discussing and voting for at 
the SIG meeting.
You can refer to the (updated [1]) specification document 
<https://docs.google.com/document/d/16VRXTUoVdY_XWeLfCf-7RRO5BSEEvP8flG68uBkM0iU/edit?usp=sharing>for 
a better grasp of the ensuing model. It goes without saying that any 
comments you have are welcome.


*Α summary of the proposed changes can be found below: *

 1. Introduce class _One-Proposition Set_
 2. Introduce property /is encoded by/
 3. Introduce property /has unambiguous description (describes the
formal meaning of)/
 4. Introduce property /that the formal meaning of (has a meaning belief)/
 5. Introduce property /contains entity (is contained in) /
 6. Introduce property /contains property type (is property type in)/
 7. Introduce property /has domain (is domain of)/
 8. Introduce property /has range (is range of) /
 9. Introduce property /has property type (is property type of)/
10. Introduce property /assigned proposition (is assigned by) /
11. _New example for I2 Belief_
12. _Introduction_ (Scope update, usage examples)



[1] You'll see that classes and properties have been assigned numeric 
identifiers in the document, which serves the overall ease of 
presentation. They have been clearly marked as under discussion and 
form part of the things to be decided on.


All the 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: tsoulo...@ics.forth.gr, eleni.crm@gmail.com
Tel: +30 2810391488



--
--------
 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
   
 Email:mar...@ics.forth.gr  
 Web-site:http://www.ics.forth.gr/isl
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://cidoc-crm.org/crm-sig-mailing-list


[Crm-sig] Fwd: New ISSUE: Quantifiers of P140,P141,P177

2024-09-09 Thread Martin Doerr via Crm-sig

Dear Eleni,

Please use the thread below for Issue 672. I propose to decide it in 
this SIG, with *all down-stream implications* Christian-Emil is pointing to.


The comment in the last SIG:

"This will have implications for the S25 Relative Dimension construct in 
sci." *is obsolete*. S25 will *no more *be under the umbrella of E13. 
This will be in the solution of issue 602, interface between CRMsci and 
CRMinf, consistently with the decision in CRMinf to regard E13 as 
subclass of I1 Argumentation, and not vice versa.





 Forwarded Message 
Subject:Re: [Crm-sig] New ISSUE: Quantifiers of P140,P141,P177
Date:   Wed, 20 Mar 2024 15:10:22 +0200
From:   Martin Doerr 
To: Christian-Emil Smith Ore 



On 3/20/2024 8:24 AM, Christian-Emil Smith Ore wrote:


That is true. Thanasis pointed out that a single condition assessment 
may comprise more than one thing. So P34 concerned (was assessed by) 
should not be (1.1:0:n).  In the other hand the same can be said about 
type assignment and P41 classified (was classified by) which 
currently  is (1,1:0,n). So maybe we should reconsider all the 
properties listed in my email. Again E13 is a somewhat problematic 
class and should perhaps be confined to reifications.



yes🙂🙂


Best,

Christian-Emil



----
*From:* Martin Doerr 
*Sent:* 19 March 2024 21:03
*To:* Christian-Emil Smith Ore
*Subject:* Re: [Crm-sig] New ISSUE: Quantifiers of P140,P141,P177
On a second thought: "deassigned" should not be subproperty of P14 
co1. It violates (1,1: 0,n), isn't it?



On 3/19/2024 8:52 AM, Christian-Emil Smith Ore wrote:



Dear Martin,

I have read this issue a little late. I have no problem with your 
argumentation. There may be a side effect.


P35:

Quantification: many to many, necessary (1,n:0,n)

For all x,y we have P37(x,y) ⇒P141(x,y)


Since the quantification of P35 is (1,n:0,n), then it may exist 
 P37(a,b) and P37(a,c) and b is not c. (if not the quantification 
should be (1,1:0,n). From the subproperty definition


P37(a,b) ⇒ P141(a,b) and P37(a,c) ⇒ P141(a,c)

so we can conclude that P141(a,b) and P141(a,c) which  contradicts 
the proposed quantification (1,1:0,n) of P141. In general a 
subproperty cannot have a less restrictive quantification than its 
superproperty. If I am correct we have check the scopenotes of


P34, P35, P37, P38, P40, P42


P140 assigned attribute to (was attributed by)

Domain: E13Attribute Assignment Range:E1CRM Entity

Superproperty of:

E14 Condition Assessment. P34 concerned (was assessed by): 
E18Physical Thing [ (1,n:0,n), not OK]


E16 Measurement. P39 measured (was measured by): E18Physical Thing [OK]

E17 Type Assignment. P41 classified (was classified by): E1 CRM 
Entity   [OK]



P141 assigned (was assigned by)

Domain: E13Attribute Assignment

Range:E1CRM Entity

Superproperty of:

E14 Condition Assessment. P35 has identified (identified by): Ε3 
Condition State  [ (1,n:0,n), not OK]


E15 Identifier Assignment. P37 assigned (was assigned by): E42 
Identifier  [ (0,n:0,n), not OK]


E15 Identifier Assignment. P38 deassigned (was deassigned by): E42 
Identifier  [ (0,n:0,n), not OK]


E16 Measurement. P40 observed dimension (was observed in): 
E54Dimension [ (1,n:0,n), not OK]


E17 Type Assignment. P42 assigned (was assigned by): E55 Type [ 
(1,n:0,n), not OK]



In all the scopepnotes (P34, P35, P37, P38, P40, P42 ) the instance 
of the range is in singular number. So the quantifications can be 
adjusted without problem.





Best,
Christian-Emil

*From:* Crm-sig  on behalf of Martin 
Doerr via Crm-sig 

*Sent:* 24 January 2024 19:09
*To:* crm-sig
*Subject:* [Crm-sig] New ISSUE: Quantifiers of P140,P141,P177
Dear All,

I remember a discussion about the quantifiers of P140, P141, assigns 
attribute...


As it stands now, they are both

"many to many (0,n:0,n)".

P177 assigned property of type, has

"many to many, necessary (1,n:0,n)"

Firstly, all must be necessary. you cannot assign a property type 
without a domain and range.


Secondly, the scope notes of all these properties do use singular, "the":

"This property associates an instance of E13 Attribute Assignment 
with the type of property or relation that this assignment maintains 
to hold between *the item* to which it assigns an attribute and *the 
attribute* itself"


Thirdly, multiple values confuse which is which.

I remember a discussion that, theoretically, if you have:

a) one domain, one type, many ranges

b) many domains, one type, one range

c) one domain, many types, one range,

The propositions are well defined. I assume that this discussion was 
never ended, nor such constraints be formulated in Logic. I doubt it 
can be in FOL, and is, for any user, utterly *confusing*.


The quantifiers must be: "many to one, necess

<    2   3   4   5   6   7