Optimization techniques for fuzzy description logics

CEUR Workshop Proceedings

Volumn 573, Issue , 2010, Pages 244-254

  Simou, Nikolaos ^a   Mailis, Theofilos ^a   Stoilos, Giorgos ^b   Stamou, Giorgos ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; OPTIMIZATION TECHNIQUES; SCALABLE SYSTEMS; UNCERTAINTY REPRESENTATION; WEB DATA;

FORMAL LANGUAGES; FUZZY SET THEORY; OPTIMIZATION;

DATA DESCRIPTION;

EID: 84857575730     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. F. Bobillo and U. Straccia. fuzzydl: An expressive fuzzy description logic reasoner. In In Proceedings of the 17th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008), pages 923-930, 2008.
2. Fernando Bobillo, Miguel Delgado, and Juan G'omez-Romero. A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. Pages 174-188, 2008.
3. J. Gmez-Romero F. Bobillo, M. Delgado. Delorean: A reasoner for fuzzy owl 1.1. In In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), pages 923-930, 2008.
4. Volker Haarslev and Ralf Moller. Expressive abox reasoning with number restrictions, role hierarchies, and transitively closed roles. In In: Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), pages 273-284. Morgan Kaufmann, 2000.
5. Volker Haarslev and Ralf M̈oller. RACER System Description. In IJCAR-01, volume 2083, 2001.
6. Volker Haarslev, Hsueh-Ieng Pai, and Nematollaah Shiri. Optimizing tableau reasoning in alc extended with uncertainty. In Proceedings of the 2007 International Workshop on Description Logics (DL-2007), pages 307-314, 2007.
7. Reiner Ḧahnle. Tableaux and related methods. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, pages 103-137. Elsevier Science Publishers, 2001.
8. I. Horrocks and P. F. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.
9. I. Horrocks, U. Sattler, and S. Tobies. Reasoning with Individuals for the Description Logic SHIQ. In David MacAllester, editor, CADE-2000, number 1831 in LNAI, pages 482-496. Springer-Verlag, 2000.
10. G. J. Klir and B. Yuan. Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, 1995.
11. N. Simou, Th. Athanasiadis, G. Stoilos, and S. Kollias. Image indexing and retrieval using expressive fuzzy description logics. Signal, Image and Video Processing, 2(4):321-335.
12. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5:51-53, 2007.
13. Giorgos Stoilos, Nikos Simou, Giorgos Stamou, and Stefanos Kollias. Uncertainty and the semantic web. IEEE Intelligent Systems, 21(5):84-87, 2006.
14. Giorgos Stoilos, Giorgos Stamou, Vassilis Tzouvaras, Jeff Z. Pan, and Ian Horrocks. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research, 30(5):273-320, 2007.
15. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
16. Umberto Straccia. A fuzzy description logic. In AAAI '98/IAAI '98: Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence, pages 594-599. American Association for Artificial Intelligence, 1998.
17. Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006.
18. Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider. Optimizing terminological reasoning for expressive description logics. J. of Automated Reasoning, 39(3):277-316, 2007.