Changes in 🟢 Core Ontology

• Maturity: 🟢 Released

---

Added

Classes

Construct	Definition
Classifier	denoter that classifies some entity
Denoter	information content entity that denotes some entity

Object Properties

Construct	Definition
categorizedBy	relation between a lower-order classifier by a higher-order classifier such that the latter classifier categorizes the former
categorizes	relation between classifiers in which a higher-order classifier classifies a lower-order classifier and designates a set that has as members only sets designated by lower-order classifiers that it organizes
classifiedBy	relation that holds between an entity y and an information content entity x when the information content entity designates a set whose members are all the entities of a particular type and y is a member of that set
classifies	relation that holds between an information content entity x and an entity y when the information content entity designates a set whose members are instances of a particular type and y is a member of that set
generalizes	relation between two classifiers such that everything classified by the latter is also classified by the former
specializes	relation between two classifiers such that everything classified by the former is also classified by the latter

---

Changed

Classes

---

Identifier

• IRI: https://spec.industrialontologies.org/ontology/construct/Identifier

Annotations

• firstOrderLogicAxiom = “Identifier(x) → InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ designates(x,e))”

• naturalLanguageDefinition = “information content entity that is used to uniquely identify an entity within a particular context”@en-US

• semiFormalNaturalLanguageAxiom = “if x is an ‘identifier’ then x is an ‘information content entity’ that ‘designates’ some ‘entity’”

• firstOrderLogicAxiom = “Identifier(x) → Denoter(x) ∧ ∃e(Entity(e) ∧ designates(x,e))”

• naturalLanguageDefinition = “denoter that is used to uniquely identify an entity within a particular context”@en-US

• semiFormalNaturalLanguageAxiom = “if x is an ‘identifier’ then x is an ‘denoter’ that ‘designates’ some ‘entity’”

Parents

• InformationContentEntity (https://spec.industrialontologies.org/ontology/construct/InformationContentEntity)

• Denoter (https://spec.industrialontologies.org/ontology/construct/Denoter)

Axioms

• SubClassOf: constr:InformationContentEntity

• SubClassOf: constr:Denoter

Object Properties

---

hasProcessProfile

• IRI: https://spec.industrialontologies.org/ontology/construct/hasProcessProfile

Domains

• BFO_0000144 (http://purl.obolibrary.org/obo/BFO_0000144)

• BFO_0000015 (http://purl.obolibrary.org/obo/BFO_0000015)

Ranges

• BFO_0000015 (http://purl.obolibrary.org/obo/BFO_0000015)

• BFO_0000144 (http://purl.obolibrary.org/obo/BFO_0000144)

Axioms

• domain: bfo:process_profile

• range: bfo:process

• domain: bfo:process

• range: bfo:process_profile

---

occursSimultaneouslyWith

• IRI: https://spec.industrialontologies.org/ontology/construct/occursSimultaneouslyWith

Inverse Of

• occursSimultaneouslyWith (https://spec.industrialontologies.org/ontology/construct/occursSimultaneouslyWith)

Axioms

• occursSimultaneouslyWith) (inverse: [constr:occursSimultaneouslyWith](https://spec.industrialontologies.org/ontology/construct/occursSimultaneouslyWith))

---

temporallyFinishedBy

• IRI: https://spec.industrialontologies.org/ontology/construct/temporallyFinishedBy

Annotations

• naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of j is the same as the last instant of the temporal extent of i and the first instant of i is precedes the first instant of j”@en-US

• naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of j is the same as the last instant of the temporal extent of i and the first instant of i is preceded by the first instant of j”@en-US

---

temporallyFinishes

• IRI: https://spec.industrialontologies.org/ontology/construct/temporallyFinishes

Annotations

• naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of i is the same as the last instant of the temporal extent of j and the first instant of j is precedes the first instant of i”@en-US

• naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of i is the same as the last instant of the temporal extent of j and the first instant of j precedes the first instant of i”@en-US