ConferenceCall 2026 04 15 - Revision history

Forum at 19:57, 16 April 2026

2026-04-16T19:57:03Z

← Older revision		Revision as of 19:57, 16 April 2026
Line 34:		Line 34:

	== Discussion ==		== Discussion ==
			* 12:52:54 Gary Berg-Cross : You need to unpack the domain concepts to get truthmakers into the conversation and models.
			* 13:08:34 Phil Jackson : what John is describing seems to correspond the level of descriptions in natural language, and to be different from a "meta-ontology", i.e. an ontology of ontologies. Perhaps a meta-ontology could be a useful intermediate between NL and individual ontologies.

	== Resources ==		== Resources ==

Forum at 19:53, 16 April 2026

2026-04-16T19:53:04Z

← Older revision		Revision as of 19:53, 16 April 2026
Line 22:		Line 22:
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.mp4 Video Recording]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.mp4 Video Recording]
			** [https://youtu.be/hV5vADtsQLY YouTube Video]
	** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.		** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.
	** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar		** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar
Line 37:		Line 38:
	* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]		* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]
	* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.mp4 Video Recording]		* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.mp4 Video Recording]
			* [https://youtu.be/hV5vADtsQLY YouTube Video]

	== Previous Meetings ==		== Previous Meetings ==

Forum at 17:54, 16 April 2026

2026-04-16T17:54:38Z

← Older revision		Revision as of 17:54, 16 April 2026
Line 21:		Line 21:
	* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''		* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]
			** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.mp4 Video Recording]
	** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.		** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.
	** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar		** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar
Line 35:		Line 36:
	== Resources ==		== Resources ==
	* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]		* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.mp4 Video Recording]

	== Previous Meetings ==		== Previous Meetings ==

Forum at 15:33, 15 April 2026

2026-04-15T15:33:04Z

← Older revision		Revision as of 15:33, 15 April 2026
Line 20:		Line 20:
	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
	* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''		* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''
			** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]
	** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.		** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.
	** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar		** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar
Line 33:		Line 34:

	== Resources ==		== Resources ==
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/Foundations/Ontological-analysis-as-a-search-for-truthmakers--NicolaGuarino_20260415.pdf Slides]

	== Previous Meetings ==		== Previous Meetings ==

Forum at 15:36, 13 April 2026

2026-04-13T15:36:57Z

← Older revision		Revision as of 15:36, 13 April 2026
Line 21:		Line 21:
	* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''		* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''
	** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.		** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.
			** Nicola Guarino is a retired research associate at the Institute of Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), and former director of the ISTC-CNR Laboratory for Applied Ontology (LOA) based in Trento. He has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics. Among the most well known results of his lab, the OntoClean methodology and the DOLCE foundational ontology. He has been founder and co-editor-in-chief of the ''Applied Ontology'' journal, founder and former president of the ''International Association for Ontology and its Applications'' (IAOA). He is also an ''ER'' fellow and a fellow of the ''European Association for Artificial Intelligence'' (EurAI). Recently he received the ''Peter P. Chen'' award for outstanding contributions to the field of conceptual modeling.<br/>On the theoretical side, his current research interests are focusing on the ontological foundations of knowledge representation and conceptual modeling and specifically the ontology of events, processes, and relationships, while on the application side he has been focusing on enterprise modeling, ontology of economics, and manufacturing. He is also interested in leveraging ontological analysis and semantic technologies to improve cognitive transparency, social accountability, and participatory governance of artificial intelligence artifacts.<br/>His publications got 32,000+ citations, with H-index=56 according to Google Scholar

	== Conference Call Information ==		== Conference Call Information ==

Forum at 15:00, 13 April 2026

2026-04-13T15:00:14Z

← Older revision		Revision as of 15:00, 13 April 2026
Line 20:		Line 20:
	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
	* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''		* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''
	** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of ~~reality—those~~ we implicitly assume to ~~exist—~~ are typically far more numerous than those we explicitly choose to talk about. So, our cognitive domain is much broader than our domain of discourse. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the truthmakers of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various truthmaking patterns can enhance the explanatory value of an ontology.		** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist—are typically far more numerous than those we explicitly choose to talk about. So, our ''cognitive domain'' is much broader than our ''domain of discourse''. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the ''truthmakers'' of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various ''truthmaking patterns'' can enhance the explanatory value of an ontology.

	== Conference Call Information ==		== Conference Call Information ==

Forum at 14:44, 13 April 2026

2026-04-13T14:44:21Z

← Older revision		Revision as of 14:44, 13 April 2026
Line 20:		Line 20:
	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
	* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''		* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''
	** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist— are typically far more numerous than those we explicitly choose to talk about. So, our cognitive domain is much broader than our domain of discourse. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the truthmakers of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various truthmaking patterns can enhance the explanatory value of an ontology.~~Truthmaking and explanation''~~		** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist— are typically far more numerous than those we explicitly choose to talk about. So, our cognitive domain is much broader than our domain of discourse. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the truthmakers of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various truthmaking patterns can enhance the explanatory value of an ontology.

	== Conference Call Information ==		== Conference Call Information ==

Forum at 14:42, 13 April 2026

2026-04-13T14:42:05Z

← Older revision		Revision as of 14:42, 13 April 2026
Line 19:		Line 19:

	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
	* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Truthmaking and explanation''		* '''[[NicolaGuarino\|Nicola Guarino]]''' ''Ontological Analysis as a Search for Truthmakers''
			** A crucial choice when designing an ontology concerns, of course, what to include in the domain of discourse. The entities that are relevant for our conceptualization of reality—those we implicitly assume to exist— are typically far more numerous than those we explicitly choose to talk about. So, our cognitive domain is much broader than our domain of discourse. For example, when we say that John and Mary are married, our language only refers to them, although we know that there has been a wedding event and that an ongoing marriage relationship exists. It is up to us to introduce these additional entities in our domain of discourse, should we need to represent and reason about them. In this talk I will argue that formal ontology gives us a clear criterion for this decision: include in the domain the truthmakers of the relevant propositions we aim to represent. In this talk I will introduce different kinds of truthmakers, depending on the types of properties and relationships involved, and I will show how various truthmaking patterns can enhance the explanatory value of an ontology.Truthmaking and explanation''

	== Conference Call Information ==		== Conference Call Information ==

Forum: Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Foundations and Tools |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::15 Apr 2026 16:00 GMT |- | 9:00am PDT/12:00pm EDT |- | 5:00pm BST/6:00pm CST |- ! scope="row" | Convener | Ken Baclawski |} = Ontology Summit 2026 {{#show:{{PAGENA..."

2026-04-13T01:10:35Z

Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Foundations and Tools |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::15 Apr 2026 16:00 GMT |- | 9:00am PDT/12:00pm EDT |- | 5:00pm BST/6:00pm CST |- ! scope="row" | Convener | Ken Baclawski |} = Ontology Summit 2026 {{#show:{{PAGENA..."

New page

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Foundations and Tools]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::15 Apr 2026 16:00 GMT]]
|-
| 9:00am PDT/12:00pm EDT
|-
| 5:00pm BST/6:00pm CST
|-
! scope="row" | Convener
| [[convener::KenBaclawski|Ken Baclawski]]
|}

= [[OntologySummit2026|Ontology Summit 2026]] {{#show:{{PAGENAME}}|?session}} =
* '''[[NicolaGuarino|Nicola Guarino]]''' ''Truthmaking and explanation''

== Conference Call Information ==
* Date: '''Wednesday, 15 April 2026'''
* Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=4&day=15&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2026/ConferenceCallInformation}}

== Discussion ==

== Resources ==

== Previous Meetings ==
{{#ask: [[Category:OntologySummit2026]] [[Category:Icom_conf_Conference]] [[<<ConferenceCall_2026_04_14]]
|?|?Session|mainlabel=-|order=desc|limit=3}}

== Next Meetings ==
{{#ask: [[Category:OntologySummit2026]] [[Category:Icom_conf_Conference]] [[>>ConferenceCall_2026_04_16]]
|?|?Session|mainlabel=-|order=asc|limit=3}}

[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]
[[Category:OntologySummit2026| ]]