From f021dc0778c81b2609739c3007fb980758fc439d Mon Sep 17 00:00:00 2001 From: Jan Martin Keil Date: Fri, 18 Aug 2023 11:23:26 +0200 Subject: [PATCH] typos --- core/Core.rdf | 8 ++++---- core/meta/AnnotationVocabulary.rdf | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/core/Core.rdf b/core/Core.rdf index 2e7624f5..f36d9ca3 100644 --- a/core/Core.rdf +++ b/core/Core.rdf @@ -22,7 +22,7 @@ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> - Core Ontology + IOF Core Ontology The IOF Core Ontology contains notions found to be common across multiple manufacturing domains. This file is an RDF implementation of these notions. The ontology utilizes the Basic Formal Ontology or BFO as a top-level ontology but also borrows terms from various domain-independent or mid-level ontologies. The purpose of the ontology is to serve as a foundation for ensuring consistency and interoperability across various domain-specific reference ontologies the IOF publishes. Ana Teresa Correia, Institut fuer angewandte Systemtechnik Bremen GmbH (ATB-Bremen) Barry Smith, University at Buffalo @@ -236,7 +236,7 @@ APICS 14 ed., 2013, term by the same name; DoD Standard Practice, Identification Marking of US Military Property (MIL-STD-130N Nov. 2012) https://dodprocurementtoolbox.com/cms/sites/default/files/resources/2016-03/MIL-Std130N_Ch1_4.pdf, term by the same name a portion of material; a piece of glass; a rod of aluminum; a roll of aluminum; an engine block Although the term is polysemous and used in a number of other domains beyond manufacturing, it is introduced here as a covering term for any man-made artifact that satisfies the conditions provided, and independent of modality. We expect various subclasses of assembly to be introduced in future along with more precise heuristics for the various modalities in which they exist. - LA1: Assembly(x) → MaterialArtifact(x) ∧ ∃c,∃c'(MaterialComponent(c) ∧ MaterialComponent(c') componentPartOfAtAllTimes(c,x) ∧ componentPartOfAtAllTimes(c',x) ∧ ¬(c=c'∨ (componentPartOfAtAllTimes(c,c') ∨ componentPartOfAtAllTimes(c',c)))) + LA1: Assembly(x) → MaterialArtifact(x) ∧ ∃c,∃c'(MaterialComponent(c) ∧ MaterialComponent(c') ∧ componentPartOfAtAllTimes(c,x) ∧ componentPartOfAtAllTimes(c',x) ∧ ¬(c=c'∨ (componentPartOfAtAllTimes(c,c') ∨ componentPartOfAtAllTimes(c',c)))) LA2: MaterialArtifact(x) ∧ ∃p(AssemblyProcess(p) ∧ isSpecifiedOutputOf(x,p)) → Assembly(x) true material artifact that is composed of material components that are physically connected and that is capable of disassembly @@ -1644,7 +1644,7 @@ Services as products as well as software products will be considered in the next ∧ isMeasuredValueOfAtSomeTime(x,e)) value expression that contains the measured value of an attribute (specifically dependent continuant or process characteristic or temporal region) - every instance of 'measured value expression' is defined exactly as an instance of 'information content entity' that 'is measured value of at some time' some 'process characteristic' or 'temporal region' or 'specifically dependent continuant' + every instance of 'measured value expression' is defined exactly as an instance of 'value expression' that 'is measured value of at some time' some 'process characteristic' or 'temporal region' or 'specifically dependent continuant' @@ -2049,7 +2049,7 @@ http://docs.opengeospatial.org/is/18-010r7/18-010r7.html#106ProcessCharacteristic(x) → Occurrent(x) true attribute of a process - This term is expected to remain primitive as it is highly unlikely that a a set of conditions will be created such that no circularity is introduced. + This term is expected to remain primitive as it is highly unlikely that a set of conditions will be created such that no circularity is introduced. if x is a 'process characteristic' then x is an 'occurrent' diff --git a/core/meta/AnnotationVocabulary.rdf b/core/meta/AnnotationVocabulary.rdf index d4ac2831..2cfd0a7b 100644 --- a/core/meta/AnnotationVocabulary.rdf +++ b/core/meta/AnnotationVocabulary.rdf @@ -410,7 +410,7 @@ HOWEVER: While acronyms and other abbreviations may be provided as annotations t symbol abbreviation that is a design, mark, or charaters(s) used conventionally to represent something, such as currency, quantity, or variable in an expression Chemical Symbols: H, O, Mg -Units of Measure: Km, Kg, G +Units of Measure: km, kg, g https://spec.edmcouncil.org/fibo/ontology/FND/Utilities/AnnotationVocabulary/