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
2016Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.Thomas Bittner, Jonathan P. Bona, Werner Ceusters
2016Defining Relations: A General Incremental Approach with Spatial Temporal Case Studies.Brandon Bennett, Heshan Du, Luca Gmez lvarez, Anthony G. Cohn
2016Finding Meaning: The Missing Link Between Natural Language and Formal Ontology.Brandon Bennett
2016Towards an Ontology of Space for GFO.Ringo Baumann, Frank Loebe, Heinrich Herre
2016The Two Ontological Faces of Velocity.Adrien Barton, Jean-Franois Ethier
2016Towards an Ontology of Value Ascription.Birger Andersson, Nicola Guarino, Paul Johannesson, Barbara Livieri
2016Categorizing Questions Through the Demonstrative-Intentional Tree.Sezen Altug
2016Anti-Modules.Bahar Aameri, Michael Grninger, Carmen Chui
2014Towards an Ontology of Software: a Requirements Engineering Perspective.Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2014ISA-88 Formalization. A Step Towards its Integration with the ISA-95 Standard.Marcela Vegetti, Gabriela P. Henning
2014A formal theory for conceptualizing artefacts and tool manipulations.Nicolas Troquard
2014Analyzing the Behavior of Modelers in Interpreting Relationships in Conceptual Models: An Empirical Study.Maria das Graas da Silva Teixeira, Ricardo de Almeida Falbo, Giancarlo Guizzardi
2014Is it time to talk about first-person meanings in computer programs?Clarisse Sieckenius de Souza
2014Improving Ontology Service-Driven Entity Disambiguation.A. Patrice Seyed, Zachary Fry, Deborah L. McGuinness
2014Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppl, Barry Smith, Werner Ceusters
2014An Ontological Analysis of Reference in Health Record Statements.Stefan Schulz, Catalina Martnez-Costa, Daniel Karlsson, Ronald Cornet, Mathias Brochhausen, Alan L. Rector
2014Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling.Ralph Schfermeier, Adrian Paschke
2014Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface.Samuel Sarjant, Catherine Legg, Matt Stannett, Duncan Willcock
2014Constructing E-SHIQ Distributed Knowledge Bases via Ontology Modularization: The mONTul method.Georgios M. Santipantakis, George A. Vouros
2014Events and Activities: Is there an Ontology behind BPMN?Emilio M. Sanfilippo, Stefano Borgo, Claudio Masolo
2014An Ontological Analysis of the ISO/IEC 24744 Metamodel.Fabiano Borges Ruy, Ricardo de Almeida Falbo, Monalessa Perini Barcellos, Giancarlo Guizzardi
2014An ontology for the Business Process Modelling Notation.Marco Rospocher, Chiara Ghidini, Luciano Serafini
2014An ontology for personalized environmental decision support.Marco Rospocher
2014Metamodelling in a Ontology Network.Edelweis Rohrer, Paula Severi, Regina Motz, Alicia Daz
2014The Ontology of Group Agency.Daniele Porello, Emanuele Bottazzi, Roberta Ferrario
176200 of 385← PreviousNext →

Comparable venues

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