Draft:ISO/IEC 21838
Review waiting, please be patient.
This may take 4 months or more, since drafts are reviewed in no specific order. There are 2,606 pending submissions waiting for review.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
Reviewer tools
|
Submission declined on 27 January 2023 by Chess (talk). The proposed article does not have sufficient content to require an article of its own, but it could be merged into the existing article at Basic Formal Ontology. Since anyone can edit Wikipedia, you are welcome to add that information yourself. Thank you. This draft's references do not show that the subject qualifies for a Wikipedia article. In summary, the draft needs multiple published sources that are:
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
This draft has been resubmitted and is currently awaiting re-review. |
Comment: These are good sources for Basic Formal Ontology, but not for the ISO/IEC standard outlining it. You'd be better off creating subsections in top-level ontology and Basic Formal Ontology for the ISO/IEC standard. These articles are underdeveloped.We don't need a separate article on the standard itself if the standard is just defining a topic we have an article on already, and said standard hasn't had coverage independent of the topic. Office Open XML is an example of how this might be done. Chess (talk) (please use
{{reply to|Chess}}
on reply) 13:55, 27 January 2023 (UTC)
Comment: Thank you for including references in your submission. Please help our volunteer reviewers by identifying, on the draft's talk page, the WP:THREE best sources that establish notability of the subject. ~Kvng (talk) 03:32, 24 January 2023 (UTC)
Comment: (a) The lead needs a one-sentence, plain-English explanation of what this is (b) many / most of the sources are not independent. Stuartyeates (talk) 04:51, 13 November 2022 (UTC)Done Stuartyeates
Comment: (a) The lead needs a one-sentence, plain-English explanation of what this is (b) many / most of the sources are not independent. Stuartyeates (talk) 04:51, 13 November 2022 (UTC)Done Stuartyeates
ISO/IEC 21838[1][2][3][4][5] is a multi-part standard published by the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC) in 2001, which outlines requirements for top-level ontology development and describes several top-level ontologies that satisfy those requirements, including Basic Formal Ontology (BFO)[6], Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE), and TUpper. ISO/IEC 21838 is intended to promote interoperability among lower level, domain-specific ontologies, and to foster coherent ontology design, for example, through the coordinated re-engineering of legacy ontologies which have been developed using heterogeneous top-level categories.
Background
[edit]ISO/IEC 21838 was developed by Subcommittee 32 for Data Management and Interchange,[7] of the ISO and IEC Joint Technical Committee 1 for Information Technology[8]. The standard consists thus far of four parts:
- ISO/IEC 21838-1:2021 Information technology - Top-level ontologies (TLO) - Part 1: Requirements, which describes characteristics required of domain-neutral top-level ontologies for use with lower-level domain ontologies to support data exchange, retrieval, discovery, integration and analysis.
- ISO/IEC 21838-2:2021 Information technology - Top-level ontologies (TLO) - Part 2: Basic Formal Ontology (BFO) describes Basic Formal Ontology (BFO), as an ontology conformant to the requirements specified in ISO/IEC 21838-1.
- ISO/IEC 21838-3:2023 Information Technology - Top-level ontologies (TLO) - Part 3: Descriptive ontology for linguistic and cognitive engineering (DOLCE) describes Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE), as an ontology conformant to the requirements specified in ISO/IEC 21838-1.
- ISO/IEC 21838-4:2023 Information Technology - Top-level ontologies (TLO) - Part 4: TUpper describes TUpper, as an ontology conformant to the requirements specified in ISO/IEC 21838-1.
Top-Level Ontology Requirements
[edit]ISO/IEC 21838-1[1] prescribes the following requirements for any top-level ontology.
A TLO shall include a textual artifact represented by a natural language document providing:
- A list of domain-neutral terms and relational expressions
- Identification of primitive terms, i.e. terms that cannot be defined without circularity.
- Definitions of all non-primitive terms and relational expressions that are non-circular, form a consistent set, and are concise, i.e. contain no redundant elements.
- The signature of the TLO shall contain no terms or relational expressions that are used exclusively in one or in a restricted group of domains.
In addition the TLO shall be made available via at least one machine-readable axiomatization in either:
- OWL 2 with the direct semantics,[9][10] or
- a Description Logic (DL) that is designated by the World Wide Web Consortium[11] as a successor of OWL 2
The TLO shall further be made available via a Common Logic (CL) axiomatization conforming to ISO/IEC 24707.
The ontology documentation specified above shall be made publicly available and consist of:
- A natural language document designed to support use and maintenance of the ontology by human users
- An axiomatization of the ontology in OWL 2 with direct semantics designed to support computational reasoning
- Where relevant, a CL axiomatization of the ontology in an ISO/IEC 24707 conformant language
Supplementary documentation shall be made publicly available:
- Specifying how the ontology is used or is intended to be used
- Specifying how the OWL axiomatization is logically derivable from the CL axiomatization
- Demonstrating the breadth of coverage of the ontology
- Documenting policies for ontology management
Demonstrating Breadth of Coverage
[edit]To demonstrate a sufficiently broad coverage domain and thus to show that it is a true top-level ontology, each candidate TLO is required to show that it has a very wide range of application, ideally one that covers all entities in the universe. Given that the main purpose of the TLO is to enhance the data in a range of databases in such a way as to promote their integration and discoverability, it suffices to demonstrate that coverage domain of the candidate TLO extends across a very broad and diverse range of types of data which the terms in the ontology may then be used to annotate. The strategy for demonstrating breadth of coverage accordingly rests on the provision in ISO/IEC 21838-1 of a list of types of data, including data about:
- Space and time; space and place; time and change
- Parts, wholes, unity and boundaries
- Scale and granularity
- Quantities and mathematical entities
- Causality, processes[14] and events
- Constitution
- Information and reference[15]
- Artifacts and socially constructed entities (such as money)
- Mental entities
Each candidate TLO is required to specify how it will deal with data under all, or nearly all, of these headings, or to specify ontologies built using this TLO which already serve this purpose. Basic Formal Ontology, for example (see below), has no native term for information entities such as sentences or data items or publications. These terms are however supplied by the BFO-conformant Information Artifact Ontology (IAO).[16]
Basic Formal Ontology as a Top-Level Ontology
[edit]ISO/IEC 21838-2[2] describes how Basic Formal Ontology (BFO) satisfies the requirements of ISO/IEC 21838-1. BFO is an ontology developed by Barry Smith and his collaborators. A BFO textbook was published in 2015[17][18] to promote interoperability among the very large number of domain ontologies[19][20] built using its terms and relational expressions.[21]
The BFO ontology is documented in the ISO Standards Maintenance Portal here.[22] This includes:
- A natural language document providing domain-neutral terms and relational expressions accompanied by concise, consistent, and non-circular definitions[23] for all non-primitive terms[24]
- A signature containing no terms or relational expressions used exclusively in one or in a restricted group of domains.
- An axiomatization in OWL 2 with the direct semantics.[25]
- An axiomatization in CL.[26]
- Specification of the logical derivability of the OWL axiomatization from the CL axiomatization, and breadth of ontology coverage.
- A specification of the different ways in which developers of ontologies at lower levels can demonstrate conformity to BFO.
- Reference to the statement of principles of use and management of the ontology provided by the Open Biological and Biomedical Ontologies (OBO) Foundry, principles which are adopted by the BFO developer community.[27]
In addition, the community of BFO developers and users has provided:
- A publicly available ontology developers' guide,[28]
- Publicly available repositories for the OWL 2 and CL axiomatizations incorporating commentary on these axiomatizations and identifying candidate areas for revision.[29][30][31][32]
See Also
[edit]References
[edit]- ^ a b "ISO/IEC 21838-1:2021". ISO. 14:00-17:00. Retrieved 2022-10-22.
- ^ a b "ISO/IEC 21838-2:2021". ISO. 14:00-17:00. Retrieved 2022-10-22.
- ^ "ISO/IEC 21838-3:2023". ISO. Retrieved 6 April 2024.
- ^ "ISO/IEC 21838-4:2023". ISO. Retrieved 6 April 2024.
- ^ "Smith's ontology work recognized as global standard". www.buffalo.edu. Retrieved 2022-11-18.
- ^ Jansen, Ludger; Brochhausen, Mathias. "KI und Philosophie: Begriffe in Schichten". FAZ.NET (in German). ISSN 0174-4909. Retrieved 2022-11-18.
- ^ "ISO/IEC JTC 1/SC 32 - Data management and interchange". ISO. 3 March 2014. Retrieved 2022-10-29.
- ^ "Home". JTC 1. Retrieved 2022-10-29.
- ^ "OWL 2 Web Ontology Language Direct Semantics (Second Edition)". www.w3.org. Retrieved 2022-10-22.
- ^ "Direct Semantics - OWL". www.w3.org. Retrieved 2022-10-22.
- ^ "World Wide Web Consortium (W3C)". www.w3.org. Retrieved 2022-10-22.
- ^ Arp, Robert; Smith, Barry. "Realizable Entities in Basic Formal Ontology" (PDF). Retrieved 31 March 2024.
- ^ Arp, Robert; Smith, Barry (2008-06-03). "Function, Role, and Disposition in Basic Formal Ontology". Nature Precedings: 1. doi:10.1038/npre.2008.1941.1. ISSN 1756-0357.
- ^ Smith, Barry (2012-12-01). "Classifying Processes: An Essay in Applied Ontology". Ratio. 25 (4): 463–488. doi:10.1111/j.1467-9329.2012.00557.x. ISSN 0034-0006. PMC 3718480. PMID 23888086.
- ^ "Aboutness: Towards Foundations for the Information Artifact Ontology" (PDF).
- ^ "Information Artifact Ontology | NCBO BioPortal". bioportal.bioontology.org. Retrieved 2022-10-23.
- ^ Arp, Robert (2015). Building Ontologies with Basic Formal Ontology. Barry Smith, Andrew D. Spear. Cambridge, Massachusetts. ISBN 978-0-262-32958-3. OCLC 915940052.
{{cite book}}
: CS1 maint: location missing publisher (link) - ^ "Barry Smith - Ontology". ontology.buffalo.edu. Retrieved 2022-10-22.
- ^ "OBO Foundry". obofoundry.org. Retrieved 2022-11-18.
- ^ "Basic Formal Ontology (BFO) | Users". basic-formal-ontology.org. Retrieved 2022-10-22.
- ^ Information technology. Top-level ontologies (TLO), BSI British Standards, doi:10.3403/30367605, retrieved 2022-10-22
- ^ "ISO Standards Maintenance Portal". standards.iso.org. Retrieved 2022-10-23.
- ^ Seppälä, Selja; Smith, Barry; Ruttenberg, Alan; Schreiber, Yonatan (2016). "Definitions in ontologies" (PDF). Cahiers de Lexicologie. 109 (2): 175–207.
- ^ "Home · BFO-ontology/BFO Wiki". GitHub. Retrieved 2022-10-22.
- ^ "BFO-2020/21838-2/owl at master · BFO-ontology/BFO-2020". GitHub. Retrieved 2022-10-22.
- ^ "BFO-2020/21838-2/common-logic at master · BFO-ontology/BFO-2020". GitHub. Retrieved 2022-10-22.
- ^ Principles – overview [viewed 2020-04-1] available at http://www.obofoundry.org/principles/fp-000-summary.html
- ^ "Home · BFO-ontology/BFO Wiki". GitHub. Retrieved 2022-10-22.
- ^ "BFO-2020/21838-2 at master · BFO-ontology/BFO-2020". GitHub. Retrieved 2022-10-22.
- ^ "Ontobee: BFO". ontobee.org. Retrieved 2022-11-18.
- ^ "Basic Formal Ontology | NCBO BioPortal". bioportal.bioontology.org. Retrieved 2022-11-18.
- ^ "Basic Formal Ontology < Ontology Lookup Service < EMBL-EBI". www.ebi.ac.uk. Retrieved 2022-11-18.
Further Reading
[edit]- Grenon, Pierre; Smith, Barry (March 2004). "SNAP and SPAN: Towards Dynamic Spatial Ontology". Spatial Cognition & Computation. 4 (1): 69–104. Bibcode:2004SpCC....4...69G. doi:10.1207/s15427633scc0401_5. S2CID 14469822.
- Munn, Katherine; Smith, Barry (2013). Applied Ontology: An Introduction. Frankfurt: Ontos Verlag. ISBN 9783110324860.
- Neuhaus, Fabian; Grenon, Pierre; Smith, Barry (2004). "A Formal Theory of Substances, Qualities, and Universals". Formal Ontology in Information Systems. Amsterdam: IOS Press. pp. 49–59. ISBN 1586034685.
- "Basic Formal Ontology 2.0 - NCOR Wiki". ncorwiki.buffalo.edu. National Center for Ontological Research.
- Smith, Barry (15 February 2018). "Ontology for Systems Engineering (Short Version) 15 February 2018". YouTube.
- Spear, Andrew; Ceusters, Werner; Smith, Barry (2016). "Functions in Basic Formal Ontology". Applied Ontology. 11 (1). IOS Press: 103–128. doi:10.3233/AO-160164.
- Smith, Barry (2012). "On Classifying Material Entities in Basic Formal Ontology". Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting. 3. Tokyo: Keio University Press: 1–13.