FOIS C

39 papers

YearTitle / Authors
2014A First-order Formalization of Event, Object, Process and Role in YAMATO.
Stefano Borgo, Riichiro Mizoguchi
2014A New Theory of Vagueness.
Kit Fine
2014A Sideways Look at Upper Ontologies.
Michael Grüninger, Torsten Hahmann, Megan Katsumi, Carmen Chui
2014A formal theory for conceptualizing artefacts and tool manipulations.
Nicolas Troquard
2014Adding Convexity to Mereotopology.
Marion Haemmerli, Achille C. Varzi
2014An Ontological Analysis of Reference in Health Record Statements.
Stefan Schulz, Catalina Martínez-Costa, Daniel Karlsson, Ronald Cornet, Mathias Brochhausen, Alan L. Rector
2014An Ontological Analysis of the ISO/IEC 24744 Metamodel.
Fabiano Borges Ruy, Ricardo de Almeida Falbo, Monalessa Perini Barcellos, Giancarlo Guizzardi
2014An Ontological Core for Conformance Checking in the Engineering Life-cycle.
Andreas Jordan, Matt Selway, Wolfgang Mayer, Georg Grossmann, Markus Stumptner
2014An Ontological Interpretation of Non-Functional Requirements.
Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos
2014An Ontology for the τ-theory of Enterprise Engineering.
Jan L. G. Dietz, David Aveiro, João Pombinho, Jan A. P. Hoogervorst
2014An Ontology-based Taxonomic Key for Afrotropical Bees.
Aurona Gerber, Connal Eardley, Nishal Morar
2014An ontology for personalized environmental decision support.
Marco Rospocher
2014An ontology for the Business Process Modelling Notation.
Marco Rospocher, Chiara Ghidini, Luciano Serafini
2014Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.
Selja Seppälä, Barry Smith, Werner Ceusters
2014Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling.
Ralph Schäfermeier, Adrian Paschke
2014Conceptual Models of Energy Transfer and Regulation.
Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans
2014ContoExam: an ontology on context-aware examinations.
Paul Brandt, Twan Basten, Sander Stuijk
2014Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain).
Brandon Bennett, Claudia Cialone
2014Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface.
Samuel Sarjant, Catherine Legg, Matt Stannett, Duncan Willcock
2014Events and Activities: Is there an Ontology behind BPMN?
Emilio M. Sanfilippo, Stefano Borgo, Claudio Masolo
2014Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil
Pawel Garbacz, Oliver Kutz
2014Interdependence among material objects and voids.
Torsten Hahmann, Boyan Brodaric, Michael Grüninger
2014Is it time to talk about first-person meanings in computer programs?
Clarisse Sieckenius de Souza
2014KB_Bio_101: Content and Challenges.
Vinay K. Chaudhri, Daniel Elenius, Sue Hinojoza, Michael A. Wessel
2014Logical Operators for Ontological Modeling.
Stefano Borgo, Daniele Porello, Nicolas Troquard
2014Mathematical Foundations for Participation Ontologies.
Carmen Chui, Michael Grüninger
2014Newtonian Forces and Causation: A Dispositional Account.
Adrien Barton, Robert J. Rovetto, Riichiro Mizoguchi
2014Ontological analysis and conceptual modeling: achievements and perspectives.
Nicola Guarino
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
2014Resilience as a Disposition.
Desiree Daniel
2014States, Events, and Truth-makers.
Alessander Botti Benevides, Claudio Masolo
2014The Cardiovascular Disease Ontology.
Adrien Barton, Arnaud Rosier, Anita Burgun, Jean-François Ethier
2014The Ontology of Group Agency.
Daniele Porello, Emanuele Bottazzi, Roberta Ferrario
2014The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering.
Hermann Bense
2014Towards Ontological Support for Principle Solutions in Mechanical Engineering.
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2014Towards an Ontology of Software: a Requirements Engineering Perspective.
Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2014Unit of Organizational Learning Ontology based on LOM Standard and IMS Learning Design.
André Luís Andrade Menolli, Helena Sofia Pinto, Sheila S. Reinehr, Andreia Malucelli
2014Voids and material constitution across physical granularities.
Torsten Hahmann, Boyan Brodaric
2014What have we learned in formal semantics about ontology?
Nicholas Asher