Closed CDowland closed 4 months ago
@CDowland I've added to the 01/31/2023 agenda.
Note that these relations are currently in OBIB (http://purl.obolibrary.org/obo/OBIB_0000732, http://purl.obolibrary.org/obo/OBIB_0000735) and originated from OMIABIS (which has been integrated into OBIB). OBIB is asking for these relations to be included in RO as per OBOF principles.
@CDowland can you give some concrete examples that use these relationships (including CURIEs for subject/object)?
an example proposal of me owning this particular record box: https://www.discogs.com/de/user/wan.2 ro:owns https://www.discogs.com/de/release/4218752-QNS-QNS-Box
An example from OBIB would be helpful.
Axioms from OBIB that use these two relations copied from Ontobee and reformated for better readabilty:
object aggregate and (
has part some (
object aggregate and (
has part only (
specimen and (
participates in some storage )))))
and (
has part some (
material information bearer and (
participates in some (
digital curation and (
has_specified_output some (
data set and (
is about some (
object aggregate and (
has part only specimen)))))))))
and (is owned by some biobank organization)
organization
and ((owns some biobank) or (administrates some biobank))
and (has characteristic some legal person role)
The next RO call is March 28, 2023 at 9am PT, 18:00 CET. It would be great if you could attend.
Here is the Zoom link.
@cthoyt In addition to the above examples:
Where a person X owns both a mobile phone Y and a house Z: X instance of NCBITaxon:9606 Y instance of ENVO:01000581 Z instance of ENVO:01000417 X owns Y (or Y owned by X) X owns Z (or Z owned by X)
@wdduncan Thanks, I will add it to my calendar.
Thanks @CDowland !
Examples discussed on March 2, 2023 OBIB call: biobank organization owns a specimen hospital owns a laboratory facility CT scanner is owned by hospital freezer is owned by a biobank organization
@wdduncan Can I know the domain and range of the relations? Thanks!
@zhengj2007 That is a good question. I don't know the answer ... I was going off the ticket.
@CDowland Do you know?
In OBIB the domain of owns is:
'Homo sapiens' or organization or 'collection of humans' or 'aggregate of organizations'
And its range is:
'material entity' or 'information content entity'
For is owned by those are swapped.
If we want replace the OBIB one with RO one, it would be better to keep the domain and range defined in the OBIB and also copy over the OBIB definition. How do you think @wdduncan ?
@zhengj2007 Do you mean using the current OBIB definition instead of the one requested here? We don't want that. We made the above definition for the purpose of this request, and it is a revised version of what's currently in OBIB.
Or do you mean including it as an additional annotation (something other than definition)?
The current Definition is: 'The inverse of owns.'. I'd prefer to use descriptive definition and use inverse axiom to indicate it is the inverse relation of owns. @CDowland
@zhengj2007 Nice catch about the inverse of axiom! I've added it to the PR.
As for the definition of is owned by
, it is standard practice for the inverse definition to state that it is an inverse. E.g. see active ingredient in.
If you want a more verbose definition, please supply one :)
Sorry for the misunderstanding. I was mixing up the two requested terms.
If a descriptive definition is preferable, then instead of importing the old OBIB one, perhaps making it more closely mirror the definition of 'owns' would be better:
y is owned by x if and only if y is at x’s full disposal. This primitive relation is the foundation of the owner’s right to have the owned entity at his/her full disposal.
As for whether to use that or instead stick with the requested one, I'm neutral.
Adding @matentzn to the thread regarding adding classes for domains/ranges.
We would need to import the classes: 'Homo sapiens' or organization or 'collection of humans' or 'aggregate of organizations'
.
Is this handled through ODK or do we manually add the classes to other_imports.owl
?
@CDowland It's fine. OBIB does not have relation 'owns'.
@CDowland I add the definition for owns
as:
A primitive relation the holds between entities x and y in which y is at x’s full disposal.
RO does not have an elucidation
annotation. I have found the if and only if
locution to be confusing to users that aren't familiar with FOL.
I also added a dcterms:description
annotationation:
This primitive relation is the foundation of the owner’s right to have the owned entity at his/her full disposal.
@zhengj2007 OBIB currently has both 'owns' and 'is owned by': http://purl.obolibrary.org/obo/OBIB_0000732, http://purl.obolibrary.org/obo/OBIB_0000735
@wdduncan "the holds" should be "that holds." Otherwise, it looks good to me.
@CDowland Thanks for catching it.
Thanks @wdduncan
can this be closed?
NTR 1: Label: owns Elucidation: x owns y if and only if y is at x’s full disposal. This primitive relation is the foundation of the owner’s right to have the owned entity at his/her full disposal.
Definition editor: Mathias Brochhausen
NTR 2: Label: is owned by Definition: The inverse of owns. Definition editor: Mathias Brochhausen