Skip to main content

2017 | OriginalPaper | Buchkapitel

Uncertainty Reasoning for the Semantic Web

verfasst von : Thomas Lukasiewicz

Erschienen in: Reasoning Web. Semantic Interoperability on the Web

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The Semantic Web has attracted much attention, both from academia and industry. An important role in research towards the Semantic Web is played by formalisms and technologies for handling uncertainty and/or vagueness. In this paper, I first provide some motivating examples for handling uncertainty and/or vagueness in the Semantic Web. I then give an overview of some own formalisms for handling uncertainty and/or vagueness in the Semantic Web.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999) Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)
2.
Zurück zum Zitat Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Sci. Amer. 284(5), 34–43 (2001)CrossRef Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Sci. Amer. 284(5), 34–43 (2001)CrossRef
3.
Zurück zum Zitat Fensel, D., Wahlster, W., Lieberman, H., Hendler, J. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002) Fensel, D., Wahlster, W., Lieberman, H., Hendler, J. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002)
4.
Zurück zum Zitat Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\cal{SHIQ}\) and RDF to OWL: the making of a web ontology language. J. Web Sem. 1(1), 7–26 (2003)CrossRef Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\cal{SHIQ}\) and RDF to OWL: the making of a web ontology language. J. Web Sem. 1(1), 7–26 (2003)CrossRef
6.
Zurück zum Zitat Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003). doi:10.1007/978-3-540-39718-2_2 CrossRef Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003). doi:10.​1007/​978-3-540-39718-2_​2 CrossRef
7.
Zurück zum Zitat Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings KR-2006, pp. 57–67 (2006) Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings KR-2006, pp. 57–67 (2006)
9.
Zurück zum Zitat Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39(3), 385–429 (2007)MathSciNetCrossRefMATH Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39(3), 385–429 (2007)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Poggi, A., Lembo, D., Calvanese, D., Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008). doi:10.1007/978-3-540-77688-8_5 CrossRef Poggi, A., Lembo, D., Calvanese, D., Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-77688-8_​5 CrossRef
11.
Zurück zum Zitat Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope. In: Proceedings IJCAI-2005, pp. 364–369 (2005) Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope. In: Proceedings IJCAI-2005, pp. 364–369 (2005)
12.
Zurück zum Zitat Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings WWW-2003, pp. 48–57 (2003) Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings WWW-2003, pp. 48–57 (2003)
14.
Zurück zum Zitat Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12/13), 1495–1539 (2008)MathSciNetCrossRefMATH Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12/13), 1495–1539 (2008)MathSciNetCrossRefMATH
15.
Zurück zum Zitat Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81–97. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30504-0_7 CrossRef Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81–97. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30504-0_​7 CrossRef
16.
Zurück zum Zitat Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384–398. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72667-8_28 CrossRef Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384–398. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-72667-8_​28 CrossRef
17.
Zurück zum Zitat Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. J. Web Sem. 6(4), 291–308 (2008)CrossRef Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. J. Web Sem. 6(4), 291–308 (2008)CrossRef
19.
Zurück zum Zitat Udrea, O., Yu, D., Hung, E., Subrahmanian, V.S.: Probabilistic ontologies and relational databases. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 1–17. Springer, Heidelberg (2005). doi:10.1007/11575771_1 CrossRef Udrea, O., Yu, D., Hung, E., Subrahmanian, V.S.: Probabilistic ontologies and relational databases. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 1–17. Springer, Heidelberg (2005). doi:10.​1007/​11575771_​1 CrossRef
20.
Zurück zum Zitat Hung, E., Deng, Y., Subrahmanian, V.S.: TOSS: an extension of TAX with ontologies and similarity queries. In: Proceedings ACM SIGMOD 2004. ACM Press, pp. 719–730 (2004) Hung, E., Deng, Y., Subrahmanian, V.S.: TOSS: an extension of TAX with ontologies and similarity queries. In: Proceedings ACM SIGMOD 2004. ACM Press, pp. 719–730 (2004)
21.
Zurück zum Zitat Callan, J.: Distributed information retrieval. In: Croft, W.B. (ed.) Advances in Information Retrieval, pp. 127–150. Kluwer (2000) Callan, J.: Distributed information retrieval. In: Croft, W.B. (ed.) Advances in Information Retrieval, pp. 127–150. Kluwer (2000)
22.
Zurück zum Zitat Fuhr, N.: A decision-theoretic approach to database selection in networked IR. ACM Trans. Inf. Syst. 3(17), 229–249 (1999)CrossRef Fuhr, N.: A decision-theoretic approach to database selection in networked IR. ACM Trans. Inf. Syst. 3(17), 229–249 (1999)CrossRef
23.
Zurück zum Zitat Straccia, U., Troncy, R.: Towards distributed information retrieval in the semantic web: query reformulation using the oMAP framework. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 378–392. Springer, Heidelberg (2006). doi:10.1007/11762256_29 CrossRef Straccia, U., Troncy, R.: Towards distributed information retrieval in the semantic web: query reformulation using the oMAP framework. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 378–392. Springer, Heidelberg (2006). doi:10.​1007/​11762256_​29 CrossRef
24.
Zurück zum Zitat Nottelmann, H., Straccia, U.: Information retrieval and machine learning for probabilistic schema matching. Inf. Process. Manage. 43(3), 552–576 (2007)CrossRef Nottelmann, H., Straccia, U.: Information retrieval and machine learning for probabilistic schema matching. Inf. Process. Manage. 43(3), 552–576 (2007)CrossRef
25.
Zurück zum Zitat Giugno, R., Lukasiewicz, T.: P-\({\cal{SHOQ}}\)(D): a probabilistic extension of \({\cal{SHOQ}}\)(D) for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS, vol. 2424, pp. 86–97. Springer, Heidelberg (2002). doi:10.1007/3-540-45757-7_8 CrossRef Giugno, R., Lukasiewicz, T.: P-\({\cal{SHOQ}}\)(D): a probabilistic extension of \({\cal{SHOQ}}\)(D) for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS, vol. 2424, pp. 86–97. Springer, Heidelberg (2002). doi:10.​1007/​3-540-45757-7_​8 CrossRef
26.
Zurück zum Zitat d’Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol. 5291, pp. 146–159. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87993-0_13 CrossRef d’Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol. 5291, pp. 146–159. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-87993-0_​13 CrossRef
27.
Zurück zum Zitat Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res. 10, 199–241 (1999)MathSciNetMATH Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res. 10, 199–241 (1999)MathSciNetMATH
28.
Zurück zum Zitat Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings UAI-2001, pp. 329–336. Morgan Kaufmann (2001) Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings UAI-2001, pp. 329–336. Morgan Kaufmann (2001)
29.
Zurück zum Zitat Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1–3), 35–88 (2002)MathSciNetCrossRefMATH Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1–3), 35–88 (2002)MathSciNetCrossRefMATH
31.
Zurück zum Zitat Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 737–749. Springer, Heidelberg (2005). doi:10.1007/11518655_62 CrossRef Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 737–749. Springer, Heidelberg (2005). doi:10.​1007/​11518655_​62 CrossRef
33.
34.
Zurück zum Zitat Calì, A., Lukasiewicz, T.: An approach to probabilistic data integration for the semantic web. In: Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 52–65. Springer, Heidelberg (2008). doi:10.1007/978-3-540-89765-1_4 CrossRef Calì, A., Lukasiewicz, T.: An approach to probabilistic data integration for the semantic web. In: Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 52–65. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-89765-1_​4 CrossRef
35.
Zurück zum Zitat Calì, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the Semantic Web. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 428–429. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74610-2_30 CrossRef Calì, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the Semantic Web. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 428–429. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-74610-2_​30 CrossRef
36.
Zurück zum Zitat Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly coupled probabilistic description logic programs for the Semantic Web. J. Data Sem. 12, 95–130 (2009)CrossRefMATH Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly coupled probabilistic description logic programs for the Semantic Web. J. Data Sem. 12, 95–130 (2009)CrossRefMATH
37.
Zurück zum Zitat Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Rule-based approaches for representing probabilistic ontology mappings. In: Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 66–87. Springer, Heidelberg (2008). doi:10.1007/978-3-540-89765-1_5 CrossRef Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Rule-based approaches for representing probabilistic ontology mappings. In: Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 66–87. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-89765-1_​5 CrossRef
38.
Zurück zum Zitat Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representing ontology mappings. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 178–198. Springer, Heidelberg (2008). doi:10.1007/978-3-540-77684-0_14 CrossRef Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representing ontology mappings. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 178–198. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-77684-0_​14 CrossRef
39.
Zurück zum Zitat Lukasiewicz, T.: Probabilistic description logic programs under inheritance with overriding for the Semantic Web. Int. J. Approx. Reasoning 49(1), 18–34 (2008)MathSciNetCrossRefMATH Lukasiewicz, T.: Probabilistic description logic programs under inheritance with overriding for the Semantic Web. Int. J. Approx. Reasoning 49(1), 18–34 (2008)MathSciNetCrossRefMATH
40.
Zurück zum Zitat Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proceedings RuleML-2006, pp. 89–96. IEEE Computer Society (2006) Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proceedings RuleML-2006, pp. 89–96. IEEE Computer Society (2006)
41.
Zurück zum Zitat Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. Fundam. Inform. 82(3), 289–310 (2008)MathSciNetMATH Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. Fundam. Inform. 82(3), 289–310 (2008)MathSciNetMATH
42.
Zurück zum Zitat Lukasiewicz, T., Straccia, U.: Tightly Integrated fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 289–298. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72982-2_23 CrossRef Lukasiewicz, T., Straccia, U.: Tightly Integrated fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 289–298. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-72982-2_​23 CrossRef
43.
Zurück zum Zitat Lukasiewicz, T., Straccia, U.: Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic Web. Int. J. Semant. Web Inf. Syst. 4(3), 68–89 (2008)CrossRef Lukasiewicz, T., Straccia, U.: Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic Web. Int. J. Semant. Web Inf. Syst. 4(3), 68–89 (2008)CrossRef
44.
Zurück zum Zitat Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 187–198. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75256-1_19 CrossRef Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 187–198. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-75256-1_​19 CrossRef
45.
Zurück zum Zitat Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning 50(6), 837–853 (2009)MathSciNetCrossRefMATH Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning 50(6), 837–853 (2009)MathSciNetCrossRefMATH
46.
Zurück zum Zitat Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the Semantic Web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16–30. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75410-7_2 CrossRef Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the Semantic Web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16–30. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-75410-7_​2 CrossRef
Metadaten
Titel
Uncertainty Reasoning for the Semantic Web
verfasst von
Thomas Lukasiewicz
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-61033-7_8

Premium Partner