Basic Formal Ontology 2015 - Revision history

Phismith at 20:17, 17 August 2017

2017-08-17T20:17:50Z

← Older revision		Revision as of 20:17, 17 August 2017
Line 10:		Line 10:

	'''Rationale'''		'''Rationale'''
	BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/~~BFO~~-book.pdf Building Ontologies With Basic Formal Ontology] in August 2015, and this book will serve as basis for this tutorial.		BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/bfo-book.pdf Building Ontologies With Basic Formal Ontology] in August 2015, and this book will serve as basis for this tutorial.

Phismith at 00:12, 30 June 2015

2015-06-30T00:12:13Z

← Older revision		Revision as of 00:12, 30 June 2015
Line 6:		Line 6:
	'''Abstract'''		'''Abstract'''
	:The tutorial will fall into two parts:		:The tutorial will fall into two parts:
	:'''Part 1''' is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is used to initiate ontology development. The introduction to BFO described [~~http~~://~~ontology~~.~~buffalo~~.edu/~~smith~~/~~bfo~~-~~book.pdf~~ here] will be released in advance of the meeting.		:'''Part 1''' is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is used to initiate ontology development. The introduction to BFO described [https://mitpress.mit.edu/index.php?q=books/building-ontologies-basic-formal-ontology here] will be released in advance of the meeting.
	:'''Part 2''' will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).		:'''Part 2''' will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).

	'''Rationale'''		'''Rationale'''
	BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in ~~spring~~ 2015, and this book will serve as basis for this tutorial.		BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in August 2015, and this book will serve as basis for this tutorial.

Phismith at 15:31, 5 March 2015

2015-03-05T15:31:24Z

← Older revision		Revision as of 15:31, 5 March 2015
Line 5:		Line 5:

	'''Abstract'''		'''Abstract'''
	:The tutorial will fall into two parts.		:The tutorial will fall into two parts:
	:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.		:'''Part 1''' is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.
	:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).		:'''Part 2''' will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).

	'''Rationale'''		'''Rationale'''
	BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.		BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.

Phismith at 15:31, 5 March 2015

2015-03-05T15:31:04Z

← Older revision		Revision as of 15:31, 5 March 2015
Line 6:		Line 6:
	'''Abstract'''		'''Abstract'''
	:The tutorial will fall into two parts.		:The tutorial will fall into two parts.
	:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is		:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.
	used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.		:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).
	:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three
	parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).

	'''Rationale'''		'''Rationale'''
	BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.		BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.

Phismith at 15:30, 5 March 2015

2015-03-05T15:30:44Z

← Older revision		Revision as of 15:30, 5 March 2015
Line 6:		Line 6:
	'''Abstract'''		'''Abstract'''
	:The tutorial will fall into two parts.		:The tutorial will fall into two parts.
	:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of		:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is
	the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is
	used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.		used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.
	:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three		:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three

Phismith at 15:30, 5 March 2015

2015-03-05T15:30:29Z

← Older revision		Revision as of 15:30, 5 March 2015
Line 7:		Line 7:
	:The tutorial will fall into two parts.		:The tutorial will fall into two parts.
	:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of		:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of
	the ontology, of its relations to other candidate upper ontologies, and of		the ontology, of its relations to other candidate upper ontologies, and of its principal applications, culminating in some examples of how BFO is
	its principal applications, culminating in some examples of how BFO is		used to initiate ontology development. The introduction to BFO described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be released in advance of the meeting.
	used to initiate ontology development. The introduction to BFO
	described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be
	released in advance of the meeting.
	:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three		:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three
	parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL		parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL formalization. 2.0 will be released in draft form for public comment in advance of the tutorial. It will also describe how BFO 2.0 is being used in current work on the Information Artifact Ontology (IAO).
	formalization. 2.0 will be released in draft form for public comment in
	advance of the tutorial. It will also describe how BFO 2.0 is being used in
	current work on the Information Artifact Ontology (IAO).

	'''Rationale'''		'''Rationale'''
	BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.		BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.

Phismith at 15:30, 5 March 2015

2015-03-05T15:30:02Z

Phismith at 15:29, 5 March 2015

2015-03-05T15:29:33Z

← Older revision		Revision as of 15:29, 5 March 2015
Line 1:		Line 1:
	~~Basic Formal Ontology (BFO)~~

	Tutorial organized in conjunction with the International Conference on Biomedical Ontology, Lisbon, 2015		'''Tutorial organized in conjunction with the International Conference on Biomedical Ontology, Lisbon, 2015'''

	Faculty: Barry Smith, Department of Philosophy, University at Buffalo. Email: phismith@buffalo.edu		Faculty: [http://ontology.buffalo.edu/smith Barry Smith], Department of Philosophy, University at Buffalo. Email: phismith@buffalo.edu

	''''Abstract'''		''''Abstract'''
Line 12:		Line 11:
	its principal applications, culminating in some examples of how BFO is		its principal applications, culminating in some examples of how BFO is
	used to initiate ontology development. The introduction to BFO		used to initiate ontology development. The introduction to BFO
	described at http://ontology.buffalo.edu/smith/bfo-book.pdf will be		described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be
	released in advance of the meeting.		released in advance of the meeting.
	:Part 2 will provide a guide to the current state of BFO and specifically of		:Part 2 will provide a guide to the current state of BFO and specifically of
Line 22:		Line 21:

	'''Rationale'''		'''Rationale'''
	~~Given that~~ BFO is now used as the top-level architecture for over 130		BFO is now used as the top-level architecture for over 130 ontologies in the biological and biomedical domains. MIT Press will publish [http://ontology.buffalo.edu/smith/BFO-book.pdf Building Ontologies With Basic Formal Ontology] in spring 2015, and this book will serve as basis for this tutorial.
	ontologies in the biological and biomedical domains ~~I believe that there~~
	~~is considerable demand for a training event of this sort~~. ~~I also believe~~
	~~that the large user forums of BFO and IAO~~ will ~~enhance advertising for~~
	~~the ICBO conference as a whole~~. ~~The publication of the MIT Press~~ book
	~~on BFO~~ in spring 2015 will ~~also contribute to interest in the topic of~~ this
	tutorial.

Phismith: Created page with "Basic Formal Ontology (BFO) Tutorial organized in conjunction with the International Conference on Biomedical Ontology, Lisbon, 2015 Faculty: Barry Smith, Department of Phil..."

2015-03-05T15:27:03Z

Created page with "Basic Formal Ontology (BFO) Tutorial organized in conjunction with the International Conference on Biomedical Ontology, Lisbon, 2015 Faculty: Barry Smith, Department of Phil..."

New page

Basic Formal Ontology (BFO)

Tutorial organized in conjunction with the International Conference on Biomedical Ontology, Lisbon, 2015

Faculty: Barry Smith, Department of Philosophy, University at Buffalo. Email: phismith@buffalo.edu

''''Abstract'''
:The tutorial will fall into two parts.
:Part 1 is for beginners, and provides a simple introduction to the
rationale and principles underlying BFO, a brief guide to the history of
the ontology, of its relations to other candidate upper ontologies, and of
its principal applications, culminating in some examples of how BFO is
used to initiate ontology development. The introduction to BFO
described at http://ontology.buffalo.edu/smith/bfo-book.pdf will be
released in advance of the meeting.
:Part 2 will provide a guide to the current state of BFO and specifically of
the proposed BFO version 2, and of the state of work along the three
parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL
formalization. 2.0 will be released in draft form for public comment in
advance of the tutorial. It will also describe how BFO 2.0 is being used in
current work on the Information Artifact Ontology (IAO).

'''Rationale'''
Given that BFO is now used as the top-level architecture for over 130
ontologies in the biological and biomedical domains I believe that there
is considerable demand for a training event of this sort. I also believe
that the large user forums of BFO and IAO will enhance advertising for
the ICBO conference as a whole. The publication of the MIT Press book
on BFO in spring 2015 will also contribute to interest in the topic of this
tutorial.

← Older revision		Revision as of 15:30, 5 March 2015
Line 4:		Line 4:
	Faculty: [http://ontology.buffalo.edu/smith Barry Smith], Department of Philosophy, University at Buffalo. Email: phismith@buffalo.edu		Faculty: [http://ontology.buffalo.edu/smith Barry Smith], Department of Philosophy, University at Buffalo. Email: phismith@buffalo.edu

	''''Abstract'''		'''Abstract'''
	:The tutorial will fall into two parts.		:The tutorial will fall into two parts.
	:Part 1 is for beginners, and provides a simple introduction to the		:Part 1 is for beginners, and provides a simple introduction to the rationale and principles underlying BFO, a brief guide to the history of
	rationale and principles underlying BFO, a brief guide to the history of
	the ontology, of its relations to other candidate upper ontologies, and of		the ontology, of its relations to other candidate upper ontologies, and of
	its principal applications, culminating in some examples of how BFO is		its principal applications, culminating in some examples of how BFO is
Line 13:		Line 12:
	described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be		described [http://ontology.buffalo.edu/smith/bfo-book.pdf here] will be
	released in advance of the meeting.		released in advance of the meeting.
	:Part 2 will provide a guide to the current state of BFO and specifically of		:Part 2 will provide a guide to the current state of BFO and specifically of the proposed BFO version 2, and of the state of work along the three
	the proposed BFO version 2, and of the state of work along the three
	parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL		parallel tracks of (i) English-language specification, (ii) OWL and (iii) FOL
	formalization. 2.0 will be released in draft form for public comment in		formalization. 2.0 will be released in draft form for public comment in