The Institutional Approach
This chapter discusses the institutional approach for organizing and maintaining ontologies. The theory of institutions was named and initially developed by Joseph Goguen and Rod Burstall. This theory, a metatheory based on category theory, regards ontologies as logical theories or local logics. The theory of institutions uses the category-theoretic ideas of fibrations and indexed categories to develop logical theories. Institutions unite the lattice approach of Formal Concept Analysis of Ganter and Wille with the distributed logic of Information Flow of Barwise and Seligman. The institutional approach incorporates locally the lattice of theories idea of Sowa from the theory of knowledge representation. The Information Flow Framework, which was initiated within the IEEE Standard Upper Ontology project, uses the institutional approach in its applied aspect for the comparison, semantic integration and maintenance of ontologies. This chapter explains the central ideas of the institutional approach to ontologies in a careful and detailed manner.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Do Large Language Models Encode Institutional Experience? Evidence from Cross-Linguistic Moral Reasoning Under Ambiguity
Large language models (LLMs) exhibit systematic differences in moral reasoning across languages, yet the source of this variation remains unclear. We test the hypothesis that languages encode aspects of the institutional…
Shattering the glass ceiling? How the institutional context mitigates the gender gap in entrepreneurship
We examine how the institutional context affects the relationship between gender and opportunity entrepreneurship. To do this, we develop a multi-level model that connects feminist theory at the micro-level to institutio…
Invited to Develop: Institutional Belonging and the Counterfactual Architecture of Development
This paper examines how institutional belonging shapes long-term development by comparing Spain and Uruguay, two small democracies with similar historical endowments whose trajectories diverged sharply after the 1960s. W…
Automating the Analysis of Institutional Design in International Agreements
This paper explores the automatic knowledge extraction of formal institutional design - norms, rules, and actors - from international agreements. The focus was to analyze the relationship between the visibility and centr…
The perils of Kremlin's influence: evidence from Ukraine
We examine the contribution of institutional integration to the institutional quality. To this end, we exploit the 2007 political crisis in Ukraine and examine the effects of staying out of the European Union for 28 Ukra…