Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
McCarthy, J.: Generality in Artificial Intelligence. Communications of the ACM 30(12), 1029–1035 (1987)
Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual Reasoning Distilled. Experimental and Theoretical AI 12(3), 279–305 (2000)
Guha, R.: Contexts: a Formalization and some Applications. PhD thesis, Stanford (1992)
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)
Buvac, S., Mason, I.A.: Propositional logic of context. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 412–419 (1993)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001)
Buvac, S.: Quantificational logic of context. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 412–419 (1996)
Lenat, D.: The Dimensions of Context Space. Tech. Rep., CYCorp (1998), http://www.cyc.com/doc/context-space.pdf
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153–184 (2003)
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)
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)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)
Schenk, S., Dividino, R.Q., Staab, S.: Reasoning with provenance, trust and all that other meta knowlege in owl. In: SWPM (2008)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Joseph, M. (2010). A Contextualized Knowledge Framework for Semantic Web. In: Aroyo, L., et al. The Semantic Web: Research and Applications. ESWC 2010. Lecture Notes in Computer Science, vol 6089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13489-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-13489-0_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13488-3
Online ISBN: 978-3-642-13489-0
eBook Packages: Computer ScienceComputer Science (R0)