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
2014KB_Bio_101: Content and Challenges.Vinay K. Chaudhri, Daniel Elenius, Sue Hinojoza, Michael A. Wessel
2014Representing Roles in a Biology Textbook.Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans
2014Conceptual Models of Energy Transfer and Regulation.Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans
2014Towards Ontological Support for Principle Solutions in Mechanical Engineering.Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack
2014Towards Ontological Support for Principle Solutions in Mechanical Engineering.Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack
2014ContoExam: an ontology on context-aware examinations.Paul Brandt, Twan Basten, Sander Stuijk
2014Towards an Ontological Grounding of IFC.Stefano Borgo, Emilio M. Sanfilippo, Aleksandra Sojic, Walter Terkaj
2014Logical Operators for Ontological Modeling.Stefano Borgo, Daniele Porello, Nicolas Troquard
2014A First-order Formalization of Event, Object, Process and Role in YAMATO.Stefano Borgo, Riichiro Mizoguchi
2014The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering.Hermann Bense
2014Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain).Brandon Bennett, Claudia Cialone
2014Reuse of Semantics in Business Applications.Mike Bennett
2014States, Events, and Truth-makers.Alessander Botti Benevides, Claudio Masolo
2014Newtonian Forces and Causation: A Dispositional Account.Adrien Barton, Robert J. Rovetto, Riichiro Mizoguchi
2014The Cardiovascular Disease Ontology.Adrien Barton, Arnaud Rosier, Anita Burgun, Jean-Franois Ethier
2014Towards a Measurement Ontology Pattern Language.Monalessa Perini Barcellos, Ricardo de Almeida Falbo, Vincius Frauches
2014An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven.Tara Athan, Ralph Schfermeier, Adrian Paschke
2014What have we learned in formal semantics about ontology?Nicholas Asher
2014Ontology-based Data Management for the Italian Public Debt.Natalia Antonioli, Francesco Castan, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane
2014Reuse with Domain and Process Ontologies.Bahar Aameri, Michael Gruninger
2012Elements for a linguistic ontology in the verbal domain.Lucia M. Tovena
2012Towards Making Explicit the Ontological Commitment of a Database Schema on the Geological Domain.Alda Maria Ferreira Rosa da Silva, Maria Cludia Cavalcanti
2012Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types - Towards a Method for Evaluating Ontologies.Patrice Seyed
2012A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard.Patrice Seyed
2012Three Semantics for the Core of the Distributed Ontology Language.Till Mossakowski, Christoph Lange, Oliver Kutz
226250 of 385← PreviousNext →

Comparable venues

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