Â¥Ö÷

FOIS 2010 Accepted Papers 6th International Conference on Formal Ontology in Information Systems http://fois2010.mie.utoronto.ca/index.php?option=com_content&view=article&id=10&Itemid=20 FOIS 2010 - Accepted Papers -------------------------------------------------------------------------------- •Gintare Grigonyte, Mathias Brochhausen, Luis Martin, Manolis Tsiknakis and Johann Haller Evaluating Ontologies with NLP-Based Terminologies - A Case Study on ACGT and Its Master Ontology •Monalessa Perini Barcellos, Ricardo de Almeida Falbo and Rodrigo Dal Moro A Well-Founded Software Measurement Ontology •Massimiliano Vignolo Toward an Ontology of Products •Atalay Ozgovde and Michael Gruninger Foundational Process Relations in Bio-Ontologies •Xing Tan SCOPE: A Situation Calculus Ontology of Petri Nets •Paweł Garbacz, Robert Trypuz, Bogumił Szady, Piotr Kulicki, Przemysław Grądzki and Marek Lechniak Towards a Formal Ontology for History of Church Administration •Michael Gruninger, Torsten Hahmann, Ali Hashemi and Darren Ong Ontology Verification with Repositories •Claudio Masolo Founding Properties on Measurement •Luc Schneider Revisiting the Ontological Square •Chimezie Ogbuji, Sivaram Arabandi, Songmao Zhang and Guo-Qiang Zhang Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics •Jerry Hobbs and Andrew Gordon Goals in a Formal Theory of Commonsense Psychology •Yoshinobu Kitamura and Riichiro Mizoguchi Characterizing Functions based on Ontological Models from an Engineering Point of View •Simon Scheider, Florian Probst and Krzysztof Janowicz Constructing Bodies and their Qualities from Observations •Richard Dapoigny and Patrick Barlatier Towards Ontological Correctness of Part-whole Relations with Dependent Types •Seon Gyu Park, Sungin Lee, Myeng-Ki Kim and Hong-Gee Kim The Use of Ontology in Dental Restorative Treatment Decision Support System •Colin Batchelor, Janna Hastings and Christoph Steinbeck Ontological Dependence, Dispositions and Institutional Reality in Chemistry •Vinay K Chaudhri, Bert Bredeweg, Sheila McIlraith, Richard Fikes and Michael Wellman A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base •Giancarlo Guizzardi On the Representation of Quantities and their Parts in Conceptual Modeling •Anusuriya Devaraju and Werner Kuhn A Process-Centric Ontological Approach for Integrating Geo-Sensor Data •B¨¦n¨¦dicte BATRANCOURT, Michel DOJAT, Bernard Gibaud and Gilles KASSEL A Core Ontology of Instruments used for Neurological, Behavioral and Cognitive Assessments •Janna Hastings, Colin Batchelor, Christoph Steinbeck and Stefan Schulz What are Chemical Entities and their Relations? •Jens Ortmann and Werner Kuhn Affordances as Qualities •Lubomir Stanchev and Grant Weddell On Building an Index Advisor for Semantic Web Queries •Albert Goldfain, Barry Smith and Lindsay Cowell Dispositions and the Infectious Disease Ontology •Neil Benn Using the cDnS Ontology as Upper-Level for a Scholarly Debate Ontology •Duc N. Nguyen, Joseph Kopena, Boon Thau Loo and William C. Regli Ontologies for Distributed Command and Control Messaging •Michel Dumontier and Robert Hoehndorf Realism for Scientific Ontologies •Brandon Bennett Foundations for an Ontology of Environment and Habitat    Êղؠ  ·ÖÏí   ¶¥(0)

----------------------------------------------
knowledge representation & paraconsistent reasoning
My Homepage: http://www.is.pku.edu.cn/~zxw/