Top Level Ontology 10-21-2016 - Revision history

Phismith at 10:50, 27 October 2016

2016-10-27T10:50:39Z

← Older revision		Revision as of 10:50, 27 October 2016
Line 9:		Line 9:
	:Outlines the draft document and describes implications for BFO. Copies of this draft are available from BS on request. [http://ncor.buffalo.edu/2016/TLO-meeting/Comments-on-TLO-Working-Draft-Oct21-2016.pptx Slides]		:Outlines the draft document and describes implications for BFO. Copies of this draft are available from BS on request. [http://ncor.buffalo.edu/2016/TLO-meeting/Comments-on-TLO-Working-Draft-Oct21-2016.pptx Slides]

	4pm Michael Gruninger (Toronto): '''A Sideways Look at Upper Ontologies]'''		4pm Michael Gruninger (Toronto): '''A Sideways Look at Upper Ontologies'''

	:Within the applied ontology community, upper ontologies are widely recognized as tools to support the tasks of ontology design and semantic integration. This talk will explore an alternative vision for upper ontologies which is effective at facilitating the sharability and reusability of ontologies. The notion of generic ontologies is characterized through the formalization of ontological commitments and choices. Ontology repositories are used to modularize ontologies so that any particular upper ontology is equivalent to the union of a set of generic ontologies. In this way, upper ontologies are not replaced but rather integrated with other theories in the ontology repository. The talk concludes with a discussion of work with Lydia Silva-Munoz on the axiomatization of the SUMO time ontology. [http://ncor.buffalo.edu/2016/TLO-meeting/sideways-talk.pdf Slides 1] [http://ncor.buffalo.edu/2016/TLO-meeting/Silva-Munoz_Gruninger_sumo_time_fois.pdf Slides 2]		:Within the applied ontology community, upper ontologies are widely recognized as tools to support the tasks of ontology design and semantic integration. This talk will explore an alternative vision for upper ontologies which is effective at facilitating the sharability and reusability of ontologies. The notion of generic ontologies is characterized through the formalization of ontological commitments and choices. Ontology repositories are used to modularize ontologies so that any particular upper ontology is equivalent to the union of a set of generic ontologies. In this way, upper ontologies are not replaced but rather integrated with other theories in the ontology repository. The talk concludes with a discussion of work with Lydia Silva-Munoz on the axiomatization of the SUMO time ontology. [http://ncor.buffalo.edu/2016/TLO-meeting/sideways-talk.pdf Slides 1] [http://ncor.buffalo.edu/2016/TLO-meeting/Silva-Munoz_Gruninger_sumo_time_fois.pdf Slides 2]

Phismith at 10:50, 27 October 2016

2016-10-27T10:50:18Z

← Older revision		Revision as of 10:50, 27 October 2016
Line 1:		Line 1:
	'''Ontology Group Meeting, October 21, 2016'''		'''Ontology Group Meeting, October 21, 2016'''

	2pm John Beverley (UB)		2pm John Beverley (UB): '''Modularization and Verification of the Basic Formal Ontology 2.0'''
	'''Modularization and Verification of the Basic Formal Ontology 2.0'''

	Describes the on-going project to create a first-order logical axiomatization of BFO.		:Describes the on-going project to create a first-order logical axiomatization of BFO. [http://ncor.buffalo.edu/2016/TLO-meeting/BFO%202.0%20Modularization%20and%20Verification.pptx Slides]

	~~[http~~:~~//ncor.buffalo.edu/2016/TLO-meeting/BFO%202.0%20Modularization%20and%20Verification.pptx Slides]~~		3pm Barry Smith (UB): '''Proposed ISO Top Level Ontology Standard'''

	~~3pm Barry Smith (UB)~~		:Outlines the draft document and describes implications for BFO. Copies of this draft are available from BS on request. [http://ncor.buffalo.edu/2016/TLO-meeting/Comments-on-TLO-Working-Draft-Oct21-2016.pptx Slides]
	~~Proposed ISO Top Level Ontology Standard~~

	~~Will outline the draft document and describe implications for BFO. Copies of this draft are available from BS on request.~~		4pm Michael Gruninger (Toronto): '''A Sideways Look at Upper Ontologies]'''

	~~4pm Michael Gruninger (Toronto)~~		:Within the applied ontology community, upper ontologies are widely recognized as tools to support the tasks of ontology design and semantic integration. This talk will explore an alternative vision for upper ontologies which is effective at facilitating the sharability and reusability of ontologies. The notion of generic ontologies is characterized through the formalization of ontological commitments and choices. Ontology repositories are used to modularize ontologies so that any particular upper ontology is equivalent to the union of a set of generic ontologies. In this way, upper ontologies are not replaced but rather integrated with other theories in the ontology repository. The talk concludes with a discussion of work with Lydia Silva-Munoz on the axiomatization of the SUMO time ontology. [http://ncor.buffalo.edu/2016/TLO-meeting/sideways-talk.pdf Slides 1] [http://ncor.buffalo.edu/2016/TLO-meeting/Silva-Munoz_Gruninger_sumo_time_fois.pdf Slides 2]
	~~A Sideways Look at Upper Ontologies~~
	Within the applied ontology community, upper ontologies are widely recognized as tools to support the tasks of ontology design and semantic integration. This talk will explore an alternative vision for upper ontologies which is effective at facilitating the sharability and reusability of ontologies. The notion of generic ontologies is characterized through the formalization of ontological commitments and choices. Ontology repositories are used to modularize ontologies so that any particular upper ontology is equivalent to the union of a set of generic ontologies. In this way, upper ontologies are not replaced but rather integrated with other theories in the ontology repository.

Phismith: Created page with "'''Ontology Group Meeting, October 21, 2016''' 2pm John Beverley (UB) '''Modularization and Verification of the Basic Formal Ontology 2.0''' Describes the on-going project..."

2016-10-27T10:44:19Z

Created page with "'''Ontology Group Meeting, October 21, 2016''' 2pm John Beverley (UB) '''Modularization and Verification of the Basic Formal Ontology 2.0''' Describes the on-going project..."

New page

'''Ontology Group Meeting, October 21, 2016'''

2pm John Beverley (UB)
'''Modularization and Verification of the Basic Formal Ontology 2.0'''

Describes the on-going project to create a first-order logical axiomatization of BFO.

[http://ncor.buffalo.edu/2016/TLO-meeting/BFO%202.0%20Modularization%20and%20Verification.pptx Slides]

3pm Barry Smith (UB)
Proposed ISO Top Level Ontology Standard

Will outline the draft document and describe implications for BFO. Copies of this draft are available from BS on request.

4pm Michael Gruninger (Toronto)
A Sideways Look at Upper Ontologies
Within the applied ontology community, upper ontologies are widely recognized as tools to support the tasks of ontology design and semantic integration. This talk will explore an alternative vision for upper ontologies which is effective at facilitating the sharability and reusability of ontologies. The notion of generic ontologies is characterized through the formalization of ontological commitments and choices. Ontology repositories are used to modularize ontologies so that any particular upper ontology is equivalent to the union of a set of generic ontologies. In this way, upper ontologies are not replaced but rather integrated with other theories in the ontology repository.