{"id":389342,"date":"2024-10-20T03:49:34","date_gmt":"2024-10-20T03:49:34","guid":{"rendered":"https:\/\/pdfstandards.shop\/product\/uncategorized\/bs-iso-iec-21838-22021\/"},"modified":"2024-10-26T07:01:11","modified_gmt":"2024-10-26T07:01:11","slug":"bs-iso-iec-21838-22021","status":"publish","type":"product","link":"https:\/\/pdfstandards.shop\/product\/publishers\/bsi\/bs-iso-iec-21838-22021\/","title":{"rendered":"BS ISO\/IEC 21838-2:2021"},"content":{"rendered":"
PDF Pages<\/th>\n | PDF Title<\/th>\n<\/tr>\n | ||||||
---|---|---|---|---|---|---|---|
2<\/td>\n | National foreword <\/td>\n<\/tr>\n | ||||||
7<\/td>\n | Foreword <\/td>\n<\/tr>\n | ||||||
8<\/td>\n | Introduction <\/td>\n<\/tr>\n | ||||||
11<\/td>\n | 1 Scope 2 Normative references 3 Terms and definitions <\/td>\n<\/tr>\n | ||||||
13<\/td>\n | 4 Conformity of BFO-2020 to ISO\/IEC 21838\u20111 4.1 Overview 4.2 Natural language representation of BFO-2020 4.3 OWL 2 formalization of BFO-2020 4.4 Common Logic axiomatization of BFO-2020 4.4.1 General <\/td>\n<\/tr>\n | ||||||
14<\/td>\n | 4.4.2 Modularity 4.5 Specification of the purpose of BFO (in conformance with ISO\/IEC 21838\u20111:2021, 4.4.2) 4.5.1 General 4.5.2 Example Open Biomedical Ontologies (OBO) 4.5.3 Example Common Core Ontologies (CCO) <\/td>\n<\/tr>\n | ||||||
15<\/td>\n | 4.6 Description of how conformance of a domain ontology to BFO is established (in conformance with ISO\/IEC 21838\u20111:2021, 4.4.3) 4.6.1 Overview 4.6.2 Conformance through direct extension <\/td>\n<\/tr>\n | ||||||
16<\/td>\n | 4.6.3 Conformance through indirect extension 4.6.4 Conformance through re-engineering 4.6.5 Validating conformance to BFO 4.7 Specification of how consistency of the CL axiomatization of BFO-2020 is demonstrated (in conformance with ISO\/IEC 21838\u20111:2021, 4.4.4) 4.7.1 Overview <\/td>\n<\/tr>\n | ||||||
17<\/td>\n | 4.7.2 Documentation 4.7.3 Structure of the model 4.8 Description of how interpretability of the OWL 2 axiomatization of BFO-2020 in the CL axiomatization is established (in conformance with ISO\/IEC 21838\u20111:2021, 4.4.5) 4.8.1 Interpretability proof strategy for BFO-2020-OWL <\/td>\n<\/tr>\n | ||||||
18<\/td>\n | 4.8.2 Interpretability for alternative axiomatizations of BFO-2020 <\/td>\n<\/tr>\n | ||||||
19<\/td>\n | 4.9 Demonstration of breadth of coverage of BFO (in conformance with with ISO\/IEC 21838\u20111:2021, 4.4.6) 4.9.1 General 4.9.2 Space and time 4.9.3 Actuality and possibility 4.9.4 Classes and types 4.9.5 Change over time <\/td>\n<\/tr>\n | ||||||
20<\/td>\n | 4.9.6 Parts, wholes, unity and boundaries 4.9.7 Space and place 4.9.8 Scale and granularity 4.9.9 Qualities and other attributes 4.9.10 Quantities and mathematical entities <\/td>\n<\/tr>\n | ||||||
21<\/td>\n | 4.9.11 Processes and events 4.9.12 Constitution 4.9.13 Causality 4.9.14 Information and reference 4.9.15 Artefacts and socially constructed entities <\/td>\n<\/tr>\n | ||||||
22<\/td>\n | 4.9.16 Mental entities; imagined entities; fiction; mythology; religion 4.10 Documentation of ontology management principles (in conformance with ISO\/IEC 21838\u20111:2021, 4.4.8) <\/td>\n<\/tr>\n | ||||||
23<\/td>\n | Bibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":" Information technology. Top-level ontologies (TLO) – Basic Formal Ontology (BFO)<\/b><\/p>\n |