Skip to content

International Conference on Formal Ontology in Information Systems

FOIS

C

CORE rank

CORE rank (raw)

C

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

385

2001–2025

Papers per year

200162 peak2025

FOIS papers

385 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2023Inferring Ontological Categories of OWL Classes Using Foundational Rules.Pedro Paulo F. Barcelos, Tiago Prince Sales, Elena Romanenko, Joo Paulo A. Almeida, Gal Engelberg, Dan Klein, Giancarlo Guizzardi
2023The Many Facets of Trust.Riccardo Baratella, Glenda C. M. Amaral, Tiago Prince Sales, Renata S. S. Guizzardi, Giancarlo Guizzardi
2023An Ontology for Event Location.Yunpiao Bai, Michael Grninger
2021NAct: The Nutrition & Activity Ontology for Healthy Living.Dorothea Tsatsou, Elena Lalama, Saskia L. Wilson-Barnes, Kathryn Hart, Vronique A. Cornelissen, Roselien Buys, Ioannis Pagkalos, Sofia B. Dias, Kosmas Dimitropoulos, Petros Daras
2021Towards a Unified Dispositional Framework for Realizable Entities.Fumiaki Toyoshima, Adrien Barton, Ludger Jansen, Jean-Franois Ethier
2021Towards Formalisation of Concept Descriptions and Constraints.Matt Selway, Markus Stumptner, Wolfgang Mayer
2021Asymmetric Hybrids: Dialogues for Computational Concept Combination.Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
2021Towards an Ontology of Representation.Riichiro Mizoguchi, Stefano Borgo
2021Capturing the Basics of the GDPR in a Well-Founded Legal Domain Modular Ontology.Mirna El Ghosh, Habib Abdulrab
2021Debugging Classical Ontologies Using Defeasible Reasoning Tools.Simone Coetzer, Katarina Britz
2021Foundations of the Socio-Physical Model of Activities (SOMA) for Autonomous Robotic Agents.Daniel Beler, Robert Porzel, Mihai Pomarlan, Abhijit Vyas, Sebastian Hffner, Michael Beetz, Rainer Malaka, John A. Bateman
2021Semantic Analysis of Winograd Schema No. 1.Brandon Bennett
2021Standpoint Logic: Multi-Perspective Knowledge Representation.Luca Gmez lvarez, Sebastian Rudolph
2021An Infrastructure for Collaborative Ontology Development.Dean Allemang, Pawel Garbacz, Przemyslaw Gradzki, Elisa F. Kendall, Robert Trypuz
2020Foundations for an Ontology of Belief, Desire and Intention.Fumiaki Toyoshima, Adrien Barton, Olivier Grenier
2020Foundations for Ontology of Persistence: Beyond Talk of Temporal Parts.Fumiaki Toyoshima
2020Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies.Shirly Stephen, Torsten Hahmann
2020Ontological Analysis and Modularization of CIDOC-CRM.Emilio M. Sanfilippo, Batrice Markhoff, Perrine Pittet
2020Embodied Functional Relations: A Formal Account Combining Abstract Logical Theory with Grounding in Simulation.Mihai Pomarlan, John A. Bateman
2020Pluralities, Collectives, and Composites.Claudio Masolo, Laure Vieu, Roberta Ferrario, Stefano Borgo, Daniele Porello
2020The Computer Program as a Functional Whole.C. Maria Keet
2020A Commonsense Theory of Secrets.Haythem O. Ismail, Merna Shafie
2020A Mereology for Connected Structures.Michael Grninger, Carmen Chui, Yi Ru, Jona Thai
2020Legal Theories and Judicial Decision-Making: An Ontological Analysis.Cristine Griffo, Joo Paulo A. Almeida, Giancarlo Guizzardi
2020An Analysis of the Debate over Structural Universals.Pawel Garbacz
76100 of 385← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.