{"type":"doc","content":[{"type":"heading","attrs":{"level":2},"content":[{"text":"Version History","type":"text"}]},{"type":"table","attrs":{"layout":"default","localId":"b8229779-5a0a-4a42-9dea-0279c7120ae8"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[77.0]},"content":[{"type":"paragraph","content":[{"text":"Version","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[81.0]},"content":[{"type":"paragraph","content":[{"text":"Date","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[150.0]},"content":[{"type":"paragraph","content":[{"text":"Comment","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[149.0]},"content":[{"type":"paragraph","content":[{"text":"Lead Editor","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[303.0]},"content":[{"type":"paragraph","content":[{"text":"Contributors","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[77.0]},"content":[{"type":"paragraph","content":[{"text":"1","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[81.0]},"content":[{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[150.0]},"content":[{"type":"paragraph","content":[{"text":"First version","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[149.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"6054b894695c39007086d744","text":"@William Sobel"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[303.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"557058:8c46cc8b-d451-4d0b-a7c0-ea22af0e9c54","text":"@Evan Wallace"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5bc5ee3ea839b0337f7c6625","text":"@tschneider"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"6054c4be86b0dd007194feb2","text":"@Farhad Ameri (Unlicensed)"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5e61bb24ca52800b5058038d","text":"@Chris Will"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"557058:398e51c0-4cd3-4a05-ac07-fbed13961467","text":"@Elisa Kendall"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5bc5ec095c97292bb2278114","text":"@Ana Correia"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5bc5ec2a473af00a40fb589e","text":"@Serm Kulvatunyou"}},{"text":" ","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[77.0]},"content":[{"type":"paragraph","content":[{"text":"2","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[81.0]},"content":[{"type":"paragraph","content":[{"text":"2022-10","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[150.0]},"content":[{"type":"paragraph","content":[{"text":"This version addressed a lot of experiences gained from the IOF Core V1 Beta development.","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[149.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"6054b894695c39007086d744","text":"@William Sobel"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[303.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"557058:8c46cc8b-d451-4d0b-a7c0-ea22af0e9c54","text":"@Evan Wallace"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5bc5ee3ea839b0337f7c6625","text":"@tschneider"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"604addfcbfef95006be895df","text":"@Jim Logan"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"557058:ecce7a36-9454-40e1-9a54-22f5c780c941","text":"@Barry Smith (Unlicensed)"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"60d6f461d5dde80071c259ce","text":"@Arkopaul Sarkar"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"6054c4be86b0dd007194feb2","text":"@Farhad Ameri (Unlicensed)"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5e61bb24ca52800b5058038d","text":"@Chris Will"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"60cbfd2f20d2dd0070ea77eb","text":"@Stephen Kahmann"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"557058:398e51c0-4cd3-4a05-ac07-fbed13961467","text":"@Elisa Kendall"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5bc5ec095c97292bb2278114","text":"@Ana Correia"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"5bc5ec2a473af00a40fb589e","text":"@Serm Kulvatunyou"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"6165ac02048360006ab65eaf","text":"@Milos Drobnjakovic (Unlicensed)"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"62fe496155a179321591cb3c","text":"@Pawel Garbacz"}},{"text":" ","type":"text"},{"type":"mention","attrs":{"id":"62d970b17654479e06099659","text":"@Melissa Weller"}},{"text":" ","type":"text"}]}]}]}]},{"type":"paragraph"},{"type":"heading","attrs":{"level":1},"content":[{"text":"Contents","type":"text"}]},{"type":"extension","attrs":{"layout":"default","extensionType":"com.atlassian.confluence.macro.core","extensionKey":"toc","parameters":{"macroParams":{"minLevel":{"value":"1"},"maxLevel":{"value":"7"}},"macroMetadata":{"macroId":{"value":"a883fea5-242a-46bf-9b5b-10b3fbce34db"},"schemaVersion":{"value":"1"},"title":"Table of Contents"}},"localId":"bd90de9b-52c2-49fd-a01b-c58b2acc6a49"}},{"type":"heading","attrs":{"level":1},"content":[{"text":"Terminology used in this document","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"construct: class, object property, or data property","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"entity (object): ","type":"text","marks":[{"type":"em"}]},{"text":"item that is perceivable or conceivable","type":"text"},{"type":"hardBreak"},{"text":"Note 1 to entry: The terms ‘entity’ and ‘object’ are catch-all terms analogous to ‘something’. In terminology circles ","type":"text"},{"type":"hardBreak"},{"text":"[ISO/IEC 21838-1:2021(E)]","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"particular","type":"text","marks":[{"type":"em"}]},{"text":": individual ","type":"text"},{"text":"entity","type":"text","marks":[{"type":"em"}]},{"type":"hardBreak"},{"text":"Note 1 to entry: In contrast to classes or types, particulars are not exemplified or instantiated by further entities ","type":"text"},{"type":"hardBreak"},{"text":"[ISO/IEC 21838-1:2021(E)]","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"instance","type":"text","marks":[{"type":"em"}]},{"text":": ","type":"text"},{"text":"particular","type":"text","marks":[{"type":"em"}]},{"text":" that instantiates some ","type":"text"},{"text":"universal","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"type":"hardBreak"},{"text":"[ISO/IEC 21838-1:2021(E)]","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"primitive","type":"text","marks":[{"type":"em"}]},{"text":": expression for which no non-circular definition can be provided ","type":"text"},{"type":"hardBreak"},{"text":"Note 1 to entry: construct lacking necessary or sufficient conditions","type":"text"},{"type":"hardBreak"},{"text":"[ISO 21838-2:2021 (E)]","type":"text"},{"type":"hardBreak"},{"text":"Note 2 to entry: definition refers to a first-order logic definition or OWL definition","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"universal","type":"text","marks":[{"type":"em"}]},{"text":": item that is perceivable or conceivable that has indefinitely many instances ","type":"text"},{"type":"hardBreak"},{"text":"[ISO 21838-2:2021 (E)]","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"axiom","type":"text","marks":[{"type":"em"}]},{"text":": statement that is asserted as true but which is not derivable from other statements","type":"text"},{"type":"hardBreak"},{"text":"Note 1 to entry: Axioms may be formulated as natural language sentences or as formulae in a formal language. In the OWL community, ‘Axiom’ is used to refer to statements that say what is true in the domain that are ‘basic’ in the sense that they are not inferred from other statements.","type":"text"}]},{"type":"paragraph","content":[{"text":"[ISO/IEC 21838-1:2021(E)]","type":"text"},{"type":"hardBreak"},{"text":"Note 2 to entry: A statement may be a formula of first-order logic or a sentence of natural language or of the semi-formal counterpart ","type":"text"},{"type":"hardBreak"}]}]}]},{"type":"heading","attrs":{"level":1},"content":[{"text":"Overview","type":"text"}]},{"type":"paragraph","content":[{"text":"The IOF AnnotationVocabulary (AV) OWL file (","type":"text"},{"text":"AnnotationVocabulary","type":"text","marks":[{"type":"link","attrs":{"href":"https://purl.industrialontologies.org/ontology/core/meta/AnnotationVocabulary"}}]},{"text":") is the normative source for IOF annotation properties. It includes a superset of the annotation properties discussed in this document along with the metadata about them. This document’s purpose is to provide the requirements and instructions for authors of IOF ontologies. The AV should be imported into IOF ontologies under development to make these annotation properties available; however, since the IOF Core imports IOF AV, ","type":"text"},{"text":"using AV requires no explicit ","type":"text","marks":[{"type":"em"}]},{"text":"owl:imports","type":"text","marks":[{"type":"code"}]},{"text":" statement","type":"text","marks":[{"type":"em"}]},{"text":".","type":"text"}]},{"type":"paragraph","content":[{"text":"All approved ontologies ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" adhere to the following annotation requirements for all constructs. ","type":"text"}]},{"type":"paragraph","content":[{"text":"The following rules ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be followed when using this document; these are taken from IETF ","type":"text"},{"text":"RFC 2119","type":"text","marks":[{"type":"link","attrs":{"href":"https://datatracker.ietf.org/doc/html/rfc2119"}}]},{"text":" (simplified):","type":"text"}]},{"type":"orderedList","attrs":{"order":1},"content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":": This word means that the definition is an absolute requirement of the specification.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":": This phrase means that the definition is an absolute prohibition of the specification.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":": This word means that there may exist valid reasons in particular circumstances to ignore a particular item, but the full implications ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be understood and carefully weighed before choosing a different course.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD NOT","type":"text","marks":[{"type":"strong"}]},{"text":": This phrase means that there may exist valid reasons in particular circumstances when the particular behavior is acceptable or even useful, but the full implications should be understood and the case carefully weighed before implementing any behavior described with this label.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":": This word means that an item is truly optional. One user may choose to include the item because a particular marketplace requires it or because the vendor feels that it enhances the product","type":"text"},{"text":",","type":"text","marks":[{"type":"textColor","attrs":{"color":"#bf2600"}}]},{"text":" while another vendor may omit the same item.","type":"text"}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Summary of Annotation Requirements ","type":"text"}]},{"type":"paragraph","content":[{"text":"The following ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be provided for all IOF ontologies:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide non-versioned ontology IRI ","type":"text"},{"text":"(See: ","type":"text","marks":[{"type":"em"}]},{"type":"inlineCard","attrs":{"url":"https://oagiscore.atlassian.net/wiki/spaces/IOF/pages/4385505281"}},{"text":" ","type":"text"},{"text":")","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide version IRI","type":"text"},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"(","type":"text"},{"text":"owl:VersionIRI","type":"text","marks":[{"type":"code"}]},{"text":")","type":"text"},{"text":"(See: ","type":"text","marks":[{"type":"em"}]},{"type":"inlineCard","attrs":{"url":"https://oagiscore.atlassian.net/wiki/spaces/IOF/pages/4385505281"}},{"text":" )","type":"text"}]}]}]},{"type":"paragraph","content":[{"text":"The following annotations ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be given in all ontologies:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"label","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"title","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"abstract","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide","type":"text"},{"text":" copyright","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"license","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"maturity","type":"text","marks":[{"type":"em"}]}]}]}]},{"type":"paragraph","content":[{"text":"The following annotations ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be given for all constructs:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"label","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" provide ","type":"text"},{"text":"natural language definition","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"For classes:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If the ","type":"text"},{"text":"isPrimitive ","type":"text","marks":[{"type":"em"}]},{"text":"annotation","type":"text"},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"is set to ","type":"text"},{"text":"true","type":"text","marks":[{"type":"code"}]},{"text":":","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text","marks":[{"type":"strong"},{"type":"em"}]},{"text":"provide","type":"text"},{"text":" primitive rationale","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"provide","type":"text"},{"text":" first-order language axioms","type":"text","marks":[{"type":"em"}]},{"text":" and ","type":"text"},{"text":"semi-formal natural language axioms","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"example ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be provided","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If the ","type":"text"},{"text":"isPrimitive annotation ","type":"text","marks":[{"type":"em"}]},{"text":"is set to ","type":"text"},{"text":"false","type":"text","marks":[{"type":"code"}]},{"text":" or not specified","type":"text"},{"text":":","type":"text","marks":[{"type":"em"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"provide","type":"text"},{"text":" first-order logic definition","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" provide ","type":"text"},{"text":"semi-formal natural language definition ","type":"text","marks":[{"type":"em"}]}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"For properties:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"provide","type":"text"},{"text":" first-order language axioms","type":"text","marks":[{"type":"em"}]},{"text":" and ","type":"text"},{"text":"semi-formal natural language axioms","type":"text","marks":[{"type":"em"}]}]}]}]}]}]},{"type":"paragraph","content":[{"text":"The following annotations ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be given for all constructs and annotation properties:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"provide ","type":"text"},{"text":"example","type":"text","marks":[{"type":"em"}]}]}]}]},{"type":"heading","attrs":{"level":1},"content":[{"text":"Annotation Properties","type":"text"}]},{"type":"paragraph","content":[{"text":"In cases where a text annotation is needed, an American English language version of that annotation is required and ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" use the American English language tag ( ","type":"text"},{"text":"xml:lang=\"en-US\"","type":"text","marks":[{"type":"code"}]},{"text":"). Spelling in American English annotations ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" conform to an American dictionary, such as Merriam-Webster. Additional annotations covering the same material but expressed in a different natural language are allowed as long as they incorporate the proper language tag. Text annotations that include a language tag have a default datatype of rdf:langString. By definition from the RDFS 1.1 specification, one ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" include an explicit datatype when adding an annotation. ","type":"text"}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Ontology Annotations","type":"text"}]},{"type":"paragraph","content":[{"text":"The following is an example of the Ontology annotations from Core. Annotations in the “Active Ontology” tab in Protégé.","type":"text"}]},{"type":"codeBlock","attrs":{"language":"xml"},"content":[{"text":"\t\n\t\tCore Ontology\t\t\n\t\tThe IOF Core Ontology contains terms and concepts found to be common across multiple domains of industry and represents an OWL implementation of them. The ontology itself utilizes the Basic Formal Ontology or BFO as a philosophical foundation but also imports terms from various domain-independent or "mid-level" ontologies. The purpose of the ontology is to serve or is intended to serve as a core for IOF's domain-specific ontologies, with a goal being to ensure consistency and interoperability across the suite of ontologies the IOF publishes.\n\t\tElisa Kendall, Thematix Partners LLC\n\t\tWill Sobel, W. V. Sobel LLC\n\t\tChris Will, National Center for Ontological Research (NCOR)\n\t\tIOF Core Working Group\n\t\thttp://opensource.org/licenses/MIT\n\t\tIndustrial Ontology Foundry\n\t\t\n\t\t\n\t\tIndustrial Ontology Foundry (IOF) Core Ontology","type":"text"}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Label","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"label","type":"text","marks":[{"type":"strong"}]},{"text":" - ","type":"text"},{"text":"rdfs:label","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Each construct ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" have at least one natural language label, as follows: ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Exactly one American English language label ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be provided and language tagged","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Labels ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be unique across all IOF ontologies and ","type":"text"},{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"be unique across all imported non-IOF ontologies in a given natural language","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Labels for other natural languages ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" be provided, but if so they must be language tagged","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Data property ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be a verb phrase starting with ","type":"text"},{"text":"is","type":"text","marks":[{"type":"code"}]},{"text":" for boolean (","type":"text"},{"text":"true","type":"text","marks":[{"type":"code"}]},{"text":"/","type":"text"},{"text":"false","type":"text","marks":[{"type":"code"}]},{"text":") or ","type":"text"},{"text":"has","type":"text","marks":[{"type":"code"}]},{"text":" for any other data type. ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: ","type":"text"},{"text":"is transferable","type":"text","marks":[{"type":"code"}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Data property ","type":"text"},{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"end with ","type":"text"},{"text":"value","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: ","type":"text"},{"text":"has numeric value","type":"text","marks":[{"type":"code"}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"label text ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be given in lowercase with spaces between words","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Exception: proper names ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" use initial upper-case","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Exception: Words like DNA that are capitalized in the Oxford English Dictionary (","type":"text"},{"text":"Home: OED","type":"text","marks":[{"type":"link","attrs":{"href":"https://www.oed.com"}}]},{"text":" ) ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"remain in uppercase","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Acronyms ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" be used for label values","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Exception: Words like RADAR and DNA with dictionary definitions ","type":"text"},{"text":"MAY ","type":"text","marks":[{"type":"strong"}]},{"text":"be used and will be considered by the architecture TG","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Acronyms are shortened alternative labels that are composed of a letter from each word of a longer signifier for the notion","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Acronyms that are not found in dictionaries may be provided as an alternative label for a resource using the ","type":"text"},{"text":"acronym","type":"text","marks":[{"type":"code"}]},{"text":" annotation property described below","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Note - The IOF annotation vocabulary does not include an annotation property for ","type":"text"},{"text":"preferred label","type":"text","marks":[{"type":"em"}]},{"text":". Instead, an annotation directly asserted as an ","type":"text"},{"text":"rdfs:label","type":"text","marks":[{"type":"code"}]},{"text":" in IOF OWL content is treated as the preferred label. ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Alternative (non-preferred) labels ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" also be provided for a construct using the following annotations","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:synonym","type":"text","marks":[{"type":"code"}]},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"annotation","type":"text"},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be used for alternative labels that are not abbreviations","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:abbreviation","type":"text","marks":[{"type":"code"}]},{"text":" annotation ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be used for shortened alternative labels other than acronyms","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:acronym","type":"text","marks":[{"type":"code"}]},{"text":" annotation ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be used for shortened alternative labels that are composed of a letter from each word of the preferred label (aka acronyms) and that are not found in a dictionary ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Acronyms that are found in the dictionary ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" be used as the rdfs:label (preferred label) for the notion (as noted in the exception above)","type":"text"}]}]}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Natural Language","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"natural language definition","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:naturalLanguageDefinition","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: plain text for industry practitioner understanding","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Exactly one ","type":"text"},{"text":"natural language definition","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be given for any construct","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Note: this definition ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be present for both primitive and non-primitive constructs","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" adhere to ISO 704 rules and requirements for terminology","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"For non-primitive constructs, the natural language definition ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" be circular ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"For primitive constructs, the natural language definition ","type":"text"},{"text":"SHOULD NOT","type":"text","marks":[{"type":"strong"}]},{"text":" be circular","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be substitutable in a sentence where the term appears","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"We ","type":"text"},{"text":"MAY ","type":"text","marks":[{"type":"strong"}]},{"text":"reconsider this as a requirement if there is no way to express it as a formal substitutable definition. There ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be a rationale, expressed as an ","type":"text"},{"text":"explanatory note","type":"text","marks":[{"type":"code"}]},{"text":", for why this is the case and the rationale ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be agreed to by the Architecture TG.","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" begin with an article (The, A or An).","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"One ","type":"text"},{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"avoid jargon and domain-specific terminology","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"It ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be understandable by a practitioner in the industrial domain","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"It ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" use specialized ontological terminology","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples: perdurant, endurant, continuant, etc.","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Ontological construct label ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be provided in parenthesis","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: role ⁠held by (bearer of) ⁠a material entity when it is a proper part of another material entity or is planned to be a proper part of another material entity","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"It ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" use special formatting for properties or classes referenced in the definition","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST NOT ","type":"text","marks":[{"type":"strong"}]},{"text":"use upper camel case capitalization","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST NOT ","type":"text","marks":[{"type":"strong"}]},{"text":"use apostrophes to contain terms as a parenthetical","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples: must not be as follows: ‘part-of’, ‘Information Content Entity', InformationContentEntity","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"It ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" contain acronyms or abbreviations","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Acronyms ","type":"text"},{"text":"MAY ","type":"text","marks":[{"type":"strong"}]},{"text":"be accepted if they appear in the dictionary and are widely used in conversation. Use of such an acronym use ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be approved by the Architecture TG.","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If the definition is taken from another source, ","type":"text"},{"text":"dcterms:source","type":"text","marks":[{"type":"code"}]},{"text":" or one of its sub-properties ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"cite the original reference. See ","type":"text"},{"text":"dcterms:source","type":"text","marks":[{"type":"code"}]},{"text":" in the ","type":"text"},{"text":"Source Annotations","type":"text","marks":[{"type":"em"}]},{"text":" section below.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"shipment preparation process","type":"text","marks":[{"type":"strong"}]},{"text":": planned process in which some material entities are prepared to be transported together to a receiver’s location","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"postal address:","type":"text","marks":[{"type":"strong"}]},{"text":" designation of a location (site) to which mail is delivered","type":"text"}]}]}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Primitive Term Annotations","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"elucidation","type":"text","marks":[{"type":"strike"},{"type":"strong"}]},{"text":" -- iof-av:elucidation","type":"text","marks":[{"type":"strike"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"elucidation","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" be used and is deprecated.","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"is primitive","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:isPrimitive","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: boolean flag indicating that necessary and sufficient conditions are not provided","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"is primitive","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be present if the term does not have necessary and sufficient conditions and the value of the annotation ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be set to ","type":"text"},{"text":"true","type":"text","marks":[{"type":"code"}]},{"text":" (w3c boolean)","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"only apply to classes","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Otherwise, if necessary and sufficient conditions are present, then the annotation ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" be provided and the value ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be set to ","type":"text"},{"text":"false","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"is primitive","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text","marks":[{"type":"strong"},{"type":"em"}]},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" default to set to ","type":"text"},{"text":"false","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If possible, terms ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" have necessary and sufficient conditions","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Note: the term may not always remain primitive if necessary and sufficient conditions can be defined in a later version","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"person","type":"text","marks":[{"type":"strong"}]},{"text":": true","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"shipment preparation process","type":"text","marks":[{"type":"strong"}]},{"text":": true","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"primitive rationale","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:primitiveRationale","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: reason why the necessary and sufficient conditions could not be provided","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"only apply to classes","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"When ","type":"text"},{"text":"is primitive","type":"text","marks":[{"type":"em"}]},{"text":" is set to ","type":"text"},{"text":"true","type":"text","marks":[{"type":"code"}]},{"text":" , the ","type":"text"},{"text":"primitive rationale","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be provided","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The ","type":"text"},{"text":"primitive rationale","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" explain why necessary and sufficient conditions are not possible","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The rationale ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" indicate what is missing if additional work is required to define necessary and sufficient conditions","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"person","type":"text","marks":[{"type":"strong"}]},{"text":": insufficient constructs to create necessary and sufficient conditions","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"shipment preparation process","type":"text","marks":[{"type":"strong"}]},{"text":": shipment preparation process often includes at least one picking, internal movement, packaging, marking, weighing, or loading process, but since those processes are not added to the ontology yet, it is not possible to generate necessary and sufficient conditions at this time for this entity","type":"text"}]}]}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Logical Annotations","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The following rules MUST be followed when using variables in a ","type":"text","marks":[{"type":"strong"}]},{"text":"first-order logic axiom ","type":"text","marks":[{"type":"strong"},{"type":"em"}]},{"text":"(formalization)","type":"text","marks":[{"type":"strong"}]},{"text":" or definition","type":"text","marks":[{"type":"strong"},{"type":"em"}]},{"text":" and ","type":"text","marks":[{"type":"strong"}]},{"text":"semi-formal natural language axiom or definition","type":"text","marks":[{"type":"strong"},{"type":"em"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" nest variables in single quotes","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples: 'instance i' ‘, 'continuant c’","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" use lower case variable for particular (individual or instance) of a universal","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Variable ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" use the first letter of a construct’s label when possible","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Variable","type":"text"},{"text":" MUST","type":"text","marks":[{"type":"strong"}]},{"text":" only be one letter","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" append numeric suffixes (","type":"text"},{"text":"x1","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"x2","type":"text","marks":[{"type":"code"}]},{"text":", etc.) OR one or more primes (","type":"text"},{"text":"x'","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"x''","type":"text","marks":[{"type":"code"}]},{"text":", etc.) for multiple instances of the same construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" reserve the use of ","type":"text"},{"text":"t","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"t'","type":"text","marks":[{"type":"code"}]},{"text":", etc., for temporal regions; expressions such as 'for all times' ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be interpreted as meaning ‘for all temporal regions’","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" only use ","type":"text"},{"text":"r","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"r'","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"s","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"s'","type":"text","marks":[{"type":"code"}]},{"text":", etc., for spatial and spatiotemporal regions","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" only the use of ","type":"text"},{"text":"R","type":"text","marks":[{"type":"code"}]},{"text":", ","type":"text"},{"text":"R'","type":"text","marks":[{"type":"code"}]},{"text":", etc. for relations","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" use the character ","type":"text"},{"text":"a","type":"text","marks":[{"type":"code"}]},{"text":" or ","type":"text"},{"text":"A","type":"text","marks":[{"type":"code"}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"first-order logic definition","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:firstOrderLogicDefinition","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: formal definition of construct using predicate logic semantics","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The syntax ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"adhere to part one of the following article: ","type":"text"},{"text":"https://www.cs.ox.ac.uk/people/james.worrell/lecture9-2015.pdf","type":"text","marks":[{"type":"underline"},{"type":"link","attrs":{"href":"https://www.cs.ox.ac.uk/people/james.worrell/lecture9-2015.pdf"}}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The ","type":"text"},{"text":"first-order logic definition","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"occur exactly once if the term is not primitive (","type":"text"},{"text":"is primitive","type":"text","marks":[{"type":"em"}]},{"text":" is ","type":"text"},{"text":"false","type":"text","marks":[{"type":"code"}]},{"text":" )","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" provide individually necessary and sufficient conditions","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" adhere to the following semantics:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"References to classes and properties ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"use the ","type":"text"},{"text":"label","type":"text","marks":[{"type":"code"}]},{"text":". The label ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be transformed where the spaces are removed and ","type":"text"},{"text":"classes","type":"text","marks":[{"type":"em"}]},{"text":" labels ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" use UpperCamelCase and ","type":"text"},{"text":"properties","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"use lowerCamelCase.","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples: ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"material entity","type":"text","marks":[{"type":"code"}]},{"text":" becomes ","type":"text"},{"text":"MaterialEntity","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"has part at some time","type":"text","marks":[{"type":"code"}]},{"text":" becomes ","type":"text"},{"text":"hasPartAtSomeTime","type":"text","marks":[{"type":"code"}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"See also: ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://oagiscore.atlassian.net/wiki/spaces/IOF/pages/3564372109"}},{"text":" for the format of constructs","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"All terms ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" use a prefix if they are external to the current ontology","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"All prefixes referenced ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be declared in the ontology prefixes even if not used in the axioms of the ontology","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"type":"inlineCard","attrs":{"url":"https://en.wikipedia.org/wiki/Well-formed_formula"}},{"text":" ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"type":"inlineCard","attrs":{"url":"https://en.wikipedia.org/wiki/First-order_logic"}},{"text":" ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"ISO/IEC PRF 21838‐1:2020","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"type":"inlineCard","attrs":{"url":"https://www.w3.org/TR/owl2-syntax/"}},{"text":" ","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"only use the","type":"text"},{"text":" ","type":"text","marks":[{"type":"strong"}]},{"text":"following symbols","type":"text"},{"text":":","type":"text","marks":[{"type":"strong"}]}]}]}]}]}]},{"type":"table","attrs":{"layout":"default","localId":"132d4843-0e78-4065-b8a5-22734c573304"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"Symbol","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Meaning","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"UTF-8 Code","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"∧","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Conjunction","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+2227","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"∨","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Disjunction","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+2228","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"¬","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Negation","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+00AC","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"∃","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Existential Quantification","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+2203","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"∀","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Universal Quantification","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+27C7","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"→","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Implication/Conditional","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+2192","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"↔","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Equivalence/Bi-Implication","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"U+2194","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"( )","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Left/Right Parentheses","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"Left: U+0028, Right: U+0029","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"[ ]","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Left/Right Square Brackets","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"Left: U+005B, Right: U+005D","type":"text"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[104.0]},"content":[{"type":"paragraph","content":[{"text":"{ }","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[314.0]},"content":[{"type":"paragraph","content":[{"text":"Left/Right Braces","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[342.0]},"content":[{"type":"paragraph","content":[{"text":"Left: U+007B, Right: U+007D","type":"text"}]}]}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"product","type":"text","marks":[{"type":"code"}]},{"text":": ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"obo:Continuant(c) ∧ ¬(obo:SpecificallyDependentContinuant(c) ∨ Person(c) ∨ Organization(c)) ∧ ∃r (ProductRole(r) ∧ obo:hasRole(c, r))","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"semi-formal natural language definition","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:semiFormalNaturalLanguageDefinition","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: transitional definition expressing first-order logic definition using semantics understandable by ontologically knowledgable domain practitioner without predicate logic semantics","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The ","type":"text"},{"text":"semi-formal natural language definition","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be provided if the term is not primitive (","type":"text"},{"text":"is primitive","type":"text","marks":[{"type":"em"}]},{"text":" is ","type":"text"},{"text":"false","type":"text","marks":[{"type":"code"}]},{"text":" )","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The ","type":"text"},{"text":"semi-formal natural language definition ","type":"text","marks":[{"type":"em"}]},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" only occur once","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Variables ","type":"text"},{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"be removed if they do not need to be referenced later in the expression","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Rules for writing necessary axioms, sufficient axioms, and necessary and sufficient axioms:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD use “every","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text"},{"text":"instance of","type":"text","marks":[{"type":"strong"}]},{"text":" {term} ","type":"text","marks":[{"type":"em"}]},{"text":"is defined as exactly an instance of ","type":"text","marks":[{"type":"strong"}]},{"text":"{conditions}","type":"text","marks":[{"type":"em"}]},{"text":"” for necessary and sufficient conditions","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Agent(x) ↔ (Person(x) ∨ GroupOfAgents(x) ∨ EngineeredSystem(x)) ∧ ∃y (AgentRole(y) ∧ hasRole(x,y))","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"every","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text"},{"text":"instance of","type":"text","marks":[{"type":"strong"}]},{"text":" ‘agent’ ","type":"text"},{"text":"is defined as exactly an instance of","type":"text","marks":[{"type":"strong"}]},{"text":" ‘person’, ‘group of agents’, or ‘engineered system’ that ‘has role’ some ‘agent role’","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The following syntax ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be used:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A construct label ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be used and its exact syntax preserved for constructs in this or an imported ontology","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Quotes (","type":"text"},{"text":"'","type":"text","marks":[{"type":"code"}]},{"text":")","type":"text"},{"text":" MUST","type":"text","marks":[{"type":"strong"}]},{"text":" surround all labels ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The words “is a” ","type":"text"},{"text":"MUST NOT ","type":"text","marks":[{"type":"strong"}]},{"text":"be used without a qualification","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"“is a subclass of” ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be used to indicate a subclass relationship","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"“is an instance of” ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"be used to indicate an instance of a universal","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Variables ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be used where needed in formulating the definition","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The rules for ","type":"text"},{"text":"natural language definitions","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be applied otherwise","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"‘product’: ","type":"text"},{"text":"every instance of ","type":"text","marks":[{"type":"strong"}]},{"text":"‘product' ","type":"text"},{"text":"is defined as exactly","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text"},{"text":"an instance of","type":"text","marks":[{"type":"strong"}]},{"text":" (‘continuant’ and not ‘person’ and not ‘organization’ and not ‘specifically dependent continuant’) that ‘bears' some ‘product role’ ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"‘agent’: ","type":"text"},{"text":"every","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text"},{"text":"instance of","type":"text","marks":[{"type":"strong"}]},{"text":" ‘agent’ ","type":"text"},{"text":"is defined as exactly","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text"},{"text":"an instance of","type":"text","marks":[{"type":"strong"}]},{"text":" ‘person’, ‘group of agents’, or ‘engineered system’ that ‘has role’ some ‘agent role’","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"logic axiom ","type":"text","marks":[{"type":"strong"}]},{"text":" - ","type":"text"},{"text":"iof-av:logicAxiom","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: logical statements constraining the interpretation of the notion represented by the construct that does not provide necessary and sufficient conditions","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Note: This annotation property is an abstraction of the more specialized logic axiom annotations used in IOF. However, this annotation property can also be used to group the logic axiom annotation values of different forms (such as FOL and natural language) that express the same meaning for a particular construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A first-order logic axiom expression and a semi-formal natural language axiom expression ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be added as property values for each logic axiom annotation using one of each of the corresponding logic axiom annotation sub-properties","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"codeBlock","content":[{"text":"iof-av:logicAxiom [\n iof-av:firstOrderLogicAxiom \"GenericallyDependentContinuant(x) ∧ ∃e(Entity(e) ∧ isAbout(x,e)) ->InformationContentEntity(x)\" ;\n iof-av:semiFormalNaturalLanguageAxiom \"x is a 'Generically Dependent Continuant' that 'is About' some 'Entity' e implies x is an 'Information Content Entity'\" ;\n] .","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"first-order logic axiom","type":"text","marks":[{"type":"strong"}]},{"text":" - ","type":"text"},{"text":"iof-av:firstOrderLogicAxiom","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: ","type":"text"},{"text":"axiom","type":"text","marks":[{"type":"em"}]},{"text":" of construct using predicate logic semantics","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"First-order logic axiom","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MAY ","type":"text","marks":[{"type":"strong"}]},{"text":"be provided if the construct is primitive or non-primitive. ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"With the implication arrow → the left is sufficient, and the right is necessary","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A construct ","type":"text","marks":[{"type":"em"}]},{"text":"MAY","type":"text","marks":[{"type":"strong"},{"type":"em"}]},{"text":" have more than one first-order logic axiom annotation","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A first-order logic axiom value ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" adhere to ","type":"text"},{"text":"first-order logic definition","type":"text","marks":[{"type":"strong"}]},{"text":" syntax","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If there is more than one axiom, the axiom ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":" be associated with the semi-formal natural axiom","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples","type":"text"},{"text":":","type":"text","marks":[{"type":"textColor","attrs":{"color":"#ff991f"}}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"GenericallyDependentContinuant(x) ∧ ∃e(Entity(e) ∧ isAbout(x,e)) →","type":"text","marks":[{"type":"code"}]},{"type":"hardBreak"},{"text":"InformationContentEntity(x)","type":"text","marks":[{"type":"code"}]}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"semi-formal natural language axiom","type":"text","marks":[{"type":"strong"}]},{"text":" - ","type":"text"},{"text":"iof-av:semiFormalNaturalLanguageAxiom","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: transitional definition expressing first-order logic ","type":"text"},{"text":"axiom","type":"text","marks":[{"type":"em"}]},{"text":" using semantics understandable by ontologically knowledgable domain practitioner without predicate logic semantics","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Semi-formal natural language axioms","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MAY ","type":"text","marks":[{"type":"strong"}]},{"text":"be provided if the term is primitive (","type":"text"},{"text":"is primitive","type":"text","marks":[{"type":"em"}]},{"text":" is ","type":"text"},{"text":"true","type":"text","marks":[{"type":"code"}]},{"text":" )","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A construct ","type":"text","marks":[{"type":"em"}]},{"text":"MAY","type":"text","marks":[{"type":"strong"},{"type":"em"}]},{"text":" include more than one semi-formal natural language axiom annotation","type":"text","marks":[{"type":"em"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The definition ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" adhere to ","type":"text"},{"text":"semi-formal natural language definition","type":"text","marks":[{"type":"strong"}]},{"text":" syntax","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If there is more than one axiom, the axiom ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":" be associated with the first-order logic axiom","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"All variables refer to instances","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Rules for writing a necessary or sufficient axiom:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"use ","type":"text"},{"text":"if","type":"text","marks":[{"type":"strong"}]},{"text":" and ","type":"text"},{"text":"then","type":"text","marks":[{"type":"strong"}]},{"text":" to indicate the implication/conditional pattern for necessary or sufficient axiom: ","type":"text"},{"text":"if","type":"text","marks":[{"type":"strong"}]},{"text":" antecedent, ","type":"text"},{"text":"then","type":"text","marks":[{"type":"strong"}]},{"text":" consequent","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"AgentRole(x) → Role(x) ∧ ∃m ∃n ((MaterialEntity(m) ∧ ¬FiatObjectPart(x)) ∧ (Person(n) ∨ GroupOfAgents(n) ∨ EngineeredSystem(n)) ∧ actsOnBehalfOfAtSomeTime(m, n) ∧ roleOf(x,m))","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"'agent role': ","type":"text"},{"text":"if","type":"text","marks":[{"type":"strong"}]},{"text":" x is an instance of 'agent role', ","type":"text"},{"text":"then","type":"text","marks":[{"type":"strong"}]},{"text":" x is an instance of 'role' that is the 'role of' some ('material entity' and not 'fiat object part') that 'acts on behalf of at some time' some other 'person', 'group of agents', or 'engineered system'","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"use ","type":"text"},{"text":"some type of","type":"text","marks":[{"type":"strong"}]},{"text":" for a universal pattern","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"InformationContentEntity(x) ∧ ∃c, ∃r ( continuant(c) ∧ RequirementSpecification(r) ∧ satisfies(x,r) ∧ prescribes(x,c)) ∧ ∀c'(prescribes(x,c') → Continuant(c')) → DesignSpecification(x)","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":" if","type":"text","marks":[{"type":"strong"}]},{"text":" d","type":"text"},{"text":" is a","type":"text","marks":[{"type":"strong"}]},{"text":" ‘design specification’, ","type":"text"},{"text":"then","type":"text","marks":[{"type":"strong"}]},{"text":" d ","type":"text"},{"text":"is an","type":"text","marks":[{"type":"strong"}]},{"text":" ‘information content entity’ that ‘prescribes' ","type":"text"},{"text":"some ","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text"},{"text":"type of","type":"text","marks":[{"type":"strong"}]},{"text":" 'continuant'","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"use whenever when representing a multi-place temporal expression","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"∀ p,q,t (hasContinuantPart(p, q, t) ∧ instanceOf(p, MaterialEntity, t) → instanceOf(q, site, t) ∨ instanceOf(q, ContinuantFiatBoundary, t) ∨ instanceOf(q, MaterialEntity, t)","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"whenever","type":"text","marks":[{"type":"strong"}]},{"text":" a ‘material entity’ ‘has part’ y ","type":"text"},{"text":"then","type":"text","marks":[{"type":"strong"}]},{"text":" y must be a ‘site’ or a ‘material entity’ or a ‘continuant fiat boundary’","type":"text"}]}]}]}]}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Example Annotations","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"example","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"skos:example","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: supplies an example of the use of a concept [skos]","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"ex:organizationsOfScienceAndCulture skos:example","type":"text","marks":[{"type":"code"}]},{"text":": \"academies of science, general museums, world fairs\" [skos]","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"example","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" provide a correct use of the construct in a domain context","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"constructs","type":"text"},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"include","type":"text"},{"text":" example","type":"text","marks":[{"type":"em"}]}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Source Annotations","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"see also","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"rdfs:seeAlso","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: ","type":"text"},{"text":"rdfs:seeAlso","type":"text","marks":[{"type":"code"}]},{"text":" is an instance of ","type":"text"},{"text":"rdf:Property","type":"text","marks":[{"type":"code"}]},{"text":" that is used to indicate a resource that might provide additional information about the subject resource [rdfs]","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"see also","type":"text","marks":[{"type":"em"}]},{"text":": ","type":"text"},{"type":"inlineCard","attrs":{"url":"https://www.w3.org/wiki/UsingSeeAlso"}},{"text":" ","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The reference ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be a concise reference to the related documentation","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"The reference ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be a URL, if possible, otherwise a brief description of the external reference","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":3},"content":[{"text":"Addressing Citations","type":"text"}]},{"type":"paragraph","content":[{"text":"A source is a related resource from which the described resource is derived. Since annotations can be applied to annotations, the appropriate source annotation property described below ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be attached to the element where the influence of the source manifests. This element could be an entire construct or an annotation on a construct such as a natural language definition. A source annotation ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be concise, but may be in the form of a URL, bibliographic citation, or other standard description.","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"direct source","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:directSource","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: definitive source of the subject resource","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"adapted from","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:adaptedFrom","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: source for the resource that was modified to create the subject resource","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Notes","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"comment","type":"text","marks":[{"type":"strike"},{"type":"strong"}]},{"text":" – ","type":"text","marks":[{"type":"strike"}]},{"text":"rdfs:comment","type":"text","marks":[{"type":"strike"},{"type":"strong"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"comment","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST NOT","type":"text","marks":[{"type":"strong"}]},{"text":" be used. Use one of the following instead:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:explanatoryNote","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:usageNote","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"skos:scopeNote","type":"text","marks":[{"type":"code"}]}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"explanatory note","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:explanatoryNote","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: supplemental information used to clarify or describe the construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"explanatory note","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" be used to supplement the natural language definition of the construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: “Item is another term semantically close to Product. But it is more general because the Item may not sellable. It is an overloaded term used by information systems to capture catalog information about real and sort of unreal (e.g., product family or option class which is a group of similar products) materials the enterprise concerns with.”","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"usage note","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:usageNote","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: describes how to use the term in particular situations ","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"usage note","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" be used to describe how the term is used in particular situations through an example instantiation.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: “This is how the Supplying Relation class may be used to convey who supplies what to who. SupplierRole(sr1) and BuyerRole(br1) and Product(p1) and SupplyingRelation(s1) and specificallyDependsOn(s1, sr1) and specificallyDependsOn(br1, s1) and specificallyDependsOn(p1,s1)” ","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"scope note","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"skos:scopeNote","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"If required, ","type":"text"},{"text":"scope note","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" be used to provide additional domain contextualization on the use of the term","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"From ","type":"text"},{"text":"skos","type":"text","marks":[{"type":"em"}]},{"text":":","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"A note that helps to clarify the meaning and/or the use of a concept","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example:","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Synonyms and Abbreviations","type":"text","marks":[{"type":"strong"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"General Rules","type":"text","marks":[{"type":"strong"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Synonyms and abbreviations","type":"text"},{"text":" MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"include language tag ","type":"text"},{"text":"xml:lang","type":"text","marks":[{"type":"code"}]},{"text":".","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"synonym ","type":"text","marks":[{"type":"strong"}]},{"text":"– ","type":"text"},{"text":"iof-av:synonym","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: alternate label that may help users discover the construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"synonym","type":"text","marks":[{"type":"em"}]},{"text":" ","type":"text"},{"text":"MAY","type":"text","marks":[{"type":"strong"}]},{"text":" be used to indicate alternate term. If alternate term is context specific, it ","type":"text"},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" be supplemented with the scope note annotation.","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Example: ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"“process plan” is a synonym for the “plan specification” in the context/scope of discrete manufacturing, “recipe” is a synonym for the “plan specification” in the context/scope of batch and continuous manufacturing.","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"symbol","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:symbol","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: terse designation (abbreviation) for the construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"One ","type":"text"},{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"use","type":"text"},{"text":" symbol","type":"text","marks":[{"type":"em"}]},{"text":" when a commonly used abbreviation exists, such as chemical symbols or units of measure","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"m (meter)","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"C (carbon)","type":"text"}]}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"abbreviation – ","type":"text","marks":[{"type":"strong"}]},{"text":"iof-av:abbreviation","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: alternate short label for the element","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"One","type":"text"},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"SHOULD","type":"text","marks":[{"type":"strong"}]},{"text":" ","type":"text","marks":[{"type":"em"}]},{"text":"use","type":"text"},{"text":" abbreviation","type":"text","marks":[{"type":"em"}]},{"text":" when there is an alternate short label","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"One ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" use ","type":"text"},{"text":"symbol","type":"text","marks":[{"type":"em"}]},{"text":" if the ","type":"text"},{"text":"abbreviation","type":"text","marks":[{"type":"em"}]},{"text":" is a chemical or unit of measure.","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"acronym","type":"text","marks":[{"type":"strong"}]},{"text":" –","type":"text"},{"text":" ","type":"text","marks":[{"type":"strong"}]},{"text":"iof-av:acronym","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: specialized abbreviation","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"One ","type":"text"},{"text":"SHOULD ","type":"text","marks":[{"type":"strong"}]},{"text":"use","type":"text"},{"text":" acronym","type":"text","marks":[{"type":"em"}]},{"text":" when there is a commonly accepted acronym","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Examples:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"PLM (Product Lifecycle Maintenance)","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"CAD (Computer Aided Design)","type":"text"}]}]}]}]}]}]}]},{"type":"heading","attrs":{"level":1},"content":[{"text":"Maturity","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"maturity ","type":"text","marks":[{"type":"strong"}]},{"text":"– ","type":"text"},{"text":"iof-av:maturity","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: annotation property used to indicate the development status of a resource such as an ontology or a construct","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Each IOF ontology ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" have exactly one maturity annotation with a value of type ","type":"text"},{"text":"iof-av:MaturityLevel","type":"text","marks":[{"type":"code"}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Each construct within an ontology will default to the (i.e., be assumed to have the same) maturity of the ontology unless an explicit maturity annotation for the construct indicates otherwise","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Each construct ","type":"text"},{"text":"MAY ","type":"text","marks":[{"type":"strong"}]},{"text":"have a maturity annotation, indicating the specific construct’s status of development","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"One ","type":"text"},{"text":"MUST ","type":"text","marks":[{"type":"strong"}]},{"text":"use the following vocabulary when specifying the maturity:","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:Released","type":"text","marks":[{"type":"code"}]},{"text":" ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Will not be removed from the ontology for a reasonable length of time","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Indicates an ontology or construct that is considered to be stable and mature from a development perspective","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Release notes will be provided for any changes concerning released content, and any revisions will be backward compatible with the prior version to the degree possible","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:Provisional","type":"text","marks":[{"type":"code"}]},{"text":" ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Indicates an ontology or construct that is considered to be under development","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Provisional content is subject to change and may change substantially before release. IOF users should be aware that it is not dependable but could be used for reference and as the basis for further work","type":"text"}]}]}]}]}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"Ontology Annotations","type":"text"}]},{"type":"paragraph","content":[{"text":"The following annotations apply to an entire IOF ontology and not to individual constructs of the ontology","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"copyright","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"iof-av:copyright","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: originator’s and authorized entity’s exclusive legal right to print, distribute, and publish material","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Ontologies ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" have a ","type":"text"},{"text":"copyright","type":"text","marks":[{"type":"em"}]},{"text":" annotation","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"license","type":"text","marks":[{"type":"strong"}]},{"text":" – ","type":"text"},{"text":"dcterms:license","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Defintion: legal document giving official permission to do something with the resource [dcterms]","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Ontologies ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" have a ","type":"text"},{"text":"license","type":"text","marks":[{"type":"em"}]},{"text":" annotation","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"abstract","type":"text","marks":[{"type":"strong"}]},{"text":" - ","type":"text"},{"text":"dcterms:abstract","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: A summary of the resource [dcterms]","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Ontologies ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" have an ","type":"text"},{"text":"abstract","type":"text","marks":[{"type":"em"}]},{"text":" annotation","type":"text"}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"maturity ","type":"text","marks":[{"type":"strong"}]},{"text":"– ","type":"text"},{"text":"iof-av:maturity","type":"text","marks":[{"type":"code"}]}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Definition: default maturity level of the ontology","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Ontologies ","type":"text"},{"text":"MUST","type":"text","marks":[{"type":"strong"}]},{"text":" have a ","type":"text"},{"text":"maturity","type":"text","marks":[{"type":"em"}]},{"text":" annotation","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"See ","type":"text"},{"text":"maturity","type":"text","marks":[{"type":"strong"}]},{"text":" above","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":1},"content":[{"text":"Prefixes and Namespaces","type":"text"}]},{"type":"paragraph","content":[{"text":"This document identifies each annotation property using an abbreviated form of its full IRI with the structure :, where the prefix represents the namespace IRI, and the local name is the identifier for the resource within the namespace. The full IRI is the concatenation of the local name to the namespace IRI; for example, ","type":"text"},{"text":"skos:scopeNote","type":"text","marks":[{"type":"code"}]},{"text":" represents ","type":"text"},{"text":"http://www.w3.org/2004/02/skos/core#","type":"text","marks":[{"type":"link","attrs":{"href":"http://www.w3.org/2004/02/skos/core#"}}]},{"text":"scopeNote. An ontology author may never use this expanded form directly. However, for completeness, a table below is provided that enumerates all the prefixes used in the document along with the namespaces that they represent. ","type":"text"}]},{"type":"table","attrs":{"layout":"default","localId":"52c52aff-9816-44d2-8069-fd61ac7c74ed"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"Prefix","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"Namespace","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"dcterms","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"http://purl.org/dc/terms/","type":"text","marks":[{"type":"link","attrs":{"href":"http://purl.org/dc/terms/"}}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"iof-av","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"https://purl.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/","type":"text","marks":[{"type":"link","attrs":{"href":"https://purl.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/"}}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"owl","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"http://www.w3.org/2002/07/owl#","type":"text","marks":[{"type":"link","attrs":{"href":"http://www.w3.org/2002/07/owl#"}}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"rdfs","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"http://www.w3.org/2000/01/rdf-schema","type":"text","marks":[{"type":"link","attrs":{"href":"http://www.w3.org/2000/01/rdf-schema"}}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"skos","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[380.0]},"content":[{"type":"paragraph","content":[{"text":"http://www.w3.org/2004/02/skos/core#","type":"text","marks":[{"type":"link","attrs":{"href":"http://www.w3.org/2004/02/skos/core#"}}]}]}]}]}]},{"type":"heading","attrs":{"level":1},"content":[{"text":"Appendix","type":"text"}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"A. Reference Documents","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"ISO 704","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"https://oagiscore.atlassian.net/wiki/pages/viewpageattachments.action?pageId=4399431681&preview=%2F4399431681%2F4399267856%2FISO704_2009.pdf","type":"text","marks":[{"type":"link","attrs":{"href":"https://oagiscore.atlassian.net/wiki/pages/viewpageattachments.action?pageId=4399431681&preview=%2F4399431681%2F4399267856%2FISO704_2009.pdf#"}}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"ISO 10241 ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"https://oagiscore.atlassian.net/wiki/download/attachments/3664838679/ISO_IEC_21838-1.pdf?api=v2","type":"text","marks":[{"type":"link","attrs":{"href":"https://oagiscore.atlassian.net/wiki/download/attachments/3664838679/ISO_IEC_21838-1.pdf?api=v2"}}]}]}]}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"ISO/IEC 21383-2:2020 (EN) Information Technology – Top-Level Ontology – Basic Formal Ontology ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Link w/o paywall?","type":"text","marks":[{"type":"textColor","attrs":{"color":"#bf2600"}}]}]}]}]}]}]},{"type":"blockquote","content":[{"type":"paragraph","content":[{"text":"6.2.3.2 Upper case characters, mathematical symbols, typographical signs and syntactic signs (e.g. punctuation marks, hyphens, parentheses, square brackets and other connectors or delimiters) as well as their character styles (i.e. fonts and bold, italic, bold italic, or other style conventions) shall be used in a term only if they constitute part of the normal written form of the term as conventionally used in running text. Syntactic signs shall not be used to show alternative terms. For complex terms (e.g. compounds and multiword terms), the natural word order shall be retained.","type":"text"}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"B. Future Maturity Level for Consideration","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"iof-av:Informative","type":"text","marks":[{"type":"code"}]},{"text":" ","type":"text"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"Construct that is considered deprecated but included for informational purposes because it is referenced by some provisional concept","type":"text"}]}]},{"type":"listItem","content":[{"type":"paragraph","content":[{"text":"informative content will be ","type":"text"},{"text":"removed as soon as all dependencies have been eliminated; thus","type":"text","marks":[{"type":"strong"}]},{"text":" IOF users should not depend on it going forward","type":"text"}]}]}]}]}]},{"type":"heading","attrs":{"level":2},"content":[{"text":"C. Voting","type":"text"}]},{"type":"table","attrs":{"layout":"default","isNumberColumnEnabled":true,"localId":"9d846118-d90c-42fb-8271-e3a22ac3a5b9"},"content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"background":"var(--ds-background-neutral, #F4F5F7)","rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"text":"Member","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"background":"var(--ds-background-neutral, #F4F5F7)","rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"Vote","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph","content":[{"text":"Comments","type":"text","marks":[{"type":"strong"}]}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"6054b894695c39007086d744","text":"@William Sobel"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"6054c4be86b0dd007194feb2","text":"@Farhad Ameri (Unlicensed)"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"557058:398e51c0-4cd3-4a05-ac07-fbed13961467","text":"@Elisa Kendall"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5e61bb24ca52800b5058038d","text":"@Chris Will"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"557058:710a2240-1039-4eef-af0a-cb5de55afef3","text":"@Dusan Sormaz"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"text":"Walter Terkaj","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5acc938e6f41620ce1ad51dc","text":"@Melinda Hodkiewicz"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"61815d46b9c549006f5188f5","text":"@Rebecca Siafaka"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5bc5ec2c5b8ba5286cb9aa3a","text":"@Dimitris Kiritsis"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5bc5ec2a473af00a40fb589e","text":"@Serm Kulvatunyou"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"557058:8c46cc8b-d451-4d0b-a7c0-ea22af0e9c54","text":"@Evan Wallace"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"60d9713970941d0069dc52fd","text":"@Hedi Karray"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"text":"Hyunmin Cheong","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5f81a9f5b61f66006f61d97f","text":"@Jinzhi Lu (Unlicensed)"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5bc5ec095c97292bb2278114","text":"@Ana Correia"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"5bc5ee3ea839b0337f7c6625","text":"@tschneider"}}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph","content":[{"text":"With reservations:","type":"text"}]},{"type":"mediaGroup","content":[{"type":"media","attrs":{"id":"0967134f-9498-4107-842e-9ec8ef29a5f8","collection":"contentId-4506779649","type":"file"}}]},{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"557058:2d08e895-0310-4094-9774-249e2f32d305","text":"@Peter Denno"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"type":"mention","attrs":{"id":"61ddaa10f3037f0069644a0d","text":"@Alexandru Todor"}},{"text":" ","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","content":[{"text":"Thomas Hanke","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph"}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[291.0]},"content":[{"type":"paragraph","marks":[{"type":"alignment","attrs":{"align":"end"}}],"content":[{"text":"Total","type":"text","marks":[{"type":"strong"}]}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[89.0]},"content":[{"type":"paragraph","content":[{"text":"YES: 14, NO: 0, No Response: 5","type":"text"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":[519.0]},"content":[{"type":"paragraph"}]}]}]},{"type":"paragraph"}],"version":1}