Lito Perez Cruz, John Newsome Crossley


It is well accepted that the usefulness of agents is enhanced by ontologies, but a common problem encountered by agents is the difficulty of accessing heterogenous ontologies. This problem is addressed by contextualizing ontologies, but how? We show how agents can contextualize ontologies that are represented using description logics. Several attempts have been made in addressing this contextualization problem, but we use the technique of the Tiered Logic Method (TLM) to build a system that is much simpler, more elegant, and easier to implement than existing technologies. Moreover, since TLMis a methodology it also has applications in other types of system. We sketch proofs of soundness, completeness and decidability for such a system, subject only to simple finiteness constraints, which would be satisfied in any practical case. Finally this method solves the problem of transitive subsumption propagation,which is still unaddressed by other well known proposals.


  1. Baader, F., Horrocks, I., and Sattler, U. (2003). Description logics as ontology languages for the semantic web. In Baader, F. and Nutt, W. (2003). Basic description logic. In The Description Logic Handbook, 43-95. Cambridge University Press.
  2. Bao, J., Caragea, D., and Honavar, V. (2006). A distributed tableau algorithm for package-based description logics. In CRR 2006 in ECAI 2006. 23 crr.1.2.1.pdf.
  3. Borgida, A. and Serafini, L. (2002). Distributed description logics: Directed domain correspondences in federated information sources. In Confederated International Conferences DOA, CoopIS and ODBASE 2002, Springer LNCS vol. 2519, 36-53.
  4. Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., and Stuckenschmidt, H. (2004). Contextualizing ontologies. J. Web Sem., 1(4):325-343.
  5. Buchheit, M., Donini, F. M., and Schaerf, A. (1993). Decidable reasoning in terminological knowledge representation systems. In IJCAI, 704-709.
  6. Buvac?, S., Buvac?, V., and Mason, I. A. (1995). Metamathematics of contexts. Fundamenta Informaticae, 23(2/3/4):263-301.
  7. Cruz, R. P. (2010). Tiered Logic for Contextualizing Logics. PhD thesis, Monash University, Melbourne, Australia.
  8. Cruz, R. P. and Crossley, J. N. (2009). Tiered logic for agents. In ICAART, 369-376. INSTICC, Portugal.
  9. Giunchiglia, F. and Ghidini, C. (2000). Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259.
  10. Haarslev, V. and Möller, R. (2001). RACER system description. In IJCAR'2001, Springer LNCS vol. 2083, 701-706.
  11. Haarslev, V., Möller, R., and Wessel, M. (2000). The description logic A LCNHR+ extended with concrete domains: Revised version. Technical Report FBI-HHM-290/00, University of Hamburg, Department of CS.
  12. Horrocks, I., Sattler, U., and Tobies, S. (2000). Reasoning with individuals for the description logic S H I Q . In CADE-17, Springer LNCS vol. 1831.
  13. Kutz, O., Lutz, C., Wolter, F., and Zakharyaschev, M. (2004). E-connections of abstract description systems. Artificial Intelligence, 156(1):1-73.
  14. Obitko, M. and Ma?rík, V. (2003). Mapping between ontologies in agent communication. In CEEMAS 2003, Springer LNCS vol. 2691, 191-203.
  15. Smullyan, R. (1968). First-order logic. Springer, Berlin, New York.
  16. Zimmermann, A. and Duc, C. L. (2008). Reasoning with a network of aligned ontologies. In RR 2008, Springer LNCS vol. 5341, 43-57.

Paper Citation

in Harvard Style

Perez Cruz L. and Newsome Crossley J. (2010). CONTEXTUALIZING ONTOLOGIES FOR AGENTS . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 147-152. DOI: 10.5220/0003053701470152

in Bibtex Style

author={Lito Perez Cruz and John Newsome Crossley},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)
SN - 978-989-8425-29-4
AU - Perez Cruz L.
AU - Newsome Crossley J.
PY - 2010
SP - 147
EP - 152
DO - 10.5220/0003053701470152