École d'été | 8 juin 2026 : Logic for Ontologists par John Beverley

Value of the Information & Strength of the Argument

The talk provides a clear and valuable introduction to applied ontology, emphasizing the practical importance of logic in data integration. Beverley argues convincingly that ontology engineering must simultaneously address interoperability and information quality, a point often overlooked in commercial practice. He supports his arguments with concrete examples and references to established standards and tools, making the case for BFO as a foundational framework. The argumentation is coherent and well-structured, though it remains at an introductory level and does not delve into technical details of logic.

Scientific Rigor, Source Quality, Title Accuracy

The talk demonstrates scientific rigor by grounding its claims in widely accepted standards (BFO, ISO 21838-2) and established practices (foundry efforts). The speaker cites specific examples and acknowledges the limitations of his approach. The title accurately reflects the content, which focuses on logic for ontologists. The presentation is consistent with current literature in applied ontology, though it does not provide formal proofs or detailed technical references.

The title accurately reflects the content: the speaker discusses logic and formal methods for ontologists, focusing on BFO and its application.

8/10

The talk is given by an assistant professor in ontology engineering, and it is grounded in established standards (BFO, ISO 21838-2) and widely used tools (Protégé). The content is consistent with current practices in applied ontology, though it remains a high-level overview without detailed technical proofs.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 02:00Introduction to the talk and the problem of information silos.
• 05:00Definition of ontologies and the two pillars: interoperability and information quality.
• 10:00Explanation of the three axes of interoperability: human-human, human-machine, machine-machine.
• 15:00Introduction to BFO and its role as a top-level ontology.
• 20:00Discussion of common ambiguities in data modeling: type vs. instance, information vs. what it's about, etc.
• 25:00Explanation of the seven-step process for modeling with BFO.
• 30:00Example of modeling a patrol boat's speed using BFO.
• 35:00Emphasis on the importance of combining interoperability and information quality.
• 40:00Conclusion and Q&A session.

• Basic Formal Ontology (BFO) — Mentioned as the top-level ontology used in the talk.
• ISO 21838-2 — Cited as the standard for BFO.
• Protégé — Mentioned as an ontology editor used in the modeling process.
• Open Biological and Biomedical Foundry (OBO Foundry) — Mentioned as an example of a foundry effort using top-level ontologies.
• Industrial Ontologies Foundry (IOF) — Mentioned as another foundry effort.

• Basic Formal Ontology (BFO) — The talk's description of BFO aligns with the official documentation.
• ISO 21838-2 — The talk's mention of ISO standardization is consistent with the standard's scope.