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. Frontiers in Artificial Intelligence and Applications 209 IOS Press 2010, 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

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
Jerry R. Hobbs, Andrew S. Gordon:
Goals in a Formal Theory of Commonsense Psychology. 59-72
Luc Schneider:
Revisiting the Ontological Square. 73-86

Claudio Masolo:
Founding properties on measurement. 89-102
Giancarlo Guizzardi:
On the Representation of Quantities and their Parts in Conceptual Modeling. 103-116
Jens Ortmann, Werner Kuhn:
Affordances as Qualities. 117-130
Simon Scheider, Florian Probst, Krzysztof Janowicz:
Constructing Bodies and their Qualities from Observations. 131-144

Lubomir Stanchev, Grant E. Weddell:
On Building an Index Advisor for Semantic Web Queries. 147-157
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

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

Atalay Özgövde, Michael Grüninger:
Foundational Process Relations in Bio-Ontologies. 243-256
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

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

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

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

Michel Dumontier, Robert Hoehndorf:
Realism for scientific ontologies. 387-399
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

Last update Mon May 20 22:59:21 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page