http://www.cnr.it/ontology/cnr/individuo/prodotto/ID282390
A MILP-based decision procedure for the (Fuzzy) Description Logic $ALCB$ (Contributo in atti di convegno)
- Type
- Label
- A MILP-based decision procedure for the (Fuzzy) Description Logic $ALCB$ (Contributo in atti di convegno) (literal)
- Anno
- 2014-01-01T00:00:00+01:00 (literal)
- Alternative label
Bobillo F., Straccia U. (2014)
A MILP-based decision procedure for the (Fuzzy) Description Logic $ALCB$
in DL-2014 - 27th International Workshop on Description Logics (DL 2014), Vienna, Austria, 17-20 July 2014
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Bobillo F., Straccia U. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://ceur-ws.org/Vol-1193/paper_18.pdf (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
- Proceedings of the 27th International Workshop on Description Logics (DL 2014) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
- Note
- Google Scholar (literal)
- Scopus (literal)
- PuMa (literal)
- DBLP (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- University of Zaragoza, Spain; CNR-ISTI, Pisa, Italy; (literal)
- Titolo
- A MILP-based decision procedure for the (Fuzzy) Description Logic $ALCB$ (literal)
- Abstract
- 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. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Insieme di parole chiave di