FOIS C

33 papers

YearTitle / Authors
20012nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings.
2001A formal foundation for process modeling.
Christopher Menzel, Michael Grüninger
2001A note on proximity spaces and connection based mereology.
Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett
2001An enriched knowledge model for formal ontological analysis.
Valentina A. M. Tamma, Trevor J. M. Bench-Capon
2001Aspects of the taxonomic relation in the biomedical domain.
Anita Burgun, Olivier Bodenreider
2001Conceptual analysis of lexical taxonomies: thecase of WordNet top-level.
Aldo Gangemi, Nicola Guarino, Alessandro Oltramari
2001FOIS introduction: Ontology - towards a new synthesis.
Barry Smith, Christopher A. Welty
2001Formal process ontology.
Johanna Seibt
2001Formalising bio-spatial knowledge.
Anthony G. Cohn
2001GOL: toward an axiomatized upper-level ontology.
Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith
2001Granular partitions and vagueness.
Thomas Bittner, Barry Smith
2001Identity criteria and sortal concepts.
Massimiliano Carrara, Pierdaniele Giaretta
2001Information systems as social structures.
Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos
2001Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts.
Maureen Donnelly
2001Mereotopological reasoning about parts and (w)holes in bio-ontologies.
Stefan Schulz, Udo Hahn
2001On category theory as a (meta) ontology for information systems research.
Michael Johnson, Christopher N. G. Dampney
2001OntoMap: portal for upper-level ontologies.
Atanas Kiryakov, Kiril Ivanov Simov, Marin Dimitrov
2001Ontological engineering for B2B E-commerce.
Leo Obrst, Robert E. Wray, Howard Liu
2001Ontological semantics, formal ontology, and ambiguity.
Sergei Nirenburg, Victor Raskin
2001Ontology: its transformation from philosophy to information systems.
Gloria L. Zúñiga
2001Opening plenary talk: Recent advances in metaphysics.
E. J. Lowe
2001Preventing existence.
Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg
2001Resolving semantic heterogeneity in schema integration.
Farshad Hakimpour, Andreas Geppert
2001Space, time, matter and things.
Brandon Bennett
2001The human conceptual system.
Lawrence W. Barsalou
2001The view from the trenches: issues in the ontology of restricted domains.
David D. McDonald
2001Towards a consistent logical framework for ontological analysis.
Aaron N. Kaplan
2001Towards a standard upper ontology.
Ian Niles, Adam Pease
2001Towards an understanding of model executability.
Erwan Breton, Jean Bézivin
2001Towards scott domains-based topological ontology models.
Jesualdo Tomás Fernández-Breis, Dagoberto Castellanos Nieves, Rafael Valencia-García, Pedro José Vivancos Vicente, Rodrigo Martínez-Béjar, Manuel De las Heras-González
2001Type-syntax and token-syntax in diagrammatic systems.
John Howse, Fernando Molina, John Taylor, Sun-Joo Shin
2001Using text processing techniques to automatically enrich a domain ontology.
Paola Velardi, Paolo Fabriani, Michele Missikoff
2001Viewing composition tables as axiomatic systems.
Carola Eschenbach