Modal Concepts?

Hi,

  I was wondering how many modal concepts could be deal with 
in N3. Perhaps there is already a good study of those?

I guess we could perhaps say that Truth could be considered modal,
and that is already defined with log:Truth.

Necessity could be easy:

{ 2 + 2 = 4 } a log:Necessity .

It means one could always add it to any graph, even those of one’s 
opponents. Perhaps definitions in ontologies are like that? Perhaps not.

{cat color Green} log:Possible, may be a way of disproving something.

Two that are particularly useful in computing are SHOULD and MUST,
as they are used by ietf and w3c specs. It would be nice to at least
be able to explain what kind of concepts those are. They somehow
seem related to a goal Something MUST be done - if a goal (e.g. communication)
is to be achieved. 


Henry Story

https://co-operating.systems
WhatsApp, Signal, Tel: +33 6 38 32 69 84‬ 
Twitter: @bblfish

Received on Tuesday, 17 August 2021 09:04:02 UTC