Abstract
The Semantic Web is a distributed environment for knowledge representation and reasoning. The distributed nature brings with it failing data sources and inconsistencies between autonomous knowledge bases. To reduce problems resulting from unavailable sources and to improve performance, caching can be used. Caches, however, raise new problems of imprecise or outdated information. We propose to distinguish between certain and cached information when reasoning on the semantic web, by extending the well known \(\mathcal{FOUR}\) bilattice of truth and knowledge orders to \(\mathcal{FOUR-C}\), taking into account cached information. We discuss how users can be offered additional information about the reliability of inferred information, based on the availability of the corresponding information sources. We then extend the framework towards \(\mathcal{FOUR-T}\), allowing for multiple levels of trust on data sources. In this extended setting, knowledge about trust in information sources can be used to compute, how well an inferred statement can be trusted and to resolve inconsistencies arising from connecting multiple data sources. We redefine the stable model and well founded semantics on the basis of \(\mathcal{FOUR-T}\), and reformalize the Web Ontology Language OWL2 based on logical bilattices, to augment OWL knowledge bases with trust based reasoning.
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
Liang, B., et al.: Semantic Similarity Based Ontology Cache. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841. Springer, Heidelberg (2006)
Berners-Lee, T.: Semantic Web Road Map [2008-05-12] (1998), http://www.w3.org/DesignIssues/Semantic.html
Fitting, M.: Fixpoint Semantics for Logic Programming - A Survey. Theoretical Computer Science 278(1-2) (2002)
Deschrijver, G., et al.: A Bilattice-based Framework for Handling Graded Truth and Imprecision. Uncertainty, Fuzziness and Knowledge-Based Systems 15(1) (2007)
Ginsberg, M.L.: Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence. Computational Intelligence 4(3) (1992)
Golbeck, J.: Trust on the World Wide Web: A Survey. Web Science 1(2), 131–197 (2006)
Golbeck, J., Halaschek-Wiener, C.: Trust-Based Revision for Expressive Web Syndication. Logic and Computation (to appear, 2008)
Grau, B.C., Motik, B.: OWL 2 Web Ontology Language: Model-Theoretic Semantics [2008-05] (2008), http://www.w3.org/TR/owl2-semantics/
Hitzler, P., Wendt, M.: A uniform approach to logic programming semantics. TPLP 5(1-2) (2005)
Kaplunova, A., Kaya, A., Möller, R.: Experiences with load balancing and caching for semantic web applications. In: Proc. of DL Workshop (2006)
Katz, Y., Golbeck, J.: Social Network-based Trust in Prioritized Default Logic. In: Proc. of AAAI (2006)
Haase, P., et al.: A Framework for Handling Inconsistency in Changing Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729. Springer, Heidelberg (2005)
Polleres, A.: From SPARQL to rules (and back). In: Proc. of WWW (2007)
Przymusinski, T.C.: The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics. Fundamenta Informaticae 13(4) (1990)
Gavriloaie, R., et al.: No Registration Needed: How to use Declarative Policies and Negotiation to Access Sensitive Resources on the Semantic Web. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053. Springer, Heidelberg (2004)
Schenk, S., Staab, S.: Networked Graphs: A Declarative Mechanism for SPARQL Rules, SPARQL Views and RDF Data Integration on the Web. In: Proc. of WWW (2008)
Stollberg, M., Hepp, M., Hoffmann, J.: A Caching Mechanism for Semantic Web Service Discovery. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825. Springer, Heidelberg (2007)
Straccia, U.: A Fuzzy Description Logic for the Semantic Web. In: Fuzzy Logic and the Semantic Web. Elsevier, Amsterdam (2006)
van Gelder, A., Ross, K., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. J. of the ACM 38(3) (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schenk, S. (2008). On the Semantics of Trust and Caching in the Semantic Web. In: Sheth, A., et al. The Semantic Web - ISWC 2008. ISWC 2008. Lecture Notes in Computer Science, vol 5318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88564-1_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-88564-1_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88563-4
Online ISBN: 978-3-540-88564-1
eBook Packages: Computer ScienceComputer Science (R0)