Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics (Articolo in rivista)

Type
Label
  • Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Straccia U.; Bobillo F. (2007)
    Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
    in Mathware & soft computing
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Straccia U.; Bobillo F. (literal)
Pagina inizio
  • 247 (literal)
Pagina fine
  • 259 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ic.ugr.es/Mathware/index.php/Mathware/article/view/21/9 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 14 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Mathware & Soft Computing, vol. 14 (3) pp. 247 - 259. Departament of Computer Science and Artificial Intellingence of the University of Granada and Secció de Matemàtiques i Informàtica of the Universitat Politècnica de Catalunya (ed.). EUSFLAT, 2007. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR; Dpt. of Computer Science and AI University of Granada, Spain (literal)
Titolo
  • Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics (literal)
Abstract
  • Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In~Straccia 2005, a solution based on Mixed Integer Linear Programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCIs under various semantics: classical logic, ``Zadeh semantics'', and Lukasiewicz logic. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it