A Contextualized Knowledge Framework for Semantic Web

  • Mathew Joseph
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6089)


This thesis focuses on developing an efficient framework for contextualized knowledge representation on Semantic Web. We point out the drawbacks of existing formalism for contexts that hinder an efficient implementation and propose a context formalism that enables the development of a framework with desired properties. Some of the future milestones for this thesis work are to (i) develop a proof theory for the logical framework based on Description Logics (DL) (ii) develop reasoning algorithms (iii) verify and compare the performance of these algorithms to existing distributed reasoning formalisms and (iv) implement the system.


Description Logic Proof Theory Logical Framework Context Formalism Context Dimension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    McCarthy, J.: Generality in Artificial Intelligence. Communications of the ACM 30(12), 1029–1035 (1987)CrossRefMathSciNetGoogle Scholar
  2. 2.
    Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual Reasoning Distilled. Experimental and Theoretical AI 12(3), 279–305 (2000)zbMATHCrossRefGoogle Scholar
  3. 3.
    Guha, R.: Contexts: a Formalization and some Applications. PhD thesis, Stanford (1992)Google Scholar
  4. 4.
    Guha, R., Mccool, R., Fikes, R.: Contexts for the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 32–46. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Buvac, S., Mason, I.A.: Propositional logic of context. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 412–419 (1993)Google Scholar
  6. 6.
    Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001)Google Scholar
  8. 8.
    Buvac, S.: Quantificational logic of context. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 412–419 (1996)Google Scholar
  9. 9.
    Lenat, D.: The Dimensions of Context Space. Tech. Rep., CYCorp (1998),
  10. 10.
    Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153–184 (2003)Google Scholar
  11. 11.
    Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 361–376. Springer, Heidelberg (2005)Google Scholar
  12. 12.
    Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-owl: Contextualizing ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)Google Scholar
  13. 13.
    Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Schenk, S., Dividino, R.Q., Staab, S.: Reasoning with provenance, trust and all that other meta knowlege in owl. In: SWPM (2008)Google Scholar
  15. 15.
    Joseph, M., Serafini, L., Tamilin, A.: Context shifting for effective search over large knowledge bases. In: Workshop on Context, Information And Ontologies (CIAO 2009), collocated with the 6th European Semantic Web Conference, ESWC 2009 (2009)Google Scholar
  16. 16.
    Tamilin, A., Magnini, B., Serafini, L., Girardi, C., Joseph, M., Zanoli, R.: Context-driven semantic enrichment of italian news archive. In: ESWC 2010 (2010) (accepted for publication)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Mathew Joseph
    • 1
    • 2
  1. 1.FBK-IRSTTrentoItaly
  2. 2.DISIUniversity of TrentoItaly

Personalised recommendations