Ontology: Rename and define object property "conforms_to"

[l-emele]

Description of the issue

From OEO DEV Meeting 7: Rename object property that connects sector and sector divisions from conforms_to to is defined by and provide a definition for for this object property.

Ideas of solution

If you already have ideas for the solution describe them here

Workflow checklist

• [ ] I discussed the issue with someone else than me before working on a solution
• [ ] I already read the latest version of the workflow for this repository
• [ ] The goal of this ontology is clear to me

I am aware that

• [ ] every entry in the ontology should have a definition
• [ ] classes should arise from concepts rather than from words

[l-emele]

@OpenEnergyPlatform/oeo-general-expert-formal-ontology : Any ideas for a good definition for is defined by? How to define _define_? 😄

[stap-m]

How to define define?

Good question... 😃 I have some more:

• Do we already have ideas where defines/ is defined by can also be used? Or make a def that just holds between sector and sector division, at least for the moment?
• Sector is currently classified as object aggregate: I am not really happy with this. Sector as a subclass of system or something like subsystem? @jannahastings do you have an idea?
• conforms to is a subclass of has participant which is a relation between processand continuant. Since sector isn't and won't be a process, is defined by / defines should not be a a subclass of has participant accordingly.

[l-emele]

Can we focus discussions on sector itself in issue #30, please? We had there already a long discussion.

[stap-m]

defines: a relation between a continuant (A) and a continuant or process (B), in which (A) determines specifications of (B)

I tried to create a rather general definition, so it could be applicable for other classes, too.

[l-emele]

Why a process and not an occurant? Your proposal excludes e.g. the option to use that this property for temporal regions.

[stap-m]

good point. a relation between a continuant (A) and a continuant or occurant (B), in which (A) determines specifications of (B) ?

[akleinau]

"defines" means more than just specification, it defines exactly what that thing is. So reformulate to _"... in which (A) determines the semantic of (B)."_?

[jannahastings]

I think that the super-property of this new "defines" relation should be "is about". This also fits with the definition of "sector division" as a generically dependent continuant.

[l-emele]

Okay, it seems that we agree with the definition: _A relation between a continuant (A) and a continuant or occurant (B) in which (A) determines the semantic of (B)._ Also the super-property "is about" seems plausible.

So any objections against implementing?

[l-emele]

I started implementing, but I have two question:

1. Blanks or underscores? is defined by or is_defined_by?
2. How do I rename conforms_to? I do not find a option in Protégé to rename it. Is it safe to rename it directly in the oeo-social file? As far as I can see, this object property was not yet used so conforms_to occurs only exactly twice in the oeo-social file.

[akleinau]

then it is save to rename directly in the file. Alternatively strg+U should do the trick. Right now we still have underscores

[l-emele]

Thanks, I did it with the short cut.