Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. A MILP-based decision procedure for the (Fuzzy) description logic ALCB. In: DL-2014 - 27th International Workshop on Description Logics (Vienna, Austria, 17-20 July 2014). Proceedings, pp. 378 - 390. Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus (eds.). (CEUR Workshops Series, vol. 1193). http://ceur-ws.org, 2014.
To overcome the inability of Description Logics (DLs) to represent vague or imprecise information, several fuzzy extensions have been proposed in the literature. In this context, an important family of reasoning algorithms for fuzzy DLs is based on a combination of tableau algorithms and Operational Research (OR) problems, specifically using Mixed Integer Linear Programming (MILP). % In this paper, we present a MILP-based tableau procedure that allows to reason within fuzzy $alcb$, ie, $alc$ with individual value restrictions. Interestingly, unlike classical tableau procedures, our tableau algorithm is deterministic, in the sense that it defers the inherent non-determinism in $alcb$ to a MILP solver.
URL: http://ceur-ws.org/Vol-1193/paper_18.pdf
Subject Fuzzy Description Logics
I.2.4 Knowledge Representation Formalisms and Methods

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