Description spaces with fuzziness

ABSTRACT

Extending tuple spaces with Description Logic provides a coordination model particularly suitable for open and dynamic application domains like pervasive systems, Internet applications and service-based applications. However, description logic per se is not powerful enough to represent vague/fuzzy knowledge so often required by real-world application scenarios. Hence, in this paper we extend the model of Description Logic tuple spaces (Description Spaces, or DS, in short) with fuzziness in order to support fuzzy semantic coordination.

References

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. D. Balzarotti, P. Costa, and G. P. Picco. The LighTS tuple space framework and its customization for context-aware applications. Web Intelligence and Agent Systems, 5(2): 215--231, 2007.
3. 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, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, M. Nickles, and M. Pool, editors, Uncertainty Reasoning for the Semantic Web I, volume 5327 of LNCS, pages 174--178. Springer, 2008.
4. F. Bobillo, M. Delgado, and J. Gomez-Romero. Delorean: A reasoner for fuzzy OWL 1.1. In F. Bobillo, P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, T. P. Martin, M. Nickles, M. Pool, and P. Smrz, editors, 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), volume 423 of CEUR Workshop Proceedings, Karlsruhe, Germany, Oct. 2008. Sun SITE Central Europe, RWTH Aachen University.
5. F. Bobillo and U. Straccia. FuzzyDL: An expressive fuzzy description logic reasoner. In 2008 International Conference on Fuzzy Systems (FUZZ-IEEE 2008), pages 923--930. IEEE CS, 2008.
6. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a Web ontology language. Web Semantics: Science, Services and Agents on the World Wide Web, 1(1): 7--26, Dec. 2003.
7. G. Klir and B. Yuan. Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Inc., 1994.
8. T. Lukasiewicz and U. Straccia. Managing uncertainty and vagueness in Description Logics for the Semantic Web. Web Semantics: Science, Services and Agents on the World Wide Web, 6(4): 291--308, Oct. 2008.
9. E. Nardini, M. Viroli, and E. Panzavolta. Coordination in open and dynamic environments with tucson semantic tuple centres. In 25th Annual ACM Symposium on Applied Computing (SAC 2010), volume III, pages 2037--2044, Sierre, Switzerland, 22--26 Mar. 2010. ACM.
10. A. Omicini and E. Denti. From tuple spaces to tuple centres. Science of Computer Programming, 41(3): 277--294, Nov. 2001.
11. A. Omicini and F. Zambonelli. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3): 251--269, Sept. 1999.
12. A. Ricci, A. Omicini, and E. Denti. Virtual enterprises and workflow management as agent coordination issues. International Journal of Cooperative Information Systems, 11(3/4): 355--379, Sept./Dec. 2002.
13. A. P. Rocha and E. Oliveira. An electronic market architecture for the formation of virtual enterprises. In IFIP TC5 WG5.3/PRODNET Working Conference on Infrastructures for Virtual Enterprises: Networking Industrial Enterprises, volume 153 of IFIP Conference Proceedings, pages 421--432. Kluwer, B. V., 1999.
14. E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2): 51--53, 2007.
15. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14(1): 137--166, Jan. 2001.
16. U. Straccia. Description logics with fuzzy concrete domains. In F. Bachus and T. Jaakkola, editors, 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), pages 559--567, Edinburgh, Scotland, 2005. AUAI Press.
17. R. Tolksdorf, L. J. B. Nixon, and E. P. B. Simperl. Towards a tuplespace-based middleware for the Semantic Web. Web Intelligence and Agent Systems, 6(3): 235--251, 2008.
18. TuCSoN. Home page. http://tucson.apice.unibo.it/.
19. J. Yen. Generalizing term subsumption languages to fuzzy logic. In 12th International Joint Conference on Artificial Intelligence (IJCAI'91), pages 472--477, San Francisco, CA, USA, 1991. Morgan Kaufmann Publishers Inc.
20. L. A. Zadeh. Fuzzy sets. Information and Control, 8(3): 338--353, 1965.

Index Terms

• Computing methodologies

  • Artificial intelligence

    • Knowledge representation and reasoning

      • Probabilistic reasoning

      • Vagueness and fuzzy logic

• Theory of computation

  • Logic

  • Models of computation

    • Computability