Ontology |
[Bateman, 1990]![]() |
John A. Bateman (1990). Upper Modeling: current states of theory and practise. Marina del Rey, CA. PENMAN Development Note, USC/Information Sciences Institute. |
[Bateman, 1993]![]() |
John A. Bateman (1993). Review Article: Ontologie und Axiomatik der Wissensbasis von LILOG (Klose, Lang, Pirlein eds.). In: Computational Linguistics, 19(3):539--543. |
[Bateman, 1995]![]() |
John A. Bateman (1995). On the relationship between ontology construction and natural language: a socio-semiotic view. In: International Journal of Human-Computer Studies, 43:929--944. |
[Bittner, forthcoming]![]() ![]() ![]() |
Thomas Bittner (forthcoming). Indeterminacy and Rough Approximation. In: 16th International FLAIRS Conference. Published by AAAI Press. |
[Bittner, 2002]![]() ![]() ![]() |
Thomas Bittner (2002). Approximate qualitative temporal reasoning. 35(1-2). |
[Bittner, 2002]![]() ![]() |
Thomas Bittner (2002). Granularity in Reference to Spatio-Temporal Location and Relations. In: 15th International FLAIRS Conference 2002. |
[Bittner, 2002]![]() ![]() |
Thomas Bittner (2002). Judgments about Spatio-Temporal Relations. In: KR 2002 -- 8th International Conference on Principles of Knowledge Representation and Reasoning. |
[Bittner and Smith, forthcoming]![]() ![]() ![]() |
Thomas Bittner and Barry Smith (forthcoming). Vague Reference and Approximating Judgements. In: Spatial Cognition and Computation. |
[Bittner and Smith, 2003]![]() ![]() ![]() |
Thomas Bittner and Barry Smith (2003). Granular Spatio-Temporal Ontologies. In: 2003 AAAI Symposium: Foundations and Applications of Spatio-Temporal Reasoning (FASTR). |
[Bittner and Stell, 2002]![]() ![]() |
Thomas Bittner and John G. Stell (2002). Approximate qualitative spatial reasoning. In: Spatial Cognition and Computation, 2(4):435--466. |
[Bittner and Stell, 2002]![]() ![]() ![]() |
Thomas Bittner and John G. Stell (2002). Vagueness and Rough Location. In: Geoinformatica, 6:99--121. |
[Bittner and Stell, forthcoming]![]() ![]() ![]() |
Thomas Bittner and John G. Stell (forthcoming). Stratified Rough Sets and Vagueness. In: Proceedings of COSIT 2003. |
[Burners-Lee et al., 2001]![]() |
T. Burners-Lee and J. Hendler and O. Lassila (2001). The semantic web. In: Scientific American, 284(5). |
[Casati and Varzi, 1999]![]() |
R. Casati and A. Varzi (1999). Parts and places: the structures of spatial representation. MIT Press, Cambridge, MA and London. |
[Donnelly, 2003]![]() ![]() ![]() |
Maureen Donnelly (2003). Layered Mereotopology. In: IJCAI 2003 -- Eighteenth International Joint Conference on Artificial Intelligence. |
[Farrar et al., 2002]![]() |
Scott Farrar and William D. Lewis and D. Terence Langendoen (2002). A common ontology for linguistic concepts. In: Proceedings of the Knowledge Technologies Conference. Seattle. |
[Fikes and McGuinness, 2001]![]() ![]() ![]() |
Richard Fikes and Deborah L. McGuinness (2001). An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL. KSL Technical Report Nr. KSL-01-01. Stanford University. |
[Frank, 2001]![]() |
Andrew U. Frank (2001). Tiers of ontology and consistency constraints in geographical information systems. In: International Journal of Geographical Information Science, 15(7):667--678. |
[Gangemi et al., 2002]![]() |
Aldo Gangemi and Nicola Guarino and Claudio Masolo and Alessandro Oltramari (2002). Restructuring WordNet's top-level. In: AI magazine, . |
[Gangemi et al., 2002]![]() |
A. Gangemi and N. Guarino and A. Oltramari and S. Borgo (2002). Cleaning-up WordNet's top-level. In: Proceedings of the 1st International WordNet Conference. |
[Gangemi et al., 2002]![]() |
A. Gangemi and N. Guarino and A. Oltramari and L. Schneider (2002). Sweetening ontologies with DOLCE. In: Proceedings of EKAW 2002. Siguenza, Spain. |
[Grenon, 2003]![]() ![]() ![]() |
Pierre Grenon (2003). Tucking RCC in Cyc's Ontological Bed. In: IJCAI-03 -- Eighteenth International Joint Conference in Artificial Intelligence. |
[Grenon and Smith, forthcoming]![]() ![]() ![]() |
Pierre Grenon and Barry Smith (forthcoming). SNAP and SPAN: Prolegomenon to Geodynamic Ontology. In: Spatial Cognition and Computation. |
[Gruber, 1993]![]() |
T. R. Gruber (1993). A translation approach to portable ontology specifications. In: Knowledge Acquisition, 5(2):199--220. |
[Gruber, 1993]![]() |
T. R. Gruber (1993). A translation approach to portable ontology specifications. Technical Report Nr. KSL 92-71. Computer Science Department, Stanford University, California. |
[Gruninger and Lee, 2002]![]() |
Michael Gruninger and Jintae Lee (2002). Ontology: applications and design. In: Communications of the ACM, 45(2):39--41. |
[Guarino, 1994]![]() |
Nicola Guarino (1994). The Ontological Level. In: R. Casati and B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences. Hölder-Pichler-Tempsky, Vienna. |
[Guarino and Poli, 1994]![]() |
N. Guarino and R. Poli (eds.) (1994). Formal ontology in conceptual analysis and knowledge representation. Kluwer Academic Press, Dordrecht. |
[Guarino and Poli, 1995]![]() |
Nicola Guarino and Roberto Poli (1995). The role of formal ontology in the information technology. In: International Journal of Human and Computer Studies, 43:623--624. |
[Guarino and Welty, 2002]![]() |
Nicola Guarino and Christopher Welty (2002). Evaluating ontological decisions with OntoClean. In: Communications of the ACM, 45(2):61--65. |
[Hahn et al., 1999]![]() |
U. Hahn and S. Schulz and M. Romacker (1999). Part-whole reasoning: A case study in medical ontology engineering. In: IEEE Intelligent Systems, 14(5):59--67. |
[Hayes, 2002]![]() ![]() ![]() |
Patrick Hayes (2002). RDF Model Theory. Technical Report. W3C. W3C Working Draft. |
[Hendler, 2001]![]() |
James Hendler (2001). Agents and the semantic web. In: IEEE Intelligent Systems Journal, 16(2). |
[Henschel and Bateman, 1994]![]() ![]() |
Renate Henschel and John A. Bateman (1994). The merged upper model: a linguistic ontology for German and English. In: Proceedings of COLING '94. Kyoto, Japan. |
[Hovy, 1997]![]() ![]() ![]() |
Eduard Hovy (1997). A standard for large ontologies. Technical Report. USC/Information Sciences Institute. |
[Johansson, forthcoming]![]() ![]() ![]() |
Ingvar Johansson (forthcoming). Functions, Function Concepts, and Scales. In: The Monist, . |
[Johansson, forthcoming]![]() ![]() ![]() |
Ingvar Johansson (forthcoming). Performatives and Antiperformatives. In: Linguistics and Philosophy, . |
[Kent, 2001]![]() ![]() ![]() |
R. Kent (2001). A KIF formalization for the IFF category theory ontology. In: Working Notes of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology. |
[Kent, 2002]![]() ![]() ![]() |
Robert E. Kent (2002). The Information Flow Foundation (IFF) Ontology. IEEE SUO report Nr. Version 2002-01-02. IEEE, Standard Upper Ontology Working Group. |
[Kim, 2002]![]() |
Henry Kim (2002). Predicting how ontologies for the semantic web will evolve. In: Communications of the ACM, 45(2):48--54. |
[Kuhn, 2001]![]() |
Werner Kuhn (2001). Ontologies in support of activities in geographical space. In: International Journal of Geographical Information Science, 15(7):679--687. |
[Kumar and Smith, 2003]![]() ![]() ![]() |
Anand Kumar and Barry Smith (2003). Ontology for Task-Based Clinical Guidelines. In: AMIE 2003 -- 9th Conference on Artificial Intelligence in Medicine Europe. |
[Lenat, 1995]![]() |
D. Lenat (1995). Cyc: a large-scale investment in knowledge infrastructure. In: Communications of the ACM, 38(11). |
[Lane, 1998]![]() |
Saunders Mac Lane (1998). Categories for the working mathematician. Graduate Texts in Mathematics. Springer, New York / Berlin, 2nd. edition edition. |
[MacGregor, 1993]![]() |
Robert M. MacGregor (1993). Representing reified relations in Loom. In: Journal of Experimental and Theoretical Artificial Intelligence, 5:179--193. |
[MacGregor, 1999]![]() ![]() ![]() |
Robert MacGregor (1999). Retrospective on Loom. Technical Report. University of Southern California, Information Sciences Institute, Los Angeles. |
[MacGregor, 1999]![]() ![]() ![]() |
Robert MacGregor (1999). Retrospective on Loom. Technical Report. University of Southern California, Information Sciences Institute, Los Angeles. |
[Magnini, 1994]![]() |
B. Magnini (1994). Specification of the upper model. Technical Report Nr. LRE Project 062-09 Deliverable TST-1. IRST. |
[Mann, 1985]![]() |
William C. Mann (1985). Janus Abstraction Structure -- Draft 1. An informal project technical memo of the Janus project at ISI. |
[Moens and Steedman, 1988]![]() |
M. Moens and M. Steedman (1988). Temporal ontology and Temporal reference. In: Computational Linguistics, 14(2). |
[Neches et al., 1991]![]() |
R. Neches and R. Fikes and T. Finin and T. Gruber and R. Patil and T. Senator and W. R. Swartout (1991). Enabling technology for knowledge sharing. In: AI Magazine, 12(3):16--36. |
[Parsons, 1990]![]() |
T. Parsons (1990). Events in the semantics of English: a study in subatomic semantics. MIT Press, Cambridge, MA / London. |
[Pease and Niles, 2002]![]() |
A. Pease and I. Niles (2002). IEEE Standard Upper Ontology: A Progress Report. In: Knowledge Engineering Review, 17. Special Issue on Ontologies and Agents. |
[Pinto, 2001]![]() ![]() ![]() |
S. Pinto (2001). Revising and Extending the Units of Measure "Subontology". In: Working Notes of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology. |
[Raubal, 2001]![]() |
Martin Raubal (2001). Ontology and epistemology for agent-based wayfinding simulation. In: International Journal of Geographical Information Science, 15(7):653--665. |
[IEEE, 2001]![]() ![]() ![]() |
IEEE (2001). The IEEE Standard Upper Ontology Working Group (P1600.1). |
[Schneider, 2003]![]() ![]() ![]() |
Luc Schneider (2003). How to Build a Foundational Ontology. The Object-Centered High-level Reference Ontology OCHRE. In: KI 2003 -- 26th German Conference on Artificial Intelligence. |
[Smith, forthcoming]![]() |
Barry Smith (forthcoming). Ontology and Information Systems. In: Stanford Encyclopedia of Philosophy. |
[Smith, 2001]![]() ![]() ![]() |
Barry Smith (2001). Fiat Objects. In: Topoi, 20(2):131--148. |
[Smith, 1996]![]() |
Barry Smith (1996). Mereotopology: a theory of parts and boundaries. In: Data and knowledge engineering, 20:287--303. |
[Smith and Brogaard, 2003]![]() ![]() ![]() |
Barry Smith and Berit Brogaard (2003). A Unified Theory of Truth and Reference. In: Loqique et Analyse, 43:169--170. |
[Smith and Brogaard, 2002]![]() ![]() ![]() |
Barry Smith and Berit Brogaard (2002). Quantum Mereotopology. In: Annals of Mathematics and Artificial Intelligence, 35(1-2):153--175. |
[Smith and Ceusters, 2003]![]() ![]() ![]() |
Barry Smith and Werner Ceusters (2003). Towards Industrial-Strength Philosophy. In: Interdisciplinary Science Reviews, 28(2):106--111. |
[Smith and Grenon, forthcoming]![]() ![]() ![]() |
Barry Smith and Pierre Grenon (forthcoming). The Cornucopia of Formal-Ontological Relations. In: Dialectica, . |
[Smith and Mark, 2001]![]() |
Barry Smith and David M. Mark (2001). Geographical categories: an ontological investigation. In: International Journal of Geographical Information Science, 15(7):591--612. |
[Smith and Mark, 2003]![]() ![]() ![]() |
Barry Smith and David M. Mark (2003). Do Mountains Exist? Towards an Ontology of Landforms. In: Environment and Planning B (Planning and Design), 30(3):411--427. |
[Smith and Varzi, 2000]![]() |
Barry Smith and Achille C. Varzi (2000). Fiat and Bona Fide Boundaries. In: Philosophy and phenomenological research, 60(2):401--420. |
[Timpf, 2001]![]() |
S. Timpf (2001). Ontologies of wayfinding: a traveler's perspective. Technical Report Nr. ST1/01. Department of Geography, University of Zurich. |
[Uschold and Gruninger, 1996]![]() |
M. Uschold and M. Gruninger (1996). Ontologies: principles, methods and applications. In: Knowledge Engineering Review, 11:93--15. |
[Christopher, 2001]![]() |
Barry Smith Welty, Christopher (ed.) (2001). Formal Ontology and Information Systems. ACM Press, New York. |
[Winter, 2001]![]() |
Stephan Winter (2001). Ontology: buzzword or paradigm shift in GI science? In: International Journal of Geographical Information Science, 15(7):587--590. |
[van Heijst et al., forthcoming]![]() |
G. van Heijst and A. Th. Schreiber and B. J. Wielinga (forthcoming). Using explicit ontologies in KBS development. In: Human-Computer Interaction, . |
[van Harmelen et al., 2001]![]() ![]() ![]() |
Frank van Harmelen and Peter F. Patel-Schneider and Ian Horrocks (2001). Reference Description of the DAML+OIL (March 2001) ontology markup language. Technical Report. W3C. |
[von Wachter, 2003]![]() ![]() ![]() |
Daniel von Wachter (2003). How a Philosophical Theory of Causation may help in Ontological Engineering. In: Comparative and Functional Genomics, (4):111--114. |
[Smith, 1998]![]() |
Barry Smith (1998). Basic concepts of formal Ontology. In: N. Guarino (ed.), Formal Ontology in Information Systems. pp. 19--28. IOS Press, Amsterdam. |
[Guarino, 1998]![]() |
N. Guarino (1998). Formal ontology and information systems. In: N. Guarino (ed.), Formal Ontology in Information Systems. pp. 3--18. IOS Press, Amsterdam. |
[Buitelaar, 1998]![]() |
P. Buitelaar (1998). \sc CoreLex: an ontology of systematic polysemous classes. In: N. Guarino (ed.), Formal Ontology in Information Systems. pp. 221--235. IOS Press, Amsterdam. |
[Pustejovsky, 1998]![]() |
James Pustejovsky (1998). Lexical semantics and formal ontologies. In: N. Guarino (ed.), Formal Ontology in Information Systems. pp. 328--336. IOS Press, Amsterdam. |
[West, 2002]![]() ![]() ![]() |
Matthew West (2002). Information Modelling: An analysis of the uses and meanings of associations. Technical Report. Shell Information Technology International Ltd, UK. |
[Kent, 2003]![]() ![]() ![]() |
Robert E. Kent (2003). Semantic Integration in the IFF. In: Proceedings of the Semantic Integration Workshop (SI 2003) of the 2nd International Semantic Web Conference (ISWC 2003). |