Abstract
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’).
This is a revised and extended version of a paper with the same title that was published in the International Conference on Artificial Neural Networks (ICANN 2005). This work is supported by the FP6 Network of Excellence EU project Knowledge Web (IST-2004-507842).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Agarwal, S., Lamparter, S.: Smart- a semantic matchmaking portal for electronic markets. In: International WWW Conference Committee (2005)
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)
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/
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)
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/
Hajek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)
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)
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)
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/
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)
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)
Kifer, M.: Requirements for an expressive rule language on the semantic web. In: W3C Workshop on Rule Languages for Interoperability (2005)
Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)
Matheus, C.J.: Using ontology-based rules for situation awareness and information fusion. In: W3C Work. on Rule Languages for Interoperability (2005)
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)
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)
Pavelka, J.: On fuzzy logic i, ii, iii. Zeitschrift fur Math. Logik und Grundlagen der Math. 25, 45–52, 119–134, 447–464 (1979)
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)
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)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)
Straccia, U.: Uncertainty and description logic programs: A proposal for expressing rules and uncertainty on top of ontologies. Technical report, Pisa, Italy (2004)
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)
Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998) (1998)
Vojtás, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361–370 (2001)
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)
Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)
Zhang, L., Yu, Y., Zhou, J., Lin, C., Yang, Y.: An enhanced model for searching in semantic portals. In: Int. WWW Conference Committee (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pan, J.Z., Stoilos, G., Stamou, G., Tzouvaras, V., Horrocks, I. (2006). f-SWRL: A Fuzzy Extension of SWRL. In: Spaccapietra, S., Aberer, K., Cudré-Mauroux, P. (eds) Journal on Data Semantics VI. Lecture Notes in Computer Science, vol 4090. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11803034_2
Download citation
DOI: https://doi.org/10.1007/11803034_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36712-3
Online ISBN: 978-3-540-36871-7
eBook Packages: Computer ScienceComputer Science (R0)