Skip to main content
SpringerLink
Log in

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web

  • Conference paper
Web Reasoning and Rule Systems (RR 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4524))

Included in the following conference series:

Abstract

We present a novel approach to fuzzy dl-programs under the answer set semantics, which is a tight integration of fuzzy disjunctive programs under the answer set semantics with fuzzy description logics. From a different perspective, it is a generalization of tightly integrated disjunctive dl-programs by fuzzy vagueness in both the description logic and the logic program component. We show that the new formalism faithfully extends both fuzzy disjunctive programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. Furthermore, we present a polynomial reduction of certain fuzzy dl-programs to tightly integrated disjunctive dl-programs. We also provide a special case of fuzzy dl-programs for which deciding consistency and query processing have both a polynomial data complexity.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)

    Google Scholar 

  2. Bobillo, F., Delgado, M., Gómez-Romero, J.: A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In: Proc. URSW-2006 (2006)

    Google Scholar 

  3. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for Semantic Web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR-2004, pp. 141–151 (2004)

    Google Scholar 

  5. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the Semantic Web. In: Proc. RuleML-2004, pp. 81–97 (2004)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3/4), 365–386 (1991)

    Article  Google Scholar 

  8. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)

    MATH  Google Scholar 

  9. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003)

    Google Scholar 

  10. Horrocks, I., Patel-Schneider, P.F.: Position paper: A comparison of two modelling paradigms in the Semantic Web. In: Proc. WWW-2006, pp. 3–12 (2006)

    Google Scholar 

  11. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. Web. Sem. 1(1), 7–26 (2003)

    Google Scholar 

  12. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)

    Google Scholar 

  13. Lukasiewicz, T.: Stratified probabilistic description logic programs. In: Proc. URSW-2005, pp. 87–97 (2005)

    Google Scholar 

  14. Lukasiewicz, T.: Probabilistic description logic programs. In: Proc. ECSQARU-2005, pp. 737–749, 2005. Extended version in Int. J. Approx. Reason (in press, 2007)

    Google Scholar 

  15. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proc. RuleML-2006, pp. 89–96 (2006)

    Google Scholar 

  16. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the Semantic Web. In: Proc. ESWC-2007 (to appear 2007)

    Google Scholar 

  17. Lukasiewicz, T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer set semantics for the Semantic Web. Report 1843-07-03, Institut für Informationssysteme, TU Wien (February 2007)

    Google Scholar 

  18. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  19. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proc. IJCAI-2007, pp. 477–482 (2007)

    Google Scholar 

  20. Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1–2), 7–56 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  21. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1), 61–73 (2005)

    Google Scholar 

  22. Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. KR-2006, pp. 68–78 (2006)

    Google Scholar 

  23. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: Fuzzy OWL: Uncertainty and the Semantic Web. In: Proc. OWLED-2005 (2005)

    Google Scholar 

  24. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Proc. JELIA-2004, pp. 385–399 (2004)

    Google Scholar 

  25. Straccia, U.: Towards a fuzzy description logic for the Semantic Web (preliminary report). In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 167–181. Springer, Heidelberg (2005)

    Google Scholar 

  26. Straccia, U.: A fuzzy description logic for the Semantic Web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, pp. 73–90. Elsevier, Amsterdam (2006)

    Google Scholar 

  27. Straccia, U.: Uncertainty and description logic programs over lattices. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter 7, pp. 115–133 (2006)

    Google Scholar 

  28. Straccia, U.: Fuzzy description logic programs. In: Proc. IPMU-2006, pp. 1818–1825 (2006)

    Google Scholar 

  29. W3C: OWL web ontology language overview (2004) W3C Recommendation (February 10, 2004) Available at www.w3.org/TR/2004/REC-owl-features-20040210/

Download references

Author information

Authors and Affiliations

  1. DIS, Università di Roma “La Sapienza”, Via Salaria 113, I-00198 Rome, Italy

    Thomas Lukasiewicz

  2. ISTI-CNR, Via G. Moruzzi 1, I-56124 Pisa, Italy

    Umberto Straccia

Authors
  1. Thomas Lukasiewicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Umberto Straccia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Lukasiewicz, T., Straccia, U. (2007). Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72982-2_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72981-5

  • Online ISBN: 978-3-540-72982-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation