Advertisement

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning

  • Stefano Bragaglia
  • Federico Chesani
  • Anna Ciampolini
  • Paola Mello
  • Marco Montali
  • Davide Sottara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6076)

Abstract

In recent years there has been a growing interest in the combination of rules and ontologies. Notably, many works have focused on the theoretical aspects of such integration, sometimes leading to concrete solutions. However, solutions proposed so far typically reason upon crisp concepts, while concrete domains require also fuzzy expressiveness.

In this work we combine mature technologies, namely the Drools business rule management system, the Pellet OWL Reasoner and the FuzzyDL system, to provide a unified framework for supporting fuzzy reasoning. After extending the Drools framework (language and engine) to support uncertainty reasoning upon rules, we have integrated it with custom operators that (i) exploit Pellet to perform ontological reasoning, and (ii) exploit FuzzyDL to support fuzzy ontological reasoning.

As a case study, we consider a decision-support system for the tourism domain, where ontologies are used to formally describe package tours, and rules are exploited to evaluate the consistency of such packages.

Topics

Fuzzy Reasoning Rule-based Reasoning Rules Integration with Ontologies Decision Support Systems eTourism 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Antoniou, G., Damásio, C., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.: Combining rules and ontologies: A survey. Reasoning on the Web with Rules and Semantics (2005)Google Scholar
  2. 2.
    Grosof, B., Horrocks, I., Volz, R.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th international conference on World Wide Web, pp. 48–57. ACM, New York (2003)Google Scholar
  3. 3.
    Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ- description logic to disjunctive datalog programs. In: Proc. KR, pp. 152–162 (2004)Google Scholar
  4. 4.
    Motik, B., Vrandečić, D., Hitzler, P., Studer, R.: Dlpconvert–converting OWL DLP statements to logic programs. In: European Semantic Web Conference 2005 Demos and Posters, Citeseer (2005)Google Scholar
  5. 5.
    Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany (2006)Google Scholar
  6. 6.
    Lukacsy, G., Szeredi, P., Kadar, B.: Prolog based description logic reasoning. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 455–469. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Bobillo, F., Straccia, U.: FuzzyDL: An expressive fuzzy description logic reasoner. In: Proc. 2008 Intl. Conf. on Fuzzy Systems, FUZZ 2008 (2008)Google Scholar
  8. 8.
    Kochukuttan, H., Chandrasekaran, A.: Development of a Fuzzy Expert System for Power Quality Applications. In: Proceedings of the Twenty-Ninth Southeastern Symposium on System Theory, pp. 239–243 (1997)Google Scholar
  9. 9.
    Ozgur, N., Koyuncu, M., Yazici, A.: An intelligent fuzzy object-oriented database framework for video database applications. Fuzzy Sets and Systems 160(15), 2253–2274 (2009)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Forgy, C.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Name: Artif. Intell. (1982)Google Scholar
  11. 11.
    Carroll, J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters, pp. 74–83. ACM, New York (2004)CrossRefGoogle Scholar
  12. 12.
    Mello, P., Proctor, M., Sottara, D.: A configurable RETE-OO engine for reasoning with different types of imperfect information. IEEE TKDE - Special Issue on Rule Representation, Interchange and Reasoning in Distributed, Heterogeneous Environments (2010) (in Press)Google Scholar
  13. 13.
    Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning - i. Inf. Sci. 8(3), 199–249 (1975)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Novk, V.: Abstract: Mathematical fuzzy logic in narrow and broader sense a unified conceptGoogle Scholar
  15. 15.
    Baldwin, J., Martin, T., Pilsworth, B.: Fril-fuzzy and evidential reasoning in artificial intelligence. John Wiley & Sons, Inc., New York (1995)Google Scholar
  16. 16.
    de Bruijn, J.: Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling. PhD thesis, University of Innsbruck (2008)Google Scholar
  17. 17.
    Behrends, E., Fritzen, O., May, W., Schenk, F.: Embedding Event Algebras and Process for ECA Rules for the Semantic Web. Fundamenta Informaticae 82(3), 237–263 (2008)MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Stefano Bragaglia
    • 1
  • Federico Chesani
    • 1
  • Anna Ciampolini
    • 1
  • Paola Mello
    • 1
  • Marco Montali
    • 1
  • Davide Sottara
    • 1
  1. 1.University of BolognaBolognaItaly

Personalised recommendations