IEEE standard upper ontology: A progress report

Knowledge Engineering Review

Volumn 17, Issue 1, 2002, Pages 65-70

  Pease, Adam ^a   Niles, Ian ^a  

^a Teknowledge ^*

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC MAIL; FORMAL LOGIC; INFORMATION MANAGEMENT; SEMANTICS; SOFTWARE AGENTS;

FORMAL REASONING; ONTOLOGY;

KNOWLEDGE ENGINEERING;

EID: 0347532917     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888902000395     Document Type: Conference Paper

References (18)

1. Chellas, B, 1980, Modal Logic: An Introduction, Cambridge University Press.
2. Cohen, P, Chaudhri, V, Pease A and Schrag, R, 1999, "Does prior knowledge facilitate the development of knowledge based systems" Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-1999) pp-pp.
3. DAML, 2001, DARPA Agent Markup Language Services Ontology, release 0.5, http://www.daml.org/services/daml-s/2001/05/
4. Dunn, J, 1973, "A truth value semantics for modal logic" in H Leblanc (ed.) Truth, Syntax and Modality North-Holland.
5. Finin, T, Labrou Y and Mayfield, J, 1997, "KQML as an agent communication language" in J Bradshaw (ed) Software Agents MIT Press.
6. Fox, MS, Barbuceanu, M and Gruninger, M, 1995, "An organisation ontology for enterprise modeling: preliminary concepts for linking structure and behavior" Proceedings of the Fourth Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises pp-pp.
7. IEEE, 2001, The IEEE Standard Upper Ontology Working Group (P1600.1) website http://suo.ieee.org
8. IJCAI, 2001, The IJCAI-2001 Workshop on the IEEE Standard Upper Ontology website http: //projects.teknowledge.com/IJCAI01/index.html
9. Kent, R, 2001, "The IFF category theory ontology" Working Notes of the IJCAI-2001 Workshop on the IEEE Standard Upper Ontology pp. 221-226.
10. Kripke, S, 1963, "Semantical considerations on modal logic" Acta Philosophica Fennica 16 83-94.
11. Loux, M, 1998, Metaphysics: A Contemporary Introduction Routledge.
12. Lewis, D, 1986, On The Plurality of Worlds Blackwell.
13. McCarthy, J, 1993, "Notes on formalizing contexts" Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-1993) 555-560.
14. Miller, GA, Beckwith, R, Fellbaum, C, Gross, D and Miller, K, 1990, "Introduction to WordNet: an on-line lexical database International Journal of Lexicography 3(4) 235-244.
15. Musen, M, Fergerson, R, Grosso, W, Noy, N, Crubezy, M and Gennari, J, 2000, "Component-based support for building knowledge-acquisition systems" Proceedings of the Conference on Intelligent Information Processing (IIP 2000) of the International Federation for Information Processing World Computer Congress (WCC, 2000).
16. Niles, I, 2002 (forthcoming), Mapping an Upper Ontology to WordNet.
17. Niles, I and Pease, A, 2002, "Towards a standard upper ontology" Proceedings of The Second International Conference on Formal Ontology in Information Systems (FOIS-2001); available at http://projects.teknowledge.com/HPKB/Publioations/FOIS.pdf.
18. Teknowledge, 2002, Ontology website http://ontology.teknowledge.com.