BFO 2020 - Revision history

Phismith: /* ISO/IEC 21838 Top-Level Ontologies (TLO) */

2024-05-06T19:33:14Z

ISO/IEC 21838 Top-Level Ontologies (TLO)

← Older revision		Revision as of 19:33, 6 May 2024
Line 9:		Line 9:
	:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at this ISO site		:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at this ISO site
	:[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]		:[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]
	:For those working on standards this document is freely available at		:For those working on standards this document is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].
	:[https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

	==BFO 2020==		==BFO 2020==

Phismith: /* ISO/IEC 21838 Top-Level Ontologies (TLO) */

2024-02-18T21:13:19Z

ISO/IEC 21838 Top-Level Ontologies (TLO)

← Older revision		Revision as of 21:13, 18 February 2024
Line 1:		Line 1:

	==ISO/IEC 21838 Top-Level Ontologies (TLO)==		==ISO/IEC 21838 Top-Level Ontologies (TLO)==
	:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements' for being a top-level ontology.		:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements'' for being a top-level ontology.
	:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]		:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]
	:For those working on standards this document is freely available at		:For those working on standards this document is freely available at

Phismith: /* BFO 2020 */

2022-10-25T15:57:49Z

BFO 2020

← Older revision		Revision as of 15:57, 25 October 2022
Line 28:		Line 28:
	The ''pdf folder'' provides the complete set of modules in the CL axiomatization of BFO 2020 in traditional first-order logic (FOL) syntax.		The ''pdf folder'' provides the complete set of modules in the CL axiomatization of BFO 2020 in traditional first-order logic (FOL) syntax.
	The ''prover9 folder'' provides the same set of modules in prover 9 format, together with, together with		The ''prover9 folder'' provides the same set of modules in prover 9 format, together with, together with
	:temporalized-relations.p9, which ~~provdes~~ the content of temporalized-relations.cl in prover9 format		:temporalized-relations.p9, which provides the content of temporalized-relations.cl in prover9 format
	The ''model folder'' provides three versions of the model used to prove consistency of the CL formalization, in prover 9, CLIF, and clausetester formats respectivly.		The ''model folder'' provides three versions of the model used to prove consistency of the CL formalization, in prover 9, CLIF, and clausetester formats respectivly.

Phismith: /* BFO 2020 */

2022-10-25T15:57:34Z

BFO 2020

Phismith: /* ISO/IEC 21838 Top-Level Ontologies (TLO) */

2022-10-25T15:56:47Z

ISO/IEC 21838 Top-Level Ontologies (TLO)

← Older revision		Revision as of 15:56, 25 October 2022
Line 7:		Line 7:

	''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''		''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''
	:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at		:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at this ISO site
	[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]		:[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]
	:For those working on standards this document is freely available at :[https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].		:For those working on standards this document is freely available at
			:[https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

	==BFO 2020==		==BFO 2020==

Phismith: /* ISO/IEC 21838 Top-Level Ontologies (TLO) */

2022-10-25T15:56:15Z

ISO/IEC 21838 Top-Level Ontologies (TLO)

← Older revision		Revision as of 15:56, 25 October 2022
Line 3:		Line 3:
	:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements' for being a top-level ontology.		:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements' for being a top-level ontology.
	:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]		:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]
	:For those working on standards this document is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site]		:For those working on standards this document is freely available at
			:[https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site]

	''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''		''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''
	:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at		:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at
	[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]		[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]
	:For those working on standards this document is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].		:For those working on standards this document is freely available at :[https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

	==BFO 2020==		==BFO 2020==

Phismith: /* ISO/IEC 21838 Top-Level Ontologies (TLO) */

2022-05-01T18:00:44Z

ISO/IEC 21838 Top-Level Ontologies (TLO)

← Older revision		Revision as of 18:00, 1 May 2022
Line 8:		Line 8:
	:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at		:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at
	[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]		[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]
	:For those working on standards this document it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].		:For those working on standards this document is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

	==BFO 2020==		==BFO 2020==

Phismith at 00:32, 2 January 2022

2022-01-02T00:32:45Z

Phismith at 00:31, 2 January 2022

2022-01-02T00:31:31Z

← Older revision		Revision as of 00:31, 2 January 2022
Line 1:		Line 1:

	''ISO/IEC 21838 Top-Level Ontologies (TLO)''		==ISO/IEC 21838 Top-Level Ontologies (TLO)==
	:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements' for being a top-level ontology.		:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements' for being a top-level ontology.
	:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]		:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]
Line 10:		Line 10:
	:For those working on standards this document it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].		:For those working on standards this document it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

			==BFO-2020==
	''The entire content of BFO-2020 is freely available here'':		''The entire content of BFO-2020 is freely available here'':
	:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]		:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]

Phismith at 00:30, 2 January 2022

2022-01-02T00:30:35Z

← Older revision		Revision as of 00:30, 2 January 2022
Line 1:		Line 1:

	''ISO/IEC 21838-1 Top-Level Ontologies (TLO)''		''ISO/IEC 21838 Top-Level Ontologies (TLO)''
	:~~This is part~~ 1 of ~~a multipart~~ standard~~; it~~ specifies the requirements for being a top-level ontology.		:Part 1 of this standard was published by ISO in August 2021. It specifies the ''requirements' for being a top-level ontology.
	:~~It was published by ISO in August 2021, and is available at~~ [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]		:See [https://www.iso.org/standard/71954.html https://www.iso.org/standard/71954.html]
	:For those working on standards it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site]		:For those working on standards this document is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site]

	''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''		''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''
	:This is ~~part~~ 2 of the standard; it standardizes BFO as a top-level ontology conforming to Part 1.		:This is Part 2 of the standard; it standardizes BFO-2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at
	:It was published by ISO in November, 2021, and is available at
	[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]		[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]
	:For those working on standards it is freely available at ~~this~~ [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html ISO site].		:For those working on standards this document it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

	''The entire ~~formal~~ content of BFO-2020 is available here'':
			''The entire content of BFO-2020 is freely available here'':
	:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]		:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]
	:This includes:		:This includes:

← Older revision		Revision as of 15:57, 25 October 2022
Line 15:		Line 15:
	''The entire content of BFO 2020 is freely available here'':		''The entire content of BFO 2020 is freely available here'':
	:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]		:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]
	:This includes:		This includes:
	::bfo-2020-terms.xlsx (terms and relational expressions with definitions and examples)		:bfo-2020-terms.xlsx (terms and relational expressions with definitions and examples)
	::bfo-2020-iris.xlsx (table of IRIs for all classes and relations in BFO-2020-CL, the Common Logic axiomatization of BFO, and including all classes and relations in BFO-2020-OWL)		:bfo-2020-iris.xlsx (table of IRIs for all classes and relations in BFO-2020-CL, the Common Logic axiomatization of BFO, and including all classes and relations in BFO-2020-OWL)
	::bfo-2020-relations-table.xlsx (table of all relations in BFO-2020-CL, including all inverses, reverses*, and all binary variants used in BFO-2020-OWL)		:bfo-2020-relations-table.xlsx (table of all relations in BFO-2020-CL, including all inverses, reverses*, and all binary variants used in BFO-2020-OWL)
	:The ''owl folder'' includes		The ''owl folder'' includes
	::bfo-2020.owl – OWL in rdf/xml format		:bfo-2020.owl – OWL in rdf/xml format
	::bfo-2020.ofn – OWL in functional syntax		:bfo-2020.ofn – OWL in functional syntax
	::bfo-2020-labeled.ofn – OWL in functional syntax with labels instead of IRIs		:bfo-2020-labeled.ofn – OWL in functional syntax with labels instead of IRIs
	::bfo-2020-without-some-all-times.owl – as for 5. but without the binaryized relations		:bfo-2020-without-some-all-times.owl – as for 5. but without the binaryized relations
	:The ''common-logic folder'' provides the complete set of modules in the CL formalization of BFO-2020 together with		The ''common-logic folder'' provides the complete set of modules in the CL formalization of BFO-2020 together with
	::temporalized-relations.cl, which contains CL definitions of the binary at-all-times/some-time relations used in bfo-2020-owl.		:temporalized-relations.cl, which contains CL definitions of the binary at-all-times/some-time relations used in bfo-2020-owl.
	:The ''pdf folder'' provides the complete set of modules in the CL axiomatization of BFO 2020 in traditional first-order logic (FOL) syntax.		The ''pdf folder'' provides the complete set of modules in the CL axiomatization of BFO 2020 in traditional first-order logic (FOL) syntax.
	:The ''prover9 folder'' provides the same set of modules in prover 9 format, together with, together with		The ''prover9 folder'' provides the same set of modules in prover 9 format, together with, together with
	::temporalized-relations.p9, which provdes the content of temporalized-relations.cl in prover9 format		:temporalized-relations.p9, which provdes the content of temporalized-relations.cl in prover9 format
	:The ''model folder'' provides three versions of the model used to prove consistency of the CL formalization, in prover 9, CLIF, and clausetester formats respectivly.		The ''model folder'' provides three versions of the model used to prove consistency of the CL formalization, in prover 9, CLIF, and clausetester formats respectivly.

	The most current version of these files will be at [https://github.com/BFO-ontology/BFO-2020 https://github.com/BFO-ontology/BFO-2020].		The most current version of these files will be at [https://github.com/BFO-ontology/BFO-2020 https://github.com/BFO-ontology/BFO-2020].

← Older revision		Revision as of 00:32, 2 January 2022
Line 6:		Line 6:

	''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''		''ISO/IEC 21838-2 Basic Formal Ontology (BFO)''
	:This is Part 2 of the standard; it standardizes BFO-2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at		:This is Part 2 of the standard; it standardizes BFO 2020 as a top-level ontology conforming to Part 1. It was published by ISO in November, 2021, and is available at
	[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]		[https://www.iso.org/standard/74572.html https://www.iso.org/standard/74572.html]
	:For those working on standards this document it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].		:For those working on standards this document it is freely available at [https://standards.iso.org/ittf/PubliclyAvailableStandards/index.html this ISO site].

	==BFO-2020==		==BFO 2020==
	''The entire content of BFO-2020 is freely available here'':		''The entire content of BFO 2020 is freely available here'':
	:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]		:[https://standards.iso.org/iso-iec/21838/-2/ed-1/en/ https://standards.iso.org/iso-iec/21838/-2/ed-1/en/]
	:This includes:		:This includes:
Line 24:		Line 24:
	:The ''common-logic folder'' provides the complete set of modules in the CL formalization of BFO-2020 together with		:The ''common-logic folder'' provides the complete set of modules in the CL formalization of BFO-2020 together with
	::temporalized-relations.cl, which contains CL definitions of the binary at-all-times/some-time relations used in bfo-2020-owl.		::temporalized-relations.cl, which contains CL definitions of the binary at-all-times/some-time relations used in bfo-2020-owl.
	:The ''pdf folder'' provides the complete set of modules in the CL axiomatization of BFO-2020 in traditional first-order logic (FOL) syntax.		:The ''pdf folder'' provides the complete set of modules in the CL axiomatization of BFO 2020 in traditional first-order logic (FOL) syntax.
	:The ''prover9 folder'' provides the same set of modules in prover 9 format, together with, together with		:The ''prover9 folder'' provides the same set of modules in prover 9 format, together with, together with
	::temporalized-relations.p9, which provdes the content of temporalized-relations.cl in prover9 format		::temporalized-relations.p9, which provdes the content of temporalized-relations.cl in prover9 format
	:The ''model folder'' provides three versions of the model used to prove consistency of the CL formalization, in prover 9, CLIF, and clausetester formats respectivly.		:The ''model folder'' provides three versions of the model used to prove consistency of the CL formalization, in prover 9, CLIF, and clausetester formats respectivly.

	The most current version of these files will be at https://github.com/BFO-ontology/BFO-2020		The most current version of these files will be at [https://github.com/BFO-ontology/BFO-2020 https://github.com/BFO-ontology/BFO-2020].

	[*] The concept of reverse relation is only relevant for at-all-time relations. See		[*] The concept of reverse relation is only relevant for at-all-time relations. See