DeLorean: A reasoner for fuzzy OWL 2

Expert Systems with Applications

Volumn 39, Issue 1, 2012, Pages 258-272

  Bobillo, Fernando ^a   Delgado, Miguel ^b   Gómez Romero, Juan ^c  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF GRANADA   (Spain)

^c UNIVERSIDAD CARLOS III DE MADRID   (Spain)

Author keywords

Fuzzy description logic reasoner; Fuzzy rough description logics; Fuzzy rough ontologies; Fuzzy rough ontology reasoner

Indexed keywords

DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY ROUGH ONTOLOGY REASONER; GRAPHICAL INTERFACE; ONTOLOGY LANGUAGE; REAL-WORLD APPLICATION; REASONER; ROUGH LOGIC;

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; ONTOLOGY;

FUZZY LOGIC;

EID: 81855161582     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2011.07.016     Document Type: Article

References (56)

1. S. Agarwal, and P. Hitzler sMart - A semantic matchmaking portal for electronic markets Proceedings of the 7th international IEEE conference on E-commerce technology (CEC'05) 2005 IEEE Computer Society
2. American Psychiatric Association. (1994). Diagnostic and statistical manual of mental disorders: DSM-IV-TR.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneider The description logic handbook: theory, implementation, and applications 2003 Cambridge University Press
4. Bechhofer, S.; Lord, P.; Volz, R. (2003). Cooking the Semantic Web with the OWL API. In Proceedings of the 2nd international semantic web conference (ISWC 2003).
5. Bechhofer, S.; Möller, R.; Crowther, P. (2003). The DIG Description Logic interface: DIG/1.1. In Proceedings of the 16th international workshop on description logics (DL 2003).
6. T. Berners-Lee, J. Hendler, and O. Lassila The semantic web Scientific American 284 5 2001 34 43
7. Bobillo, F.; Delgado, M.; Gómez-Romero, J. (2007). Optimizing the crisp representation of the fuzzy Description Logic SROIQ. In Proceedings of the 3rd ISWC workshop on uncertainty reasoning for the semantic web (URSW 2007), CEUR workshop proceedings (Vol. 327).
8. Bobillo, F.; Delgado, M.; Gómez-Romero, J. (2008). DeLorean: A reasoner for fuzzy OWL 1.1. In Proceedings of the 4th international workshop on uncertainty reasoning for the semantic web (URSW 2008), CEUR workshop proceedings (Vol. 423).
9. F. Bobillo, M. Delgado, and J. Gómez-Romero Crisp representations and reasoning for fuzzy ontologies International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17 4 2009 501 530
10. Bobillo, F.; Delgado, M.; Gómez-Romero, J.; Straccia, U. (Submitted). Joining Gödel and Zadeh fuzzy logics in fuzzy Description Logics.
11. F. Bobillo, M. Delgado, J. Gómez-Romero, and U. Straccia Fuzzy Description Logics under Gödel semantics International Journal of Approximate Reasoning 50 3 2009 494 514
12. Bobillo, F.; Straccia, U. (submitted). Generalized fuzzy rough Description Logics.
13. F. Bobillo, and U. Straccia fuzzyDL: An expressive fuzzy description logic reasoner Proceedings of the 17th IEEE international conference on fuzzy systems (FUZZ-IEEE 2008) 2008 IEEE Computer Society 923 930
14. F. Bobillo, and U. Straccia Supporting fuzzy rough sets in fuzzy Description Logics Proceedings of the 9th European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2009) Lecture Notes in Computer Science Vol. 5590 2009 Springer 676 687
15. S. Calegari, and E. Sanchez Object-fuzzy concept network: An enrichment of ontologies in semantic information retrieval Journal of the American Society for Information Science and Technology 59 13 2008 2171 2185
16. Cimiano, P.; Haase, P.; Ji, Q.; Mailis, T.; Stamou, G.B.; Stoilos, G.; Tran, T.; Tzouvaras, V. (2008). Reasoning with large A-Boxes in fuzzy Description Logics using DL reasoners: An experimental valuation. In Proceedings of the 1st workshop on advancing reasoning on the web: scalability and commonsense (ARea2008), CEUR workshop proceedings (Vol. 350).
17. Costa, P.C.G.; Laskey, K.B.; Lukasiewicz, T. (2008). Uncertainty representation and reasoning in the Semantic Web. In J. Cardoso and M.D. Lytras (Eds.), Semantic Web Engineering in the Knowledge Society.
18. B. Cuenca-Grau, I. Horrocks, B. Motik, B. Parsia, P.F. Patel-Schneider, and U. Sattler OWL 2: The next step for OWL Journal of Web Semantics 6 4 2008 309 322
19. Martine De Cock, Chris Cornelis, and Etienne E. Kerre Fuzzy rough sets: The forgotten step IEEE Transactions on Fuzzy Systems 15 1 2007 121 130
20. T.R. Gruber A translation approach to portable ontologies Knowledge Acquisition 5 2 1993 199 220
21. V. Haarslev, and R. Möller Racer system description Proceedings of international joint conference on automated reasoning (IJCAR-01) Lecture Notes in Computer Science Vol. 2083 2001 Springer-Verlag 701 705
22. V. Haarslev, H.-I. Pai, and N. Shiri A formal framework for Description Logics with uncertainty International Journal of Approximate Reasoning 50 9 2009 1399 1415
23. Habiballa, H. (2007). solution strategies for fuzzy Description Logic. In Proceedings of the 5th Conference of the European Society for fuzzy logic and technology (EUSFLAT 2007) (Vol. 2, pp. 27-36).
24. Horridge, M.; Bechhofer, S. (2009). The OWL API: A Java API for working with OWL 2 ontologies. In Proceedings of the 6th international workshop on OWL: experiences and directions (OWLED 2009), CEUR workshop proceedings (Vol. 529).
25. Horridge, M.; Bechhofer, S.; Noppens, O. (2007). Igniting the OWL 1.1 touch paper: The OWL API. In Proceedings of the 3rd international workshop on OWL: experiences and directions (OWLED 2007), CEUR workshop proceedings (Vol. 258).
26. Horridge, M.; Tsarkov, D.; Redmond, T. (2006). Supporting early adoption of OWL 1.1 with Protege-OWL and FaCT++. In Proceedings of the 2nd international workshop on OWL: experience and directions (OWLED 2006), CEUR workshop proceedings (Vol. 216).
27. Horrocks, I.; Kutz, O.; Sattler, U. (2006). The even more irresistible SROIQ. In Proceedings of the 10th international conference of knowledge representation and reasoning (KR 2006) (pp. 452-457).
28. I. Horrocks, and P.F. Patel-Schneider Reducing OWL entailment to Description Logic satisfiability Journal of Web Semantics 1 4 2004 345 357
29. C. Hudelot, J. Atif, and I. Bloch Fuzzy spatial relation ontology for image interpretation Fuzzy Sets and Systems 159 15 2008 1929 1951
30. S. Konstantopoulos, and G. Apostolikas Fuzzy-DL reasoning over unknown fuzzy degrees Proceedings of the 3rd international workshop on semantic web and web semantics (SWWS 07), Part II Lecture Notes in Computer Science Vol. 4806 2007 Springer-Verlag 1312 1318
31. Liebig, T.; Luther, M.; Noppens, O. (2009). The OWLlink protocol. In Proceedings of the 6th international workshop on OWL: experiences and directions (OWLED 2009), CEUR workshop proceedings (Vol. 529).
32. T. Lukasiewicz, and U. Straccia Managing uncertainty and vagueness in Description Logics for the semantic web Journal of Web Semantics 6 4 2008 291 308
33. M. Mas, M. Monserrat, and J. Torrens S-implications and r-implications on a finite chain Kybernetika 40 1 2004 3 20
34. G. Mayor, and J. Torrens On a class of operators for expert systems International Journal of Intelligent Systems 8 7 1993 771 778
35. B. McBride Jena: A semantic web toolkit IEEE Internet Computing 6 6 2002 55 59
36. N.F. Noy, M. Sintek, S. Decker, M. Crubezy, R.W. Fergerson, and M.A. Musen Creating semantic web contents with Protégé-2000 IEEE Intelligent Systems 16 2 2001 60 71
37. Pan, J.Z.; Stamou, G.; Stoilos, G.; Thomas, E.; Taylor, S. (2008). Scalable querying service over fuzzy ontologies. In Proceedings of the 17th international world wide web conference (WWW2008).
38. Pan, J.Z.; Thomas, E.; Sleeman, D. (2006). ONTOSEARCH2: Searching and querying web ontologies. In Proceeedings of the IADIS international conference WWW/Internet 2006.
39. Patel-Schneider, P.F.; Swartout, B. (1993). Description-Logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort. Technical report, DARPA Knowledge Representation System Specification (KRSS) Group of the Knowledge Sharing Initiative.
40. Z. Pawlak Rough sets International Journal of Computer and Information Sciences 11 5 1982 341 356
41. Anna Maria Radzikowska, and Etienne E. Kerre A comparative study of fuzzy rough sets Fuzzy Sets and Systems 126 2 2002 137 155
42. E. Sanchez Fuzzy logic and the semantic web Capturing Intelligence Vol. 1 2006 Elsevier Science
43. Shearer, R.; Motik, B.; Horrocks, I. (2008). HermiT: A highly-efficient OWL reasoner. In Proceedings of the 5th international workshop on OWL: experiences and directions (OWLED 2008).
44. E. Sirin, B. Parsia, B. Cuenca-Grau, A. Kalyanpur, and Y. Katz Pellet: A practical OWL-DL reasoner Journal of Web Semantics 5 2 2007 51 53
45. G. Stoilos, N. Simou, G. Stamou, and S. Kollias Uncertainty and the Semantic Web IEEE Intelligent Systems 21 5 2006 84 87
46. U. Straccia Reasoning within fuzzy Description Logics Journal of Artificial Intelligence Research 14 2001 137 166
47. U. Straccia Transforming fuzzy Description Logics into classical description logics Proceedings of the 9th european conference on logics in artificial intelligence (JELIA 2004) Lecture Notes in Computer Science Vol. 3229 2004 Springer-Verlag 385 399
48. U. Straccia Description logics with fuzzy concrete domains Proceedings of the 21st conference on uncertainty in artificial intelligence (UAI 2005) 2005 AUAI Press
49. Straccia, U.; Visco, G. (2008). DL-Media: An ontology mediated multimedia information retrieval system. In Proceedings of the 4th international workshop on uncertainty reasoning for the semantic web (URSW 2008), CEUR workshop proceedings (Vol. 423).
50. Thomas, E.; Pan, J.Z.; Sleeman, D. (2007). ONTOSEARCH2: Searching ontologies semantically. In Proceedings of the 3rd international workshop on OWL: experiences and directions (OWLED 2007), CEUR workshop proceedings (Vol. 258).
51. Tsarkov, D.; Horrocks, I. (2006). FaCT++ Description Logic reasoner: System description. In Proceedings of the 3rd international joint conference on automated reasoning (IJCAR 2006).
52. Turhan, A.Y.; Bechhofer, S.; Kaplunova, A.; Liebig, T.; Luther, M.; Möller, R.; Noppens, O.; Patel-Schneider, P.; Suntisrivaraporn, B.; and Weithöner, T. (2006). DIG 2.0 - Towards a flexible interface for Description Logic reasoners. In Proceedings of the 2nd international workshop on OWL: experience and directions (OWLED 2006), CEUR workshop proceedings (Vol. 216).
53. W3C. OWL Web Ontology Language overview, 2004. Available: http://www.w3.org/TR/owl-features.
54. Wang, H.; Ma, Z. M.; & Yin, J. (2009). Fresg: A kind of fuzzy description logic reasoner. In Proceedings of the 20th international conference on database and expert systems applications (DEXA 2009) (Vol. 5690, pp. 443-450). Lecture notes in computer science. Springer-Verlag.
55. J. Yen Generalizing term subsumption languages to fuzzy logic Proceedings of the 12th international joint conference on artificial intelligence (IJCAI 1991) 1991 Morgan Kaufman 472 477
56. L.A. Zadeh Fuzzy sets Information and Control 8 1965 338 353