loading...| Preferred Name |
Type |
| Definitions |
An entity that may be instantiated by (or predicated over) other entities. Types encompass what we often call "sorts", "kinds", "categories", etc. Examples include the kind "Person", the event type "Earthquake", and the abstract individual type "NaturalNumber". Relations, such as "marriedTo" and "olderThan", are also considered as types. Instances of gufo:Type are classes, and should specialize the taxonomy of individuals of gUFO. For example, "Person" is a gufo:Type (more specifically a gufo:Kind), specializing gufo:Object. The mechanism that allows for this is called punning in OWL 2. Encompasses the notion of "Universal" in Guizzardi (2005). |
| ID |
http://purl.org/nemo/gufo#Type |
| comment |
An entity that may be instantiated by (or predicated over) other entities. Types encompass what we often call "sorts", "kinds", "categories", etc. Examples include the kind "Person", the event type "Earthquake", and the abstract individual type "NaturalNumber". Relations, such as "marriedTo" and "olderThan", are also considered as types. Instances of gufo:Type are classes, and should specialize the taxonomy of individuals of gUFO. For example, "Person" is a gufo:Type (more specifically a gufo:Kind), specializing gufo:Object. The mechanism that allows for this is called punning in OWL 2. Encompasses the notion of "Universal" in Guizzardi (2005). |
| definition |
An entity that may be instantiated by (or predicated over) other entities. Types encompass what we often call "sorts", "kinds", "categories", etc. Examples include the kind "Person", the event type "Earthquake", and the abstract individual type "NaturalNumber". Relations, such as "marriedTo" and "olderThan", are also considered as types. Instances of gufo:Type are classes, and should specialize the taxonomy of individuals of gUFO. For example, "Person" is a gufo:Type (more specifically a gufo:Kind), specializing gufo:Object. The mechanism that allows for this is called punning in OWL 2. Encompasses the notion of "Universal" in Guizzardi (2005). |
| label |
Type |
| prefixIRI |
Type |
| prefLabel |
Type |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |
| Mapping To | Ontology | Relations | Source | Type | Actions |
|---|---|---|---|---|---|
| https://w3id.org/rec/core/Type | https://data.industryportal.enit.fr/ontologies/REC | LOOM | Inter-portal | ||
| http://www.semanticweb.org/OntologyOfThermalMethods#Type | https://data.industryportal.enit.fr/ontologies/OTM | LOOM | Inter-portal |