Ontology schema for an agent belief store

International Journal of Human Computer Studies

Volumn 65, Issue 7, 2007, Pages 640-658

  Clark, K L ^a   McCabe, F G ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b Genietown   (United States)

Author keywords

Ontology inference; Rational agents; Truth maintenance

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; NUMBER THEORY; SOFTWARE AGENTS;

AGENT BELIEF STORE; AXIOMS; FORMAL ONTOLOGY; RATIONAL AGENTS; TRUTH MAINTENANCE;

ONTOLOGY;

EID: 34249005893     PISSN: 10715819     EISSN: 10959300     Source Type: Journal    
DOI: 10.1016/j.ijhcs.2007.03.004     Document Type: Article

References (39)

1. AgentCities, 2003. Shows and restaurant ontologies. Technical Report, 〈www-agentcities.doc.ic.ac.uk/Services/ontologies.html〉.
2. Alechina, N., Bordini, R., Hubner, J., Jago, M., Logan, B., 2006. Belief Revision for Agentspeak Agents. In: Proceedings of DALT Workshop at AAMAS-06 Conference.
3. Baader F., Horrocks I., and Sattler U. Description logics. In: Staab S., and Studer R. (Eds). Handbook on Ontologies, International Handbooks on Information Systems (2004), Springer, Berlin 3-28
4. Barbuceaneau, M., Fox, M., 1996. The architecture of an agent building shell. In: Intelligent Agents II, Lecture Notes in Artificial Intelligence, vol. 1037, Springer, Berlin, pp. 235-250.
5. Bechhofer, S., Horrocks, I., Turi, D., 2005. The OWL instance store (system description). In: Proceedings of the 20th International Conference on Automated Deduction (CADE-20), Lecture Notes in Computer Science, vol 3632. Springer, Berlin, p. 1.
6. Brickley, D., Guha, R., 2004. RDF vocabulary description language 1.0 RDF Shema. W3C recommendation 〈http://www.w3.org/TR/rdf-schema〉.
7. Broekstra, J., Kampman, A., 2003. Inferencing and truth maintenance in RDF Shema. In: Proceedings of First WS on Practical and Scalable Semantic Systems 〈http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-89/〉.
8. Carriero N., and Gelernter D. Linda in context. Communications of the ACM 32 4 (1989) 444-458
9. Chen, H., Finin, T., Joshi, A., 2005. The SOUPA ontology for pervasive computing. In: Ontologies for Agents: Theory and Experiences, Birkhauser, Boston, pp. 233-258.
10. Clark K.L. Negation as failure. In: Gallaire H., and Minker J. (Eds). Logic and Databases (1978), Plenum press, New York 293-322
11. Clark K.L., and McCabe F.G. Go!-a Multi-paradigm programming language for implementing multi-threaded agents. Annals of Mathematics and Artificial Intelligence 41 2-4 (2004) 171-206
12. Clark K.L., and McCabe F.G. Ontology oriented programming in Go!. Applied Intelligence 24 3 (2006) 3-37
13. de Bruijn, J., 2005. Web Rule Language (WRL), version 1.0. W3C member submission 〈http://www.w3.org/Submission/WRL/〉.
14. Doyle J. A truth maintenance system. Artificial Intelligence 12 3 (1979)
15. Fikes, R., Hayes, P., Horrocks, I., 2003. OWL-QL-a language for deductive query answering on the Semantic Web. SL Technical Report 03-14, 〈 http://ksl.stanford.edu/KSL_Abstracts/KSL-03-14.html〉.
16. Finin, T., Fritzson, R., McKay, D., McEntire, R., 1994. KQML as an agent communication language. In: Proceedings 3rd International Conference on Information and Knowledge Management.
17. FIPA, 2002. Fipa communicative act library specification. Technical Report, Foundation for Intelligent Physical Agents 〈www.fipa.org〉.
18. Galvanese D., de Giacome G., Lembo D., Lenzerini M., and Rosati R. DL-Lite: tractable description logics for ontologies. Proceedings of 20th National Conference on Artificial Intelligence (2005), AAAI, New York 602-607
19. Galvanese, D., de Giacome, G., Lembo, D., Lenzerini, M., Rosati, R., 2005b. Tailoring OWL for data intensive ontologies. In: Proceedings of First OWL: Experiences and Directions. 〈 http://www.mindswap.org/2005/OWLWorkshop〉.
20. Goldman, N., 2003. Ontology oriented programming-static typing for the inconsistent programmer. In: The Semantic Web, Proceedings of ISWC 2003, Sanibel Island, Florida. Lecture Notes in Artificial Intelligence, vol. 2870, Springer, Berlin.
21. Grau, B., 2006. Tractable fragments of the OWL 1.1 web ontology language. Technical Report 〈http://owl-workshop.man.ac.uk/Tractable.html〉.
22. Grimnes, G.A., Chalmers, S., Edwards, P., Preece, A., 2003. Granitenights-a multi-agent visit scheduler utilising semantic web technology. In: Seventh International Workshop on Cooperative Information Agents, pp. 137-151.
23. Grosof, B., Horrocks, I., Volz, R., Decker, S., 2003. Description logic programs: combining logic programs with description logics. In: Hencsey, G., White, B., (Eds.), Proceedings of the WWW-2003.
24. Horrocks I., Patel-Schneider P.F., and van Harmelen F. From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 1 1 (2003) 7-26
25. Horrocks I., Patel-Schneider P.F., Bechhofer S., and Tsarkov D. OWL rules: a proposal and prototype implementation. Journal of Web Semantics 3 1 (2005) 23-40
26. Huhns M., and Bridgeland D. Multiagent truth maintenance. IEEE Transactions on Systems, Man and Cybernetics 21 6 (1991) 1437-1445
27. Huhns, M., Singh, M., 1997. Ontologies for agents. IEEE Internet Computing (November-December), 81-83.
28. Jennings N., Sycara K., and Wooldridge M. A roadmap of agent research and development. Autonomous Agents and Multi-agent Systems 1 1 (1998) 7-38
29. Kifer M., Lausen G., and Wu J. Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42 (1995) 741-843
30. McGuinness, S., van Harmelen, F., 2004. Owl web ontology language-overview. W3C recommendation 〈http://www.w3.org/TR/owl-features〉.
31. Nagy, Z., Lukacsy, G., Szeredi, P., 2006. Translating description logic queries to prolog. In: Proceedings of PADL 06, Lecture Notes in Computer Science, vol. 3819. Springer, Berlin, pp. 168-182.
32. Nilsson N. Teleo-reactive programs and the Triple Tower Architecture. Electronic Transactions on Artificial Intelligence 5 Section B (2001) 99-110
33. Pereira F., and Warren D.H. Definite clause grammars compared with augmented transition network. Artificial Intelligence 13 3 (1980) 231-278
34. Rao, A.S., 1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away, Lecture Notes in Artificial Intelligence. vol. 1038, Springer, Berlin, pp. 42-55.
35. Schenoff C., et al. Using ontologies to aid navigation planning in autonomous vehicles. The Knowledge Engineering Review 18 3 (2004) 243-245
36. Smith, M., et al., 2004. Owl web ontology language guide. W3C recommendation 〈http://www.w3.org/TR/owl-guide/〉.
37. Volz, R., 2004. Web Ontology Reasoning with Logic Databases. Ph.D. Thesis, University of Karlsruhe.
38. Willmott, S.N., Dale, J., Burg, B., Charlton, C., O'Brien, P., 2001. Agentcities: a worldwide open agent network. Agentlink News (8), 13-15.
39. Yang, G., Kifer, M., Zhao, C., 2003. Flora-2: a rule-based knowledge representation and inference infrastructure for the semantic web. In: King, R., Orlowska, M., Studer R. (Eds.), Proceedings on Ontologies, Databases and Applications of Semantics'03, Lecture Notes in Artificial Intelligence, vol. 2888, Springer, Berlin, pp. 671-688.