Reasoning in Fuzzy OWL 2 with DeLorean

1. Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics 6(4), 309–322 (2008)

   Article  Google Scholar 

2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)

   Google Scholar 

3. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning, KR 2006, pp. 452–457 (2006)

   Google Scholar 

4. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in Description Logics for the Semantic Web. Journal of Web Semantics 6(4), 291–308 (2008)

   Article  Google Scholar 

5. Stoilos, G., Simou, N., Stamou, G., Kollias, S.: Uncertainty and the Semantic Web. IEEE Intelligent Systems 21(5), 84–87 (2006)

   Article  Google Scholar 

6. Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy Description Logic reasoner. In: Proceedings of the 17th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2008, pp. 923–930. IEEE Computer Society (2008)

   Google Scholar 

7. Haarslev, V., Pai, H.I., Shiri, N.: A formal framework for Description Logics with uncertainty. Int. Journal of Approximate Reasoning 50(9), 1399–1415 (2009)

   Article  MathSciNet  MATH  Google Scholar 

8. Habiballa, H.: Resolution 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 (2007)

   Google Scholar 

9. Konstantopoulos, S., Apostolikas, G.: Fuzzy-DL Reasoning over Unknown Fuzzy Degrees. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2007 Ws, Part II. LNCS, vol. 4806, pp. 1312–1318. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

10. Pan, J.Z., Thomas, E., Sleeman, D.: ONTOSEARCH2: Searching and querying web ontologies. In: Proceeedings of the IADIS International Conference WWW/Internet 2006 (2006)

    Google Scholar 

11. Straccia, U., Visco, G.: 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, vol. 423. CEUR Workshop Proceedings (2008)

    Google Scholar 

12. Wang, H., Ma, Z.M., Yin, J.: FRESG: A Kind of Fuzzy Description Logic Reasoner. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2009. LNCS, vol. 5690, pp. 443–450. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

13. Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

14. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer (1998)

    Google Scholar 

15. Bobillo, F., Delgado, M., Gómez-Romero, J.: Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17(4), 501–530 (2009)

    Article  MathSciNet  MATH  Google Scholar 

16. Bobillo, F., Delgado, M., Gómez-Romero, J., Straccia, U.: Fuzzy Description Logics under Gödel semantics. Int. J. of Approximate Reasoning 50(3), 494–514 (2009)

    Article  MATH  Google Scholar 

17. Stoilos, G., Stamou, G., Pan, J.Z.: Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics. International Journal of Approximate Reasoning 51(6), 656–679 (2010)

    Article  MathSciNet  MATH  Google Scholar 

18. Straccia, U.: Description Logics with fuzzy concrete domains. In: Proc. of the 21st Conf. on Uncertainty in Artificial Intelligence, UAI 2005. AUAI Press (2005)

    Google Scholar 

19. Straccia, U.: Reasoning within fuzzy Description Logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)

    MathSciNet  MATH  Google Scholar 

20. Bechhofer, S., Möller, R., Crowther, P.: The DIG Description Logic interface: DIG/1.1. In: Proceedings of the 16th International Workshop on Description Logics, DL 2003 (2003)

    Google Scholar 

21. Horridge, M., Bechhofer, S.: The OWL API: A Java API for OWL Ontologies. Semantic Web 2(1), 11–21 (2011)

    Google Scholar 

22. Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51–53 (2007)

    Article  Google Scholar 

23. Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

24. Shearer, R., Motik, B., Horrocks, I.: HermiT: A highly-efficient OWL reasoner. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions, OWLED 2008 (2008)

    Google Scholar 

25. Liebig, T., Luther, M., Noppens, O., Wessel, M.: OWLlink. Semantic Web 2(1), 23–32 (2011)

    Google Scholar 

26. Bobillo, F., Straccia, U.: Fuzzy ontology representation using OWL 2. International Journal of Approximate Reasoning 52(7), 1073–1094 (2011)

    Article  MathSciNet  Google Scholar 

27. Cimiano, P., Haase, P., Ji, Q., Mailis, T., Stamou, G.B., Stoilos, G., Tran, T., Tzouvaras, V.: 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, ARea 2008. CEUR Workshop Proceedings, vol. 350 (2008)

    Google Scholar 

28. Carlsson, C., Brunelli, M., Mezei, J.: Fuzzy ontologies and knowledge mobilisation: Turning amateurs into wine connoisseurs. In: Proceedings of the 19th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2010, pp. 1718–1723 (2010)

    Google Scholar 

Download references