6. FOIS 2010: Toronto, Canada
Antony Galton, Riichiro Mizoguchi (Eds.): Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010. IOS Press 2010 Frontiers in Artificial Intelligence and Applications ISBN 978-1-60750-534-1
Invited Talks
- Francis Jeffry Pelletier: Ontological Lessons from the Semantics of Mass and Count Nouns. 3-4
- John A. Bateman: Ontological diversity: the case from space. 5-16
- Alan Rector: Knowledge Driven Software and "Fractal Tailoring": Ontologies in development environments for clinical systems. 17-28
Fundamentals
- Brandon Bennett: Foundations for an Ontology of Environment and Habitat. 31-44
- Richard Dapoigny, Patrick Barlatier: Towards Ontological Correctness of Part-whole Relations with Dependent Types. 45-58
- Luc Schneider: Revisiting the Ontological Square. 73-86
Quality and Quantity
- Claudio Masolo: Founding properties on measurement. 89-102
- Giancarlo Guizzardi: On the Representation of Quantities and their Parts in Conceptual Modeling. 103-116
- Simon Scheider, Florian Probst, Krzysztof Janowicz: Constructing Bodies and their Qualities from Observations. 131-144
Applications I
- Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman: A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. 158-171
- Seon Gyu Park, Sungin Lee, Myeng-Ki Kim, Hong-Gee Kim: The Use of Ontology in Dental Restorative Treatment Decision Support System. 172-181
Ontology Building
- Bénédicte Batrancourt, Michel Dojat, Bernard Gibaud, Gilles Kassel: A core ontology of instruments used for neurological, behavioral and cognitive assessments. 185-198
- Anusuriya Devaraju, Werner Kuhn: A Process-Centric Ontological Approach for Integrating Geo-Sensor Data. 199-212
- Monalessa Perini Barcellos, Ricardo de Almeida Falbo, Rodrigo Dal Moro: A Well-Founded Software Measurement Ontology. 213-226
- Xing Tan: SCOPE: A Situation Calculus Ontology of Petri Nets. 227-240
Biomedical and Chemical Ontologies I
- Janna Hastings, Colin R. Batchelor, Christoph Steinbeck, Stefan Schulz: What are chemical structures and their relations? 257-270
- Colin R. Batchelor, Janna Hastings, Christoph Steinbeck: Ontological dependence, dispositions and institutional reality in chemistry. 271-284
Products and Functions
- Massimiliano Vignolo: Towards an Ontology of Products. 287-300
- Yoshinobu Kitamura, Riichiro Mizoguchi: Characterizing Functions based on Ontological Models from an Engineering Point of View. 301-314
Verification and Evaluation
- Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong: Ontology Verification with Repositories. 317-330
- Gintare Grigonyte, Mathias Brochhausen, Luis Martín, Manolis Tsiknakis, Johann Haller: Evaluating Ontologies with NLP-Based Terminologies - A Case Study on ACGT and Its Master Ontology. 331-342
Applications II
- Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak: Towards a formal ontology for history of church administration. 345-358
- Neil Benn: Using the cDnS ontology as upper-level for a Scholarly Debate Ontology. 359-372
- Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli: Ontologies for Distributed Command and Control Messaging. 373-384
Biomedical and Chemical Ontologies II
- Albert Goldfain, Barry Smith, Lindsay G. Cowell: Dispositions and the Infectious Disease Ontology. 400-413
- Chimezie Ogbuji, Sivaram Arabandi, Songmao Zhang, Guo-Qiang Zhang: Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. 414-427
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team