Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. On partitioning-based optimisations in expressive fuzzy Description Logics. In: FUZZ-IEEE 2015 - IEEE International Conference on Fuzzy Systems (Istanbul, Turkey, 2-5 August 2015). Proceedings, article n. 7337838. IEEE, 2015.
Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. A key factor in the practical success of fuzzy DLs is the availability of highly implemented reasoners. This paper studies two optimisation techniques (ABox partitioning based on individual groups and optimisation problem partitioning) in the setting of the fuzzy ontology reasoner fuzzy DL. We study the applicability of these techniques in expressive fuzzy DL languages, proposing a new strategy, and perform an empirical evaluation proving that they are not helpful in practice so far.
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7337838
DOI: 10.1109/FUZZ-IEEE.2015.7337838
Subject Fuzzy Desciption Logics
I.2.3 Deduction and Theorem Proving. Uncertainty, ``fuzzy,'' and probabilistic reasoning

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional