QualifiedRole

QRole

We usually have the same word to identify both the role and the name of a device. for example, under the term hammer we can identify both a product and generic entity used for hammering a nail. The concept of role helps to distinguish between these two concepts. Ideally ther shuld be an HammerRole and an HammerProduct types. The product may or may not be used as HammerRole, but only expresses the fact that it has been designed as an optimal hammering device. The hammering role can be played by any hard-enough object, even if it is not an hammer product. The qualified role concept express the requirement for an entity of a type, say A, to be part of a larger entity of another type, say B, with A and B belonging to different taxonomical branches. The concept of role is then defined as something that needs a wider and specific environment to exist. For example, the car radio type requires all instances to be a part of a car, while the opposite (the car having a radio) is not mandatory for qualified roles. The same applies for airplane winglets that are by definition an optional part of an airplane. Food preservatives are anothe optional part of foods. Al QRole subclasses shuld have an axiom to express the role requirements, in the form of: MyQRoleClass SubClassOf: isProperPartOf some AnotherClass This is a necessary but not sufficient condition. The superclass for all classes of individuals that requires their individuals to be part of another specific class of entity of different type with a specific role with respect to it.

http://w3id.org/emmo#EMMO_946b5162_95b0_4801_81d4_efef43842a0d

We usually have the same word to identify both the role and the name of a device. for example, under the term hammer we can identify both a product and generic entity used for hammering a nail. The concept of role helps to distinguish between these two concepts. Ideally ther shuld be an HammerRole and an HammerProduct types. The product may or may not be used as HammerRole, but only expresses the fact that it has been designed as an optimal hammering device. The hammering role can be played by any hard-enough object, even if it is not an hammer product.

The qualified role concept express the requirement for an entity of a type, say A, to be part of a larger entity of another type, say B, with A and B belonging to different taxonomical branches. The concept of role is then defined as something that needs a wider and specific environment to exist. For example, the car radio type requires all instances to be a part of a car, while the opposite (the car having a radio) is not mandatory for qualified roles. The same applies for airplane winglets that are by definition an optional part of an airplane. Food preservatives are anothe optional part of foods.

Al QRole subclasses shuld have an axiom to express the role requirements, in the form of: MyQRoleClass SubClassOf: isProperPartOf some AnotherClass This is a necessary but not sufficient condition.

The superclass for all classes of individuals that requires their individuals to be part of another specific class of entity of different type with a specific role with respect to it.

QRole

The qualified role concept express the requirement for an entity of a type, say A, to be part of a larger entity of another type, say B, with A and B belonging to different taxonomical branches. The concept of role is then defined as something that needs a wider and specific environment to exist. For example, the car radio type requires all instances to be a part of a car, while the opposite (the car having a radio) is not mandatory for qualified roles. The same applies for airplane winglets that are by definition an optional part of an airplane. Food preservatives are anothe optional part of foods.

The superclass for all classes of individuals that requires their individuals to be part of another specific class of entity of different type with a specific role with respect to it.

We usually have the same word to identify both the role and the name of a device. for example, under the term hammer we can identify both a product and generic entity used for hammering a nail. The concept of role helps to distinguish between these two concepts. Ideally ther shuld be an HammerRole and an HammerProduct types. The product may or may not be used as HammerRole, but only expresses the fact that it has been designed as an optimal hammering device. The hammering role can be played by any hard-enough object, even if it is not an hammer product.

Al QRole subclasses shuld have an axiom to express the role requirements, in the form of: MyQRoleClass SubClassOf: isProperPartOf some AnotherClass This is a necessary but not sufficient condition.

QualifiedRole

https://w3id.org/emmo#EMMO_0277f24a_ea7f_4917_81b7_fb0406c8fc62