default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. FOIS 2001: Ogunquit, Maine, USA
- 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings. ACM 2001, ISBN 1-58113-377-4
- Barry Smith, Christopher A. Welty:
FOIS introduction: Ontology - towards a new synthesis. iii-ix - E. J. Lowe:
Opening plenary talk: Recent advances in metaphysics. 1 - Ian Niles, Adam Pease:
Towards a standard upper ontology. 2-9 - Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos:
Information systems as social structures. 10-21 - David D. McDonald:
The view from the trenches: issues in the ontology of restricted domains. 22-33 - Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith:
GOL: toward an axiomatized upper-level ontology. 34-46 - Atanas Kiryakov, Kiril Ivanov Simov, Marin Dimitrov:
OntoMap: portal for upper-level ontologies. 47-58 - Michael Johnson
, Christopher N. G. Dampney:
On category theory as a (meta) ontology for information systems research. 59-69 - Erwan Breton, Jean Bézivin:
Towards an understanding of model executability. 70-80 - Valentina A. M. Tamma, Trevor J. M. Bench-Capon:
An enriched knowledge model for formal ontological analysis. 81-92 - Carola Eschenbach:
Viewing composition tables as axiomatic systems. 93-104 - Brandon Bennett:
Space, time, matter and things. 105-116 - Leo Obrst, Robert E. Wray, Howard Liu:
Ontological engineering for B2B E-commerce. 117-126 - 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:
Towards scott domains-based topological ontology models. 127-138 - Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett:
A note on proximity spaces and connection based mereology. 139-150 - Sergei Nirenburg, Victor Raskin:
Ontological semantics, formal ontology, and ambiguity. 151-161 - Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg:
Preventing existence. 162-173 - John Howse, Fernando Molina, John Taylor, Sun-Joo Shin:
Type-syntax and token-syntax in diagrammatic systems. 174-185 - Lawrence W. Barsalou:
The human conceptual system. 186-186 - Gloria L. Zúñiga:
Ontology: its transformation from philosophy to information systems. 187-197 - Anthony G. Cohn:
Formalising bio-spatial knowledge. 198-209 - Stefan Schulz, Udo Hahn:
Mereotopological reasoning about parts and (w)holes in bio-ontologies. 210-221 - Anita Burgun, Olivier Bodenreider:
Aspects of the taxonomic relation in the biomedical domain. 222-233 - Massimiliano Carrara, Pierdaniele Giaretta:
Identity criteria and sortal concepts. 234-243 - Aaron N. Kaplan:
Towards a consistent logical framework for ontological analysis. 244-255 - Christopher Menzel, Michael Grüninger:
A formal foundation for process modeling. 256-269 - Paola Velardi, Paolo Fabriani, Michele Missikoff:
Using text processing techniques to automatically enrich a domain ontology. 270-284 - Aldo Gangemi, Nicola Guarino, Alessandro Oltramari:
Conceptual analysis of lexical taxonomies: thecase of WordNet top-level. 285-296 - Farshad Hakimpour, Andreas Geppert:
Resolving semantic heterogeneity in schema integration. 297-308 - Thomas Bittner, Barry Smith:
Granular partitions and vagueness. 309-320 - Maureen Donnelly:
Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts. 321-332 - Johanna Seibt:
Formal process ontology. 333-345
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 2024-11-11 21:15 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
