f-SWRL: A Fuzzy Extension of SWRL

  • Jeff Z. Pan
  • Giorgos Stoilos
  • Giorgos Stamou
  • Vassilis Tzouvaras
  • Ian Horrocks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4090)


Although the combination of OWL and Horn rules results in the creation of a highly expressive language, i.e. SWRL, there are still many occasions where this language fails to accurately represent knowledge of our world. In particular, SWRL fails at representing vague and imprecise knowledge and information. Such type of information is apparent in many applications like multimedia processing and retrieval, information fusion, etc. In this paper, we propose f-SWRL, a fuzzy extension to SWRL to include fuzzy assertions (such as ‘Mary is tall in the degree of 0.9’) and fuzzy rules (such as ‘being healthy is more important than being rich to determine if one is happy’).


Fuzzy Rule Description Logic Importance Factor Fuzzy Class Fuzzy Implication 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AL05]
    Agarwal, S., Lamparter, S.: Smart- a semantic matchmaking portal for electronic markets. In: International WWW Conference Committee (2005)Google Scholar
  2. [BvHH+04a]
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A. (eds.): OWL Web Ontology Language Reference (February 2004)Google Scholar
  3. [BvHH+04b]
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A., Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference. Technical report, W3C, February 10 (2004), http://www.w3.org/TR/2004/REC-owl-ref-20040210/
  4. [DP01]
    Damásio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 748–759. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. [Gro01]
    Joint W3C/IETF URI Planning Interest Group. URIs, URLs, and URNs: Clarifications and Recommendations 1.0. URL W3C Note (2001), http://www.w3.org/TR/uri-clarification/
  6. [Haj98]
    Hajek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)MATHGoogle Scholar
  7. [HKS02]
    Hölldobler, S., Khang, T.D., Störr, H.-P.: A fuzzy description logic with hedges as concept modifiers. In: Proceedings InTech/VJFuzzy 2002, pp. 25–34 (2002)Google Scholar
  8. [HPS04]
    Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pp. 723–731. ACM, New York (2004)Google Scholar
  9. [HPSB+04]
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language — Combining OWL and RuleML. W3C Member Submission (May 2004), http://www.w3.org/Submission/SWRL/
  10. [HPSvH03]
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)Google Scholar
  11. [HST99]
    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)CrossRefGoogle Scholar
  12. [Kif05]
    Kifer, M.: Requirements for an expressive rule language on the semantic web. In: W3C Workshop on Rule Languages for Interoperability (2005)Google Scholar
  13. [KY95]
    Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)MATHGoogle Scholar
  14. [Mat05]
    Matheus, C.J.: Using ontology-based rules for situation awareness and information fusion. In: W3C Work. on Rule Languages for Interoperability (2005)Google Scholar
  15. [MSS04]
    Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549–563. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  16. [Pan04]
    Pan, J.Z.: Description Logics: Reasoning Support for the Semantic Web. PhD thesis, School of Computer Science, The University of Manchester, Oxford Rd, Manchester M13 9PL, UK (September 2004)Google Scholar
  17. [Pav79]
    Pavelka, J.: On fuzzy logic i, ii, iii. Zeitschrift fur Math. Logik und Grundlagen der Math. 25, 45–52, 119–134, 447–464 (1979)Google Scholar
  18. [PH05]
    Horrocks, I., Pan, J.Z.: OWL-Eu: Adding Customised Datatypes into OWL. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 153–166. Springer, Heidelberg (to appear, 2005)CrossRefGoogle Scholar
  19. [SST+05]
    Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: A fuzzy description logic for multimedia knowledge representation. In: Proc. of the International Workshop on Multimedia and the Semantic Web (2005)Google Scholar
  20. [Str01]
    Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)MATHMathSciNetGoogle Scholar
  21. [Str04]
    Straccia, U.: Uncertainty and description logic programs: A proposal for expressing rules and uncertainty on top of ontologies. Technical report, Pisa, Italy (2004)Google Scholar
  22. [Str05]
    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)CrossRefGoogle Scholar
  23. [TM98]
    Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998) (1998)Google Scholar
  24. [Voj01]
    Vojtás, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361–370 (2001)MATHCrossRefMathSciNetGoogle Scholar
  25. [Yen91]
    Yen, J.: Generalising term subsumption languages to fuzzy logic. In: Proc of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), pp. 472–477 (1991)Google Scholar
  26. [Zad65]
    Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)MATHCrossRefMathSciNetGoogle Scholar
  27. [ZYZ+05]
    Zhang, L., Yu, Y., Zhou, J., Lin, C., Yang, Y.: An enhanced model for searching in semantic portals. In: Int. WWW Conference Committee (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jeff Z. Pan
    • 1
  • Giorgos Stoilos
    • 2
  • Giorgos Stamou
    • 2
  • Vassilis Tzouvaras
    • 2
  • Ian Horrocks
    • 3
  1. 1.Department of Computing ScienceUniversity of AberdeenAberdeenUK
  2. 2.Department of Electrical and Computer EngineeringNational Technical University of AthensZographouGreece
  3. 3.School of Computer ScienceThe University of ManchesterManchesterUK

Personalised recommendations