Hi George,
Sure, the .1 is inherited, what logic concerns. To be verified by the
people dealing with FOL... You are absolutely correct.
As I have pointed out in the past, the .1 corresponds to subproperty, as
long its range is Type, exactly as p2 has type. Therefore, the adequate
solution is
And, as far as I can see, is a good thing (maybe not in the RDF world, though)
and as it should be.
Chr-E
From: Crm-sig on behalf of Athanasios Velios via
Crm-sig
Sent: 12 August 2022 13:37
To: crm-sig@ics.forth.gr
Subject: Re: [Crm-sig] .1 properties on su
I think this sounds right and consistent with the CRM introduction:
"the subproperty inherits the definition of all of the properties
declared for its superproperty without exceptions (strict inheritance),
in addition to having none, one or more properties of its own."
Thanasis
On 12/08/2022
Hi all,
This is for the .1 fans out there. I think it's an old discussion, but one
perhaps not unworth repeating. There are places where .1 is introduced like
'P14 carried out by' which allow you to qualify the relation's mode or
aspect. Participated as lawyer, as doctor etc.
Now P14 has subprope