Crisp representations and reasoning for fuzzy ontologies

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 17, Issue 4, 2009, Pages 501-530

  Bobillo, Fernando ^a   Delgado, Miguel ^a   GÓmez Romero, Juan ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

Fuzzy description logics; Fuzzy logic; Fuzzy ontologies; Semantic web

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; MEMBERSHIP FUNCTIONS; ONTOLOGY; SEMANTIC WEB;

% REDUCTIONS; FUZZY CONCEPT; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY LANGUAGE; FUZZY ONTOLOGY; FUZZY-LOGIC; ONTOLOGY'S; SEMANTIC-WEB; TRAPEZOIDAL MEMBERSHIP FUNCTIONS;

FUZZY LOGIC;

EID: 68949161586     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488509006121     Document Type: Article

References (36)

1. T. Berners-Lee, J. Hendler and O. Lassila, The semantic web, Scientific American 284(5) (2001) 34-43.
2. Thomas R. Gruber, A translation approach to portable ontologies, Knowledge Acquisition 5(2) (1993) 199-220.
3. D. L. McGuinness and F. van Harmelen, OWL Web Ontology Language Overview, 2004. Retrieved October 1st, 2007, from http://www.w3.org/TR/owl-features.
4. G. Stoilos, G. Stamou, R. Searer, I. Horrocks, J. Z. Pan, A. Polleres, H. Lausen, M. Jarrar, C. F. Enguix, H. Wache and Y. Sure, Analysis of requirements for further language extensions, Technical Report KWEB EU-IST-2004-507482, Knowledge Web, 2007.
5. P. F. Patel-Schneider and I. Horrocks, OWL 1.1 Web Ontology Language Overview, 2006. Retrieved October 1st, 2007, from http://www.w3.org/Submission/ owl11-overview/.
6. F. Baader, D. Calvanese, D. McGuinness, D. Nardi and P. F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications (Cambridge University Press, 2003).
7. F. Baader, I. Horrocks and U. Sattler, Description logics as ontology languages for the semantic web, in D. Hutter and W. Stephan (eds.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Vol. 2605, Lecture Notes in Artificial Intelligence, Springer-Verlag, 2005, pp. 228-248.
8. I. Horrocks and P. F. Patel-Schneider, Reducing OWL entailment to description logic satisfiability, Journal of Web Semantics 1(4) (2004) 345-357.
9. E. Sanchez (ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence, Vol. 1 (Elsevier Science, 2006).
10. T. Lukasiewicz and U. Straccia, An overview of uncertainty and vagueness in description logics for the semantic web, Technical Report INFSYS RR-1843-06-07, Institut für Informationssysteme, Technische Universität Wien, 2006.
11. E. Sirin, B. Cuenca-Grau and B. Parsia, From wine to water: Optimizing description logic reasoning for nominals, in Proc. 10th Int. Conf. Knowledge Representation and Reasoning (KR-2006), 2006, pp. 90-99.
12. U. Straccia, Transforming fuzzy description logics into classical description logics, in Proc. 9th European Conf. Logics in Artificial Intelligence (JELIA-04), Lecture Notes in Computer Science, Vol. 3229, Springer-Verlag, 2004, pp. 385-399.
13. F. Bobillo, M. Delgado and J. Gómez-Romero, A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions, in P. C. G. da Costa, K. B. Laskey, K. J. Laskey, F. Fung, and M. Pool (eds.), in Proc. 2nd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006), Vol. 218, CEUR Workshop Proceedings, 2006.
14. G. Stoilos and G. Stamou, Extending fuzzy description logics for the semantic web, in Proc. 3rd Int. Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.
15. F. Bobillo, M. Delgado and J. Gómez-Romero, Optimizing the crisp representation of the fuzzy description logic SROIQ, in Proc. 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), CEUR Workshop Proceedings, 2007.
16. I. Horrocks, O. Kutz and U. Sattler, The even more irresistible SROIQ, in Proc. 10th Int. Conf. Knowledge Representation and Reasoning (KR-2006), 2006, pp. 452-457.
17. P. Hájek, Metamathematics of Fuzzy Logic (Kluwer, 2001).
18. G. J. Klir and B. Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications (Prentice-Hall, 1995).
19. A. Schaerf, Reasoning with individuals in concept languages, Data & Knowledge Engineering 13(2) (1994) 141-176.
20. L. A. Zadeh, Fuzzy sets, Information and Control 8 (1965) 338-353.
21. U. Straccia, Fuzzy Logic and the Semantic Web, Capturing Intelligence, Vol. 1, chapter A fuzzy description logic for the semantic web, pp. 73-90 (Elsevier Science, 2006).
22. U. Straccia, Description logics with fuzzy concrete domains, in F. Bachus and T. Jaakkola (eds.), in Proc. 21st Conf. Uncertainty in Artificial Intelligence (UAI-05), AUAI Press, 2005.
23. S. Hölldobler, H.-P. Störr and D.-K. Tran, A fuzzy description logic with hedges as concept modifiers, in Proceedings of the Joint Third Int. Conf. Intelligent Technologies and Third Vietnam-Japan Symposium on Fuzzy Systems and Applications (InTech/VJFuzzy'2002), 2002, pp. 25-34.
24. G. Stoilos, G. Stamou, J. Z. Pan, V. Tzouvaras, and I. Horrocks, Reasoning with very expressive fuzzy description logics, Journal of Artificial Intelligence Research 30(8) (2007) 273-320.
25. U. Straccia, Reasoning within fuzzy description logics, Journal of Artificial Intelligence Research 14 (2001) 137-166.
26. G. Stoilos, G. Stamou, V. Tzouvaras, J. Z. Pan, and I. Horrocks, Fuzzy OWL: Uncertainty and the semantic web, in Proc. Int. Workshop on OWL: Experience and Directions (OWLED 2005), 2005.
27. Y. Ma, P. Hitzler and Z.-Q. Lin, Algorithms for paraconsistent reasoning with OWL, in E. Franconi, M. Kifer, and W. May (eds.), in Proc. 4th European Semantic Web Conference (ESWC 2007), 2007, pp. 399-413.
28. U. Straccia, A fuzzy description logic, in Proc. 15th National Conf. Artificial Intelligence (AAAI-98), 1998, pp. 594-599.
29. D. Dubois, J. Mengin and H. Prade, Fuzzy Logic and the Semantic Web, Capturing Intelligence, Vol. 1, chapter Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion, pp. 101-113 (Elsevier Science, 2006).
30. U. Straccia and F. Bobillo, Mixed integer programming, general concept inclusions and fuzzy description logics, Mathware & Soft Computing 14(3) (2007) 247-259.
31. F. Bobillo and U. Straccia, A fuzzy description logic with product t-norm, in Proc. 16th IEEE Int. Conf. Fuzzy Systems (FUZZ-IEEE 2007), 2007, pp. 652-657.
32. U. Straccia, Description logics over lattices, Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems 14(1) (2006) 1-16.
33. Y. Li, B. Xu, J. Lu, D. Kang and P. Wang, A family of extended fuzzy description logics, in Proc. 29th Annual Int. Computer Software and Applications Conference (COMPSAC 2005), Vol. 1,IEEE Computer Society, 2005, pp. 221-226.
34. Y. Li, B. Xu, J. Lu and D. Kang, Reasoning technique for extended fuzzy ALCQ, in Proc. Int. Conf. Computational Science and Its Applications (ICCSA 2006) (Part II), Lecture Notes in Computer Science, Vol. 3981, Springer-Verlag, 2006, pp. 1179-1188.
35. D. Kang, J. Lu, B. Xu, Y. Li and Y. He, Two reasoning methods for extended fuzzy ALCH, in R. Meersman, Z. Tari, M.-S. Hacid, J. Mylopoulos, B. Pernici, Ö. Babaoglu, H.-A. Jacobsen, J. P. Loyall, M. Kifer and S. Spaccapietra (eds.), in Proc. OTM Conferences 2005 (Part II), Lecture Notes in Computer Science, Vol. 3761, Springer-Verlag, 2005, pp. 1588-1595.
36. P. Hájek, Making fuzzy description logic more general, Fuzzy Sets and Systems 154(1) (2005) 1-15.