Fuzzy description logics with general t-norms and datatypes

Fuzzy Sets and Systems

Volumn 160, Issue 23, 2009, Pages 3382-3402

  Bobillo, Fernando ^a   Straccia, Umberto ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b ISTI CNR   (Italy)

Author keywords

Fuzzy description logics; Fuzzy logic; Fuzzy ontologies; Logic for the semantic web

Indexed keywords

DATATYPES; FUZZY DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGICS; FUZZY ONTOLOGIES; INTEGER NUMBERS; LEFT-CONTINUOUS T-NORMS; LOGIC FOR THE SEMANTIC WEB; PRODUCT LOGIC; STRUCTURED KNOWLEDGE; T - NORM;

DATA DESCRIPTION; FUZZY SETS; KNOWLEDGE REPRESENTATION; MATHEMATICAL OPERATORS; ONTOLOGY; SEMANTIC WEB; SEMANTICS;

FUZZY LOGIC;

EID: 70350575240     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2009.03.006     Document Type: Article

References (50)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, Cambridge, 2003.
2. Baader F., Franconi E., Hollunder B., Nebel B., and Profitlich H.J. An empirical analysis of optimization techniques for terminological representation systems, or: Making KRIS get a move on. Applied Artificial Intelligence 4 (1994) 109-132
3. F. Baader, I. Horrocks, U. Sattler, Description logics as ontology languages for the semantic web, in: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Artificial Intelligence, Vol. 2605, Springer, Berlin, 2005, pp. 228-248.
4. Berners-Lee T., Hendler J., and Lassila O. The semantic web. Scientific American 284 5 (2001) 34-43
5. F. Bobillo, M. Delgado, J. Gómez-Romero, A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions, in: Uncertainty Reasoning for the Semantic Web I, Lecture Notes in Artificial Intelligence, Vol. 5327, Springer, Berlin, 2008, pp. 174-188.
6. F. Bobillo, M. Delgado, J. Gómez-Romero, Optimizing the crisp representation of the fuzzy Description Logic SROIQ, in: Uncertainty Reasoning for the Semantic Web I, Lecture Notes in Artificial Intelligence, Vol. 5327, Springer, Berlin, 2008, pp. 189-206.
7. F. Bobillo, M. Delgado, J. Gómez-Romero, Crisp representations and reasoning for fuzzy ontologies, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, in press.
8. Bobillo F., Delgado M., Gómez-Romero J., and Straccia U. Fuzzy description logics under Gödel semantics. International Journal of Approximate Reasoning 50 3 (2009) 494-514
9. F. Bobillo, U. Straccia, A fuzzy description logic with product t-norm, in: Proc. 16th IEEE Internat. Conf. on Fuzzy Systems (FUZZ-IEEE 2007), 2006, pp. 652-657.
10. F. Bobillo, U. Straccia, fuzzyDL: an expressive fuzzy Description Logic reasoner, in: Proc. 17th IEEE Internat. Conf. on Fuzzy Systems (FUZZ-IEEE 2008), 2008, pp. 923-930.
11. F. Bobillo, U. Straccia, Towards a crisp representation of fuzzy Description Logics under Łukasiewicz semantics, in: Proc. 17th Internat. Sympos. on Methodologies for Intelligent Systems (ISMIS 2008), Lecture Notes in Artificial Intelligence, Vol. 4994, Springer, Berlin, 2008, pp. 309-318.
12. Cintula P. An alternative approach to the ŁΠ logic. Neural Network World 11 6 (2001) 561-572
13. Cuenca-Grau B., Horrocks I., Motik B., Parsia B., Patel-Schneider P.F., and Sattler U. OWL 2: the next step for OWL. Journal of Web Semantics 6 4 (2008) 309-322
14. Esteva F., Godo L., Hájek P., and Navara M. Residuated fuzzy logics with an involutive negation. Archive for Mathematical Logic 39 2 (2000) 103-124
15. Esteva F., Godo L., and Montagna F. The Ł Π and Ł Π frac(1, 2) logics: two complete fuzzy systems joining Łukasiewicz and Product logics. Archive for Mathematical Logic 40 1 (2001) 39-67
16. Floudas C.A. Nonlinear and Mixed-integer Optimization (1995), Oxford University Press, Oxford
17. R. Hähnle, Advanced many-valued logics, in: Handbook of Philosophical Logic, Vol. 2, second ed., Kluwer Academic Publishers, Dordrecht, 2001.
18. Hájek P. Making fuzzy description logics more general. Fuzzy Sets and Systems 154 1 (2005) 1-15
19. Hájek P. Metamathematics of Fuzzy Logic (2001), Kluwer Academic Publishers, Dordrecht
20. Hájek P. On witnessed models in fuzzy logic. Mathematical Logic Quarterly 53 1 (2007) 66-77
21. P. Hájek, What does mathematical fuzzy logic offer to description logic? in: Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elsevier, Amsterdam, 2006, pp. 91-100.
22. FH with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence 7 3 (2003) 294-305
23. Horrocks I., and Patel-Schneider P.F. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1 4 (2004) 345-357
24. Horrocks I., and Patel-Schneider P.F. From SHIQ and RDF to OWL: the making of a Web ontology language. Journal of Web Semantics 1 1 (2003) 7-26
25. Horrocks I., Sattler U., and Tobies S. Practical reasoning for very expressive description logics. Logic Journal of the Interest Group in Pure and Applied Logic 8 3 (2000) 239-263
26. I. Horrocks, U. Sattler, S. Tobies, Reasoning with individuals for the description logic SHIQ, in: Proc. 17th Internat. Conf. on Automated Deduction (CADE-17), Lecture Notes in Artificial Intelligence, Vol. 1831, Springer, Berlin, 2000, pp. 482-496.
27. R.G. Jeroslow, Logic-based Decision Support. Mixed Integer Model Formulation, Elsevier, Amsterdam, 1989.
28. Knappe R., Bulskov H., and Andreasen T. Perspectives on ontology-based querying. International Journal of Intelligent Systems 22 7 (2006) 739-761
29. Łukasiewicz T. Expressive probabilistic description logics. Artificial Intelligence 172 6-7 (2008) 852-883
30. Łukasiewicz T., and Straccia U. Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6 4 (2008) 291-308
31. Lutz C. Description logics with concrete domains-A survey. Advances in Modal Logics Vol. 4 (2003), King's College Publications
32. D. L. McGuinness, F. van Harmelen, OWL Web Ontology Language overview, 2004, Retrieved October 1, 2007, from 〈http://www.w3.org/TR/owl-features〉.
33. Nebel B. Terminological reasoning is inherently intractable. Artificial Intelligence 43 2 (1990) 235-249
34. Salkin H., and Kamlesh M. Foundations of Integer Programming (1988), North-Holland, Amsterdam
35. Schmidt-Schauß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 (1991) 1-26
36. G. Stoilos, G. Stamou, Extending fuzzy description logics for the semantic web, in: Proc. 3rd Internat. Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.
37. G. Stoilos, G. Stamou, J.Z. Pan, Handling imprecise knowledge with fuzzy description logic, in: Proc. 2006 Internat. Workshop on Description Logics (DL 2006), 2006, pp. 119-126.
38. G. Stoilos, G. Stamou, V. Tzouvaras, J.Z. Pan, I. Horrocks, Fuzzy OWL: uncertainty and the semantic web, in: Proc. 1st Internat. Workshop on OWL: Experiences and Directions (OWLED 2005), 2005.
39. Stoilos G., Stamou G., Tzouvaras V., Pan J.Z., and Horrocks I. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30 8 (2007) 273-320
40. G. Stoilos, U. Straccia, G. Stamou, J.Z. Pan, General concept inclusions in fuzzy description logics, in: Proc. 17th European Conf. on Artificial Intelligence (ECAI-06), IOS Press, 2006, pp. 457-461.
41. U. Straccia, A fuzzy description logic, in: Proc. 15th National Conf. on Artificial Intelligence (AAAI-98), 1998, pp. 594-599.
42. U. Straccia, A fuzzy description logic for the semantic web, in: Fuzzy Logic and the Semantic Web, Capturing Intelligence, Elsevier, Amsterdam, 2006, pp. 73-90 (Chapter 4).
43. U. Straccia, Description logics with fuzzy concrete domains, in: Proc. 21st Conf. on Uncertainty in Artificial Intelligence (UAI-05), AUAI Press, 2005, pp. 559-567.
44. U. Straccia, Reasoning in Ł-SHIF: an expressive fuzzy description logic under Łukasiewicz semantics, Technical Report ISTI-018/2007, ISTI-CNR, 2007.
45. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
46. U. Straccia, Transforming fuzzy description logics into classical description logics, in: Proc. 9th European Conf. on Logics in Artificial Intelligence (JELIA-04), Lecture Notes in Computer Science, Vol. 3229, Springer, Berlin, 2004, pp. 385-399.
47. Straccia U., and Bobillo F. Mixed integer programming, general concept inclusions and fuzzy description logics. Mathware & Soft Computing 14 3 (2007) 247-259
48. C. Tresp, R. Molitor, A description logic for vague knowledge, in: Proc. 13th European Conf. on Artificial Intelligence (ECAI-98), 1998.
49. J. Yen, Generalizing term subsumption languages to fuzzy logic, in: Proc. 12th Internat. Joint Conf. on Artificial Intelligence (IJCAI-91), 1991, pp. 472-477.
50. Zadeh L. Fuzzy sets. Information and Control 8 3 (1965) 338-353