default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th FOIS 2014: Rio de Janeiro, Brazil
- Pawel Garbacz, Oliver Kutz:
Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil. Frontiers in Artificial Intelligence and Applications 267, IOS Press 2014, ISBN 978-1-61499-437-4 - Nicholas Asher:
What have we learned in formal semantics about ontology? FOIS 2014: 3 - Kit Fine:
A New Theory of Vagueness. FOIS 2014: 4 - Nicola Guarino:
Ontological analysis and conceptual modeling: achievements and perspectives. FOIS 2014: 5 - Clarisse Sieckenius de Souza:
Is it time to talk about first-person meanings in computer programs? FOIS 2014: 6 - Michael Grüninger, Torsten Hahmann
, Megan Katsumi, Carmen Chui:
A Sideways Look at Upper Ontologies. 9-22 - Stefano Borgo, Daniele Porello, Nicolas Troquard:
Logical Operators for Ontological Modeling. 23-36 - Torsten Hahmann, Boyan Brodaric, Michael Grüninger:
Interdependence among material objects and voids. 37-50 - Torsten Hahmann, Boyan Brodaric:
Voids and material constitution across physical granularities. 51-64 - Marion Haemmerli, Achille C. Varzi:
Adding Convexity to Mereotopology. 65-78 - Stefano Borgo, Riichiro Mizoguchi:
A First-order Formalization of Event, Object, Process and Role in YAMATO. 79-92 - Alessander Botti Benevides, Claudio Masolo:
States, Events, and Truth-makers. 93-102 - Carmen Chui, Michael Grüninger:
Mathematical Foundations for Participation Ontologies. 105-118 - Nicolas Troquard:
A formal theory for conceptualizing artefacts and tool manipulations. 119-132 - Marco Rospocher, Chiara Ghidini, Luciano Serafini:
An ontology for the Business Process Modelling Notation. 133-146 - Emilio M. Sanfilippo, Stefano Borgo, Claudio Masolo:
Events and Activities: Is there an Ontology behind BPMN? 147-156 - Adrien Barton, Robert J. Rovetto, Riichiro Mizoguchi:
Newtonian Forces and Causation: A Dispositional Account. 157-170 - Desiree Daniel:
Resilience as a Disposition. 171-182 - Daniele Porello, Emanuele Bottazzi, Roberta Ferrario:
The Ontology of Group Agency. 183-196 - Ralph Schäfermeier, Adrian Paschke:
Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling. 199-212 - Brandon Bennett, Claudia Cialone:
Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain). 213-226 - Selja Seppälä, Barry Smith, Werner Ceusters:
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology. 227-240 - Hermann Bense:
The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering. 241-250 - Samuel Sarjant, Catherine Legg, Matt Stannett, Duncan Willcock:
Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface. 251-260 - Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans:
Conceptual Models of Energy Transfer and Regulation. 263-276 - Aurona Gerber, Connal Eardley, Nishal Morar:
An Ontology-based Taxonomic Key for Afrotropical Bees. 277-288 - Stefan Schulz, Catalina Martínez-Costa, Daniel Karlsson, Ronald Cornet, Mathias Brochhausen, Alan L. Rector:
An Ontological Analysis of Reference in Health Record Statements. 289-302 - Paul Brandt, Twan Basten, Sander Stuijk:
ContoExam: an ontology on context-aware examinations. 303-316 - Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos:
Towards an Ontology of Software: a Requirements Engineering Perspective. 317-329 - Fabiano Borges Ruy, Ricardo de Almeida Falbo, Monalessa Perini Barcellos, Giancarlo Guizzardi:
An Ontological Analysis of the ISO/IEC 24744 Metamodel. 330-343 - Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos:
An Ontological Interpretation of Non-Functional Requirements. 344-357 - Andreas Jordan, Matt Selway, Wolfgang Mayer, Georg Grossmann, Markus Stumptner:
An Ontological Core for Conformance Checking in the Engineering Life-cycle. 358-371 - Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane:
Ontology-based Data Management for the Italian Public Debt. 372-385 - Jan L. G. Dietz, David Aveiro, João Pombinho, Jan A. P. Hoogervorst:
An Ontology for the τ-theory of Enterprise Engineering. 386-395 - André Luís Andrade Menolli, Helena Sofia Pinto, Sheila S. Reinehr, Andreia Malucelli:
Unit of Organizational Learning Ontology based on LOM Standard and IMS Learning Design. 396-405 - Adrien Barton, Arnaud Rosier, Anita Burgun, Jean-François Ethier:
The Cardiovascular Disease Ontology. 409-414 - Vinay K. Chaudhri, Daniel Elenius, Sue Hinojoza, Michael A. Wessel:
KB_Bio_101: Content and Challenges. 415-420 - Marco Rospocher:
An ontology for personalized environmental decision support. 421-426 - Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. 427-432
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-10 00:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
