Edu:TermlistReferences

Lists of References for the Term List

This page captures publications and weblinks in two separate lists. Both are sorted alphabetically by citation keys.

Publications

[Arp & Smith, 2008] (preprint):Arp, Robert, & Smith, Barry (2008). Function, Role, and Disposition in Basic Formal Ontology. [1]

[Arp et al., 2015] (book): Arp, Robert, Smith, Barry, & Spear, Andrew D. (2015). Building Ontologies with Basic Formal Ontology. Cambridge, Massachusetts, USA: The MIT Press. [2] [3]; Glossary, pp. 177-186

[Chen, 1976] (article): Chen, P.P. The entity-relationship model—toward a unified view of data, ACM Trans. Database Syst. 1 (1976) 9–36.

[Embley, 2009] (encyclopedia): Embley, D.W. (2004). Semantic Data Model. Encyclopedia of Database Systems. Springer-Verlag.

[Gómez-Pérez et al., 2004] (book):Gómez-Pérez, Asunción, Fernández-López, Mariano, & Corcho, Oscar (2004). Ontological Engineering. London, GB: Springer-Verlag.

[Guarino, 1998] Formal ontology and information systems. In: Proceedings of Formal Ontology in Information Systems (FOIS’98), Frontiers in Artificial intelligence and Applications, Amsterdam, Netherlands, pp. 3-15, June 6-8, 1998. [4]

[Guarino, 1999] The Role of Identity Conditions in Ontology Design. In: Proceedings of the IJCAI-99 workshop on Ontologies and Problem-Solving Methds (KRR5), Stockholm, Sweeden, August 2, 1999.

[Nicola Guarino & Christopher Welty, 2000] A Formal Ontology of Properties. In: Rose Dieng (ed.), Proceedings of 12th Int. Conf. on Knowledge Engineering and Knowledge Management, Lecture Notes on Computer Science, © Springer Verlag 2000.

[Nicola Guarino & Christopher Welty, 2003(?)] An Overview of OntoClean. Preprint.

[Halpin and Morgan, 2008] (book):Halpin, TA, Morgan T (2008). Information modeling and relational databases. Morgan Kaufmann. [5]

[Hawley, 2015] (encyclopedia article):Hawley, Katherine (2015). Temporal Parts. In: Zalta, Edward N. (ed.) The Stanford Encyclopedia of Philosophy (Winter 2015 Edition). Stanford, California, USA: Metaphysics Research Lab, Stanford University. [6] (cited ed.) [7] (latest ed.)

[Hedman, 2004] (book): A first course in logic|an introduction to model theory, proof theory, computability, and complexity. Oxford: Oxford University Press, 2004.

[Kühne, 2004] (article): Kühne, T. Matters of (meta-) modeling. Softw Syst Model (2006) 5:369–385.

[Jurafsky and Martin, 2008] (book):Jurafsky D & Martin, JH. (2008). Speech and Language Processing: An introduction to natural language processing, computational linguistics, and speech recognition. Pearson. [8]

[MacBride, 2016] (encyclopedia): MacBride, F. Relations, The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.), [9].

[Masolo et al., 2004] (conference paper): Masolo, C., Vieu, L., Bottazzi, E., Catenacci, Ferrario, R., Gangemi, A., Guarino, N. (2004). Social Roles and their Descriptions. Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), edited by D. Dubois, C. Welty, M.A. Williams (Eds.), pp. 267-277. Menlo Park [CA]: AAAI Press, 2004 . [10]).

[Masolo et al., 2003] (project deliverable):Masolo, Claudio, Borgo, Stefano, Gangemi, Aldo, Guarino, Nicola, & Oltramari, Alessandro (2003). WonderWeb Deliverable D18: : Ontology Library (final). Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy. [11]).

[Smith et al., 2015] Basic Formal Ontology 2.0, SPECIFICATION AND USER’S GUIDE. (https://github.com/BFO-ontology/BFO/raw/master/docs/bfo2-reference/BFO2-Reference.pdf)

Web References

[BFO 2.0 OWL]:[12]

[CIDOC CRM]:[13]