Ontological architectures

Theory and Applications of Ontology: Computer Applications

Volumn , Issue , 2010, Pages 27-66

  Obrst, Leo ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 83455234341     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-90-481-8847-5_2     Document Type: Chapter

References (158)

1. Andersen B., R. Kohl J. Williams. 2006. Ontology lifecycle management. Ontology Works, Inc. Version 1.0. Oct 14, 2005. Ontologyworks.com
2. Bao J. and V.G. Honavar. 2006. Divide and conquer semantic web with modular ontologies-A brief review of modular ontology language formalisms. Proceedings of the 1st International Workshop on Modular Ontologies, WoMO'06, CEUR Workshop Proceedings, vol. 232. eds. H. Haas S. Kutz and A. Tamilin, 5 Nov 2006, Athens, GA
3. Barr M. and C. Wells. 1999. Category theory for computing science, 3rd edn. Montreal, QC: Les publications Centre de recherches mathématiques
4. Barwise J. 1998. Information and impossibilities. Manuscript. http://www.phil.indiana.edu/∼ barwise/
5. Barwise J. and J. Seligman. 1997. Information flow: The logic of distributed systems. Cambridge, UK: Cambridge University Press
6. Barwise J. and J. Perry. 1983. Situations and attitudes. Cambridge, MA: MIT Press
7. Basic Formal Ontology (BFO): Http://www.ifomis.uni-saarland.de/bfo
8. Basin D.,M.D. Agostino D. Gabbay S. Matthews and L. Viganò, eds. 2000. Labelled Deduction, 107-134, Scotland, UK: Kluwer Academic Publishers, 2000
9. Bechhofer S., F. Van Harmelen J. Hendler I. Horrocks D.L. McGuinness P.F. Patel-Schneider, and L>A. Stein. 2004. OWL web ontology language reference. W3C recommendation. 10 Feb 2004. http://www.w3.org/TR/owl-ref/
10. Bittner T. and B. Smith. 2001. Granular partitions and vagueness. In Formal ontology and information systems, eds. C. Welty and B. Smith, 309-321. New York, NY: ACM Press
11. Bittner T. and B. Smith. 2003. Endurants and perdurants in directly depicting ontologies. Draft. http://ontology.buffalo.edu/smith/articles/EPDDO. pdf
12. Blackburn P. 1999. Internalizing labelled deduction. In Proceedings of Hylo'99, First International Workshop on Hybrid Logics. 13 July 1999, Saarbrücken, Germany. Published in 2000. Journal of Logic and Computation 10(1):137-168
13. Blair P., R.V. Guha, andW. Pratt. 1992. Microtheories: An ontological engineer's guide. Technical report Cyc-050-92, 5 Mar 1992, Cycorps, Austin, TX. http://www.cyc.com/tech-reports/cyc-050-92/cyc-050-92.html
14. Bouquet P., J. Euzenat C. Ghidini D.L. McGuinness L. Serafini P. Shvaiko and H. Wache Proceedings of the International Workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR). Collocated with the 6th International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT-2007) Roskilde, Denmark, 21 Aug. http://sunsite.informatik.rwth-Aachen. de/Publications/CEUR-WS/Vol-298/
15. Bouquet P., F. Giunchiglia F. Van Harmelen L. Serafini and H. Stuckenschmidt. 2003. C-OWL: Contextualizing ontologies. 2nd International SemanticWeb Conference (ISWC 2003), eds. D. Fensel K.P. Sycara and J. Mylopoulos, 164-179. Sanibel Island, FL, 20-23 Oct 2003
16. Brézillon P. and M. Cavalcanti. 1997. Modeling and Using Context: Report on the First International and Interdisciplinary Conference, CONTEXT-97, Rio de Janeiro, RJ, Brazil on 4-6 Feb 1997. The Knowledge Engineering Review 12(4):1-10
17. Buckland M.K. and F. Gey. 1994. The relationship between recall and precision. Journal of the American Society for Information Science 45(1):12-19
18. Buvač, S., V. Buvač and I.A. Mason. 1995. Metamathematics of contexts. Fundamenta Informaticae 23(3):149-174
19. Buvač, S. 1996. Resolving lexical ambiguity using a formal theory of context. In Semantic ambiguity and underspecification. CSLI Lecture Notes, Center for Studies in Language and Information, Stanford, CA, 1996
20. Buvač, S, ed. 1996. Proc AAAI-95 Fall Symposium on Formalizing Context. http://wwwformal. stanford.edu:80/buvac/95-context-symposium
21. Casati R. and A.C. Varzi. 1999. Parts and places: The structures of spatial representation. Cambridge, MA: MIT Press
22. Cheikes B. 2006. MITRE Support to IKRIS, Final Report. MITRE Technical Report MTR060158, 5 Dec 2006. http://nrrc.mitre.org/NRRC/Docs-Data/ikris/MITRE- IKRIS-Final-Report-05Dec06.doc
23. CMMI R-for Development, Version 1.2. CMMI-DEV, V1.2. CMU/SEI-2006-TR-008. ESC-TR-2006-008. CMMI Product Team, Aug 2006. http://www.sei.cmu.edu/cmmi/ models/model-v12-components-word.html
24. Colomb R.M 2002. Use of Upper Ontologies for Interoperation of Information Systems: A Tutorial, Technical Report 20/02 ISIB-CNR, Padova, Italy, Nov 2002. Common Logic. http://cl.tamu.edu/
25. Cuenca-Grau B., V. Honavar and A. Schlicht F. Wolter. 2007. Second International Workshop on Modular Ontologies. 28 Oct 2007. Whistler, BC. http://webrum.uni-mannheim. de/math/lski/WoMO07/
26. Cycorp, Inc.: The CYC Technology. http://www.cyc.com/tech.html
27. Daconta M., L. Obrst and K. Smith. 2003. The semantic web: The future of XML, web services, and knowledge management. New York, NY: John Wiley, June 2003
28. Davey B.A. and H.A. Priestley. 1991. Introduction to lattices and order. Cambridge, UK: Cambridge University Press
29. Degen W., B. Heller H. Herre and B. Smith. 2001. GOL: A general ontological language. In Guarino, Welty, Smith, 34-46. FOIS 2001
30. De Leenheer P. 2004. Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting. In Proc. of On The Move to Meaningful Internet Systems Ph.D. Symposium (OTM 2004) (Agia Napa, Cyprus), LNCS 3292, 798-818. Collega Park, MD: Springer
31. De Leenheer P. and T. Mens. (2007). Ontology evolution: State of the art and future directions. In Ontology management for the semantic web, semantic web services and business applications, from semantic web and beyond: Computing for human experience, eds. M. Hepp P. De Leenheer A. de Moor and Y. Sure. Heidelberg, Springer
32. De Leenheer P., A. de Moor and R. Meersman. (2007). Context dependency management in ontology engineering: A formal approach. Journal on data semantics VIII, LNCS 4380,26-56. New York, NY: Springer
33. Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) Website. http://www.loa-cnr.it/DOLCE.html
34. Dumontier M. and N. Villanueva-Rosales. 2007. Three-layer OWL ontology design. Second International Workshop on Modular Ontologies. 28 Oct 2007. Whistler, BC
35. Euzenat J., A. Zimmermann and F. Freitas. 2007. Alignment-based modules for encapsulating ontologies. Second International Workshop on Modular Ontologies. 28 Oct 2007. Whistler, BC
36. Farmer,W.M. 2000. An infrastructure for intertheory reasoning. In Automated Deduction-CADE-17, ed. D. McAllester, 115-131. LNCS, vol. 1831. http://imps.mcmaster.ca/doc/intertheory.pdf
37. Farmer W.M. 1996. Perspective switching using theories and interpretations. In Intelligent Systems: A Semiotic Perspective, eds. J. Albus A. Meystel and R. Quintero, 206-207. Vol. I, Gaithersburg, MD: National Institute of Standards and Technology, 20-23 Oct 1996. Abstract
38. Farmer W.M., J.D. Guttman and F.J. Thayer. 1992. Little theories. In Automated Deduction-CADE-11, LNCS, vol. 607, ed. D. Kapur, 567-581. http://imps.mcmaster.ca/doc/major-impspapers. html
39. Ferńndez M. 1999. Overview of methodologies for building ontologies.Workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends. (IJCAI99). Aug 1999. http://sunsite.informatik.rwth-Aachen. de/Publications/CEUR-WS/Vol-18/4-fernandez.pdf
40. Fernandéz M., A. Gómez-Pérez and N. Juristo. 1997. METHONTOLOGY: From ontological art to ontological engineering. Workshop on ontological engineering. AAAI Spring Symposium Series. AAAI-97, Stanford University
41. Fikes R., C.Welty. 2006. Interoperable knowledge representation for intelligence support (IKRIS AdVan ced research and development activity (ARDA)/disruptive technology office (DTO Final briefing, Nov 2006
42. Gabbay D. 1996. Labelled deductive systems, principles and applications. Vol 1: Introduction. Oxford: Oxford University Press
43. Ganter B. and R. Wille. 1996. Formal concept analysis: Mathematical foundations. Berlin, Heidelberg, New York, NY: Springer
44. Gaševíc, D., D. Djuríc and V. Devedží c. 2006. Model driven architecture and ontology development. Berlin Heidelberg, New York, NY: Springer
45. Giunchiglia F., P. Bouquet. 1997. Introduction to contextual reasoning: An artificial intelligence perspective. Istituto per la Ricerca Scientifica e Tecnologica (IRST), Trento, Italy, Technical report 9705-19, May 1997
46. Giunchiglia F. and P. Bouquet. 1998. A Context-Based Framework for Mental Representation. Istituto per la Ricerca Scientifica e Tecnologica (IRST), Trento, Italy, Technical report 9807-02, July 1998
47. Giunchiglia F. and C. Ghidini. 1998. Local models semantics, or contextual reasoning =locality + compatibility. In Principles of knowledge representation and reasoning (KR'98), eds. A. Cohn L. Schubert and S. Shapiro, 282-289. Proceedings of the Sixth International Conference, Trento, Italy, 2-5 June 1998
48. Goguen J. and G. Rosu. 2002. Institution morphisms. Formal Aspects Of Computing 13:274-307
49. Goguen J.A. 1991. A categorical manifesto. Mathematical Structures in Computer Science 1:49-67
50. Goguen J.A and R.M. Burstall. 1992. Institutions: Abstract model theory for specification and programming. Journal of the ACM 39:95-146
51. Goguen J. 2006a. Institutions. http://www-cse.ucsd.edu/∼goguen/projs/ inst.html
52. Goguen J. 2006b. Information integration in institutions. For jon barwise memorial volume, ed. L. Moss, Indiana: Indiana University Press
53. Guarino, N, ed. 1998. In Formal ontology in information systems. Amsterdam: IOS Press. Proceedings of the First International Conference (FOIS'98), 6-8 June, Trento, Italy
54. Guarino N., C Welty B. Smith, eds. 2001. The Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-01), Oct 16-19 2001, Ogunquit, Maine. ACM Press Book Series, Sheridan Publishing, Inc. http://www.fois.org/fois-2001/index.html
55. Guha R.V. 1991. Contexts: A formalization and some applications. PhD thesis, Stanford University. Also published as technical report STAN-CS-91-1399-Thesis and MCC Technical Report Number ACT-CYC-423-91
56. Haase P., V. Honavar O. Kutz Y. Sure and A. Tamilin, eds. 2006. Proceedings of the 1st international workshop on modular ontologies.WoMO'06. 5 Nov 2006, Athens, Georgia, USA. CEUR Workshop Proceedings, vol. 232. http://ftp.informatik.rwth-Aachen.de/Publications/CEURWS/Vol-232/
57. Hamlyn D.W. 1984. Metaphysics. Cambridge: Cambridge University Press
58. Hayes P.J. 2006. IKL Guide. On behalf of the IKRIS Interoperability Group. http://nrrc.mitre.org/NRRC/Docs-Data/ikris/ICL-guide.pdf
59. Hayes P.J. and C. Menzel. 2006. IKL Specification Document. Unpublished IKRIS memorandum. http://nrrc.mitre.org/NRRC/Docs-Data/ikris/ICL-spec.pdf
60. Hayes P., F. Lehmann C. Welty. 2002. Endurantism and Perdurantism: An Ongoing Debate. IEEE SUO email exchange, compiled and edited by Adam Pease. http://www.ontologyportal.org/pubs/dialog-3d-4d.html
61. Heller B., H. Herre. 2004. Ontological Categories in GOL [Generalized Ontological Language]. Axiomathes 14:57-76
62. Herre H. and F. Loebe. 2005. A Meta-ontological architecture for foundational onatologies. In CoopIS/DOA/ODBASE 2005, LNCS 3761, ed. R. Meersman and Z. Tari, 1398-1415. Berlin Heidelberg: Springer
63. Herre H., B. Heller P. Burek R. Hoehndorf F. Loebe and H. Michalek. 2006. General formal ontology (GFO)-part I: Basic principles. Technical report 8, Germany: Onto-Med, University of Leipzig
64. Higginbotham J., F. Pianesi and A. Varzi, eds. 2000. Speaking of events. Oxford Oxford University Press
65. Hobbs J.R. and F. Pan, 2006. Time Ontology in OWL. W3C Working Draft 27 Sept 2006. http://www.w3.org/TR/owl-Time/
66. Hodges,W. 1997. A shorter model theory. Cambridge, UK: Cambridge University Press. Reprinted in 2000
67. IEEE Standard Upper Ontology (SUO). http://suo.ieee.org/
68. Interoperable Knowledge Representation for Intelligence Support (IKRIS). 2006. http://nrrc.mitre.org/NRRC/Docs-Data/ikris/
69. Information Flow Framework. http://suo.ieee.org/IFF/ See also: Http://www.ontologos. org/IFF/IFF.html
70. Izza S., L. Vincent and P. Burlat. 2005. Ontology urbanization for semantic integration: Dealing with semantics within large and dynamic enterprises. Proceedings of the 2005 Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05
71. Kahlert R.C. and J. SulliVan . 2006. Microtheories. In First international workshop: Ontology based modeling in the humanities, eds. W. von Hahn and C. Vertan, 7-8 Apr 2006, University of Hamburg (Bericht 264
72. Kalfoglou Y. and M. Schorlemmer. 2004. In Ontology mapping: The state of the art, eds. A. Sheth S. Staab and M. Uschold, Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings on Semantic Interoperability and Integration Internationales Begegnungsund Forschungszentrum (IBFI), http://drops.dagstuhl. de/opus/volltexte/2005/40/pdf/04391.KalfoglouYannis.Paper.40.pdf
73. Kalfoglou Y. and M. Schorlemmer. 2003. Ontology mapping: The state of the art. Knowledge Engineering Review 18(1):1-31
74. Kalfoglou Y. and M. Schorlemmer. Information-flow-based ontology mapping. In On the move to meaningful internet systems 2002: CoopIS, DOA and ODBASE. Lecture Notes in Computer Science 2519, 1132-1151. Heidelberg: Springer
75. Keefe R. and P. Smith, eds. 1999. Vagueness: A reader. Cambridge, MA: MIT Press
76. Kent R.E. 2002. The IFF approach to semantic integration. Power point presentation at the boeing Mini-workshop on semantic integration, 7 Nov 2002. http://www.ontologos.org/Papers/Boeing%20Mini-Workshop.ppt
77. Kent R.E. 2003. The IFF approach to the lattice of theories. Unpublished manuscript, Apr 22 2003
78. Formerly at: Http://suo.ieee.org/IFF/lattice-of-Theories.pdf
79. Kent R.E. 2004. The IFF foundation for ontological knowledge organization. In Knowledge organization and classification in international information retrieval, eds. N.J. Williamson, and C. Beghtol, 187-203. Volume 37 of Cataloging & Classification Quarterly. New York: Haworth Press
80. Kent R.E. 2006. The information flow framework: New architecture. International Category Theory Conference (CT 2006), White Point, Nova Scotia, 25 June-1 July 2006
81. Kent R.E. 2010. The information flow framework. Chapter in Part One: Ontology as Technology in the book: TAO-Theory and applications of ontology, volume 2: The information-science stance, eds. M. Healy A. Kameas and R. Poli
82. Kiryakov A., K. Simov and M. Dimitrov. 2001. Onto map: Portal for upper-level ontologies. In Proceedings of the International Conference on Formal Ontology in Information Systems, 2001, eds. W. Guarino and Smith, 47-58
83. Knowledge Interchange Format (KIF) Specification (draft proposed American National Standard
84. dpANS] NCITS.T2/9 8-004: Http://logic.stanford.edu/kif/dpans.html Now superseded by Common Logic
85. Knowledge Web (KWEB). 2004-2008. http://knowledgeweb.semanticweb.org/ index.html
86. Kokinov B., D.C. Richardson T.R. Roth-Berghofer and L. Vieu, eds. 2007. Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, 20-24Aug 2007, Proceedings. Lecture Notes in Artificial Intelligence Vol. 4635, 2007
87. Kutz O. T. Mossakowski 2007. Modules in transition-Conservativity, composition, and colimits. Second International Workshop on Modular Ontologies. 28 Oct 2007, Whistler, BC
88. Lenat D. 1998. The dimensions of Context-space, cycorp technical report, 28 Oct 1998. http://www.cyc.com
89. Lenat D. and R. Guha. 1990. Building large knowledge based systems. Reading, MA: Addison Wesley
90. Lewis D. 1980. Index, Context and Content. In Philosophy and grammar, eds. S. Kanger and S. Ohman, Dordrecht: Reidel Publishing
91. Loux M.J. 2002. Metaphysics: A contemporary introduction, 2nd edn. London and New York: Routledge
92. Lüttich K., C. Masolo and S. Borgo. 2006. Development of modular ontologies in CASL. Proceedings of the 1st International Workshop on Modular Ontologies, WoMO'06, CEUR Workshop Proceedings, vol. 232, eds. H. Haas S. Kutz and A. Tamilin, 5 Nov 2006, Athens, GA
93. Loebe F. 2006. Requirements for Logical Modules. Proceedings of the 1st InternationalWorkshop on Modular Ontologies, WoMO'06, eds. H. Haas S. Kutz A. Tamilin, 5 Nov 2006, Athens, Georgia, USA. CEUR Workshop Proceedings, Vol. 232
94. Makarios S. 2006a. A model theory for a quantified generalized logic of contexts. Stanford University Technical Report KSL-06-08. ftp://ftp.ksl. stanford.edu/pub/KSL-Reports/KSL-06-08.pdf
95. Makarios S. 2006b. ICL Specification. On behalf of IKRIS Contexts Working Group. nrrc.mitre.org/NRRC/Docs-Data/ikris/ICL-spec.pdf
96. Makarios S. 2006c. ICL Guide. On behalf of IKRIS Contexts Working Group. http://nrrc.mitre. org/NRRC/Docs-Data/ikris/IKL-guide.pdf
97. Mac Lane S. 1971. Categories for the working mathematician. New York: Springer
98. Makowsky J.A. 1992. Model theory and computer science: An appetizer. In: T.S.E. Handbook of logic in computer science, Volume 1, background: Mathematical structures, eds. S. Abramsky D. Gabbay and Maibaum, 763-814. Oxford: Clarendon Press
99. Masolo C., S. Borgo A. Gangemi N. Guarino and A. Oltramari. WonderWeb Deliverable D18 Ontology Library (final), 31 Dec 2003
100. McCarthy J. and S. Buvač. 1997. Formalizing Context (Expanded Notes). In Computing natural langauge, eds. A. Aliseda R. Van Glabbeek and D. Westerståhl, Amsterdam: Stanford University. http://www-formal.stanford. edu
101. McCarthy J. 1987. Generality in artificial intelligence. Communications of the ACM 30(12): 1030-1035
102. McCarthy J. 1990. Formalizing common sense: Papers By John Mccarthy. Westport, CT: Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648
103. McCarthy J. 1993. Notes on formalizing context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993
104. Menzel C. 1999. The objective conception of context and its logic. Minds and Machines 9(1):29-56 (Feb 1999
105. Obrst, L, D. Nichols. 2005. Context and ontologies: Contextual indexing of ontological expressions. AAAI 2005 Workshop on Context and Ontologies, poster, AAAI 2005, 9-13 July, Pittsburgh, PA
106. Obrst L., H. Liu and R. Wray. 2003. Ontologies for corporate web applications. Artificial Intelligence Magazine, special issue on Ontologies, American Association for Artificial Intelligence, ed. C. Welty, 49-62, Fall 2003
107. Obrst, L, D. Nichols. 2005. Context and ontologies: Contextual indexing of ontological expressions. AAAI 2005 Workshop on Context and Ontologies, poster, AAAI 2005, July 9-13, Pittsburgh, PA. http://www.mitre.org/work/tech- papers/tech-papers-05/05-0903/index.html
108. Obrst L., P. Cassidy S. Ray B. Smith D. Soergel M. West and P. Yim. 2006. The 2006 Upper Ontology Summit Joint Communiqué. Journal of Applied Formal Ontology 1:2
109. Obrst L., T. Hughes and S. Ray. 2006. Prospects and possibilities for ontology evaluation: The view from NCOR. Workshop on Evaluation of Ontologies for the Web (EON2006), Edinburgh, UK, 22 May 2006
110. Obrst L., W. Ceusters I. Mani S. Ray and B. Smith. 2007. The Evaluation of Ontologies: Toward Improved Semantic Interoperability. Chapter In Semantic web: Revolutionizing knowledge discovery in the life sciences, eds. J.O. Christopher, Baker, K-H. Cheung, Heidelberg: Springer
111. Obrst L. 2002. Ontology spectrum and semantic integration and interoperability. Briefing to DARPA, 2 June 2002
112. Obrst L and I. Mani, eds. 2000. Proceedings of the Workshop on Semantic Approximation, Granularity and Vagueness, 11 Apr 2000, Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR-2000), 12-16 Apr, Breckenridge, CO
113. Obrst L., G Whittaker and A. Meng. 1999. Semantic interoperability via context interpretation, Context-99, Trento, Italy, Apr 1999, invited poster session
114. Object Management Group (OMG): Meta Object Facility (MOF) Specification. 2006. Version 2.0
115. Object Management Group (OMG), Needham, Massachusetts OntoWeb. http://www.ontoweb.org/ Finished on 13 May 2004. Follow-on project was Knowledge Web
116. OpenCyc Website. http://www.opencyc.org/
117. OWL 1.1.Web Ontology Language Tractable Fragments, W3CMember Submission 19 December 2006. http://www.w3.org/Submission/owl11-Tractable/
118. Niles I. and A. Pease. 2001a. Origins of the IEEE Standard Upper Ontology, inWorking Notes of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology
119. Niles I. and A. Pease. 2001b. Towards a standard upper ontology. In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), eds. C. Welty and B. Smith, Ogunquit, Maine, 17-19 Oct 2001
120. Partridge C. 2002. Note: A couple of meta-ontological choices for ontological architectures. Technical Report 06/02, LADSEB-CNR, Padova, Italy, June 2002.://www.boroprogram.org/bp-pipex/ladsebreports/ladseb-t-r-06-02.pdf
121. Phytila C 2002. An Analysis of the SUMO and Description in Unified Modeling Language, Apr 2002, unpublished. http://ontology.teknowledge.com/ Phytila/Phytila-SUMO.html
122. Pianesi F. and A. Varzi. 2000. Events and event talk: An introduction. Ch. 1 of Higgenbotham et al., 3-48. New York: Oxford University Press
123. Poli R. 2003. Descriptive, formal and formalized ontologies. In Husserl's logical investigations reconsidered, ed. D. Fisette and D. Kluwer, 193-210. Dordrecht: Kluwer
124. Poli R. 2010. The categorial stance. Chapter 2 in Part One: Ontology as Technology in the book: TAO-Theory and applications of ontology, volume 2: The information-science stance, eds. M. Healy A. Kameas and R. Poli
125. Poli R. and L. Obrst. 2010. The interplay between ontology as categorial analysis and ontology as technology. Chapter 9 in Part One: Ontology as Technology in the book: TAO-Theory and applications of ontology, volume 2: The information-science stance, eds. M. Healy,A.Kameas, and R. Poli
126. Pulvermacher,M., L. Obrst S. Semy and S. Stoutenburg. 2005. Perspectives on applying semantic web technologies in military domains, MITRE Technical Report
127. Royce W. 2002. CMM vs. CMMI: From conventional to modern software management. Rational edge: E-zine for the rational community, Feb 2002. Rational Software Corporation. http://www-128.ibm.com/developerworks/rational/library/ content/RationalEdge/feb02/ConventionalToModernFeb02.pdf
128. Samuel K., L. Obrst S. Stoutenberg K. Fox A. Johnson K. Laskey D. Nichols and J. Peterson. Transforming OWL and semantic web rules to prolog: Toward description logic programs. Poster, ALPSWS: Applications of Logic Programming in the Semantic Web and Semantic Web Services, 16 Aug 2006, Federated Logic Conference 2006, Seattle, WA
129. Semy S., M. Pulvermacher and L. Obrst. 2005. Toward the use of an upper ontology for U.S. government and U.S. Military domains: An evaluation. MITRE Technical Report, MTR 04B0000063, Nov 2005. http://www.mitre.org/work/tech- papers/tech-papers-05/04-1175/index.html
130. Simperl E.P.B., C. Tempich and Y. Sure. 2006. ONTOCOM: A cost estimation model for ontology engineering. Proceedings of the International Semantic Web Conference ISWC 2006. http://ontocom.ag-nbi.de/
131. Smith B. 2004. Beyond concepts: Ontology as reality representation. In Proceedings of the Third International Conference on Formal Ontology and Information Systems, eds. A. Varzi and L. Vieu, 73-84. FOIS 2004, Turin, 4-6 Nov 2004, Amsterdam, The Netherlands: IOS Press
132. Smith B., J. Williams and S-K. Steffen. 2003. The ontology of the gene ontology. AMIA Annual Symposium Proceedings 2003:609-613
133. Smith B. 1996. Mereotopology: A theory of parts and boundaries. Data and Knowledge Engineering 20:287-303
134. Smith. B. 1998. Basic concepts of formal ontology. In Formal ontology in information systems, ed. N. Guarino, 19-28. Amsterdam: IOS Press
135. Smith M.K., C. Welty and D.L. McGuinness. 2004. OWL web ontology language guide, W3C Recommendation, 10 Feb 2004. http://www.w3.org/TR/owl-guide/
136. Schneider L. 2003. How to build a foundational ontology: The object-centered highlevel reference ontology OCHRE. In Proceedings of the 26th Annual German Conference on AI, KI 2003: AdVan ces in Artificial Intelligence, volume 2821 of Lecture Notes in Computer Science, eds. A. Günter R. Kruse and B. Neumann, 120-134. Springer, 2003
137. Schorlemmer W.M. and Y. Kalfoglou. 2008. Institutionalising ontology-based semantic integration. Journal of applied ontology. 3(3):131-200
138. Sider T. 2002. Four-dimensionalism: An ontology of persistence and time. Oxford: Oxford University Press
139. Sowa J.F. 2005. Theories, Models, Reasoning, Language and Truth. http://www.jfsowa.com/logic/theories.htm
140. Standard Upper Ontology (SUO) Working Group Website http://suo.ieee.org/
141. Stalnaker R. 1998. On the representation of context. Journal of logic language and information
142. Stoutenburg S., L. Obrst D. Nichols K. Samuel and P. Franklin. 2006. Applying semantic rules to achieve dynamic service oriented architectures. RuleML 2006: Rules and Rule Markup Languages for the Semantic Web, co-located with ISWC 2006, Athens, GA, 10-11 Nov 2006. In Service-Oriented Computing-ICSOC 2006, Lecture Notes in Computer Science Volume 4294, 2006, 581-590. Heidelberg: Springer
143. Stoutenburg S. and L. Obrst D. Nichols J. Peterson and A. Johnson. 2005. Toward a standard rule language for semantic integration of the DoD enterprise. W3C Workshop on Rule Languages for Interoperability, 27-28 Apr 2005, Washington, DC
144. Stoutenburg S. and L. Obrst. 2005. Toward a standard rule language for enterprise application integration. Rules and Rule Markup Languages for the Semantic Web, presentation, 3rd International Semantic Web Conference, 7-11 Nov 2005, Hiroshima, Japan
145. Stoutenburg S. and L. Obrst. 2005. Orchestration of ontologies and rules for integration of the DoD enterprise. Protégé With Rules Workshop, paper and presentation, 8th International Protégé Conference 2005, 18-21 July Madrid, Spain
146. Strawson P.F. 1959. Individuals: An essay in descriptive metaphysics. London: Methuan University Press
147. Suggested Upper Merged Ontology (SUMO) Website. http://www. ontologyportal.org/
148. Tarski A. 1933. The concept of truth in formalized languages. In Logic, Semantics, Mathematics, ed. J. Woodger, Oxford: Oxford University Press
149. Tarski A. 1944. The Semantic Conception of Truth and the Foundations of Semantics. In Philosophy and phenomenological research, Volume 4, 1944, 341-375. Reproduced in: The Philosophy of Language A.P. Martinich, ed. 48-71. 1985, Oxford: Oxford University Press
150. Thurman D.A., A.R. Chappell and C. Welty. 2006. Interoperable knowledge representation for intelligence support (IKRIS) evaluation working group report, 31 Dec 2006. http://nrrc.mitre.org/NRRC/Docs-Data/ikris/IKRIS-Evaluation- Report-31Dec06.doc
151. Upper Cyc: Http://www.cyc.com/cycdoc/vocab/vocab-Toc.html
152. Upper Ontology Summit, Ontolog Forum, 2006. http://ontolog.cim3.net/ cgibin/wiki.pl?UpperOntologySummit
153. Van Leeuwen, J, ed. 1994. Handbook of theoretical computer science. Volume B:Formal models and semantics. Amsterdam: Elsevier and Cambridge: MIT Press
154. Welty C. 2006. Interoperable knowledge representation for intelligence support (IKRIS Briefing to ontolog forum, 10 Oct 2006. http://colab.cim3.net/ file/work/SICoP/2006-10-10/Presentations/CWelty10102006.ppt
155. Welty C. and D. Ferucci. 1999. Instances and classes in software engineering. Artificial intelligence, 24-28. Summer, 1999
156. What's in Cyc? http://www.cyc.com/cyc/technology/whatiscyc-dir/whatsincyc
157. Williamson, Timothy. 1998. Vagueness. London, New York: Routledge
158. WonderWeb Website. http://wonderweb.semanticweb.org/objectives.shtml. Completed, July 2004