Tightly integrated fuzzy description logic programs under the answer semantics for the semantic Web (Contributo in atti di convegno)

Type
Label
  • Tightly integrated fuzzy description logic programs under the answer semantics for the semantic Web (Contributo in atti di convegno) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-72982-2_23 (literal)
Alternative label
  • Lukasiewicz T.; Straccia U. (2007)
    Tightly integrated fuzzy description logic programs under the answer semantics for the semantic Web
    in First International Conference on Web Reasoning and Rule Systems.
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Lukasiewicz T.; Straccia U. (literal)
Pagina inizio
  • 289 (literal)
Pagina fine
  • 298 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-540-72982-2_23 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 4524 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: First International Conference on Web Reasoning and Rule Systems. RR 2007 (Insbruck, 7-8 June 2007). Proceedings, pp. 289 - 298. M. Marchiori, J.Z. Pan, and C. de Sainte Marie (eds.). (Lecture Notes in Computer Science, vol. 4524). Springer Verlag, 2007. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • University of Oxford, UK;ISTI-CNR (literal)
Titolo
  • Tightly integrated fuzzy description logic programs under the answer semantics for the semantic Web (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-72981-5 (literal)
Abstract
  • We present a novel approach to fuzzy dl-programs under the answer set semantics, which is a tight integration of fuzzy disjunctive programs under the answer set semantics with fuzzy description logics. From a different perspective, it is a generalization of tightly integrated disjunctive dl-programs by fuzzy vagueness in both the description logic and the logic program component. We show that the new formalism faithfully extends both fuzzy disjunctive programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. Furthermore, we present a polynomial reduction of certain fuzzy dl-programs to tightly integrated disjunctive dl-programs. We also provide a special case of fuzzy dl-programs for which deciding consistency and~query processing have both a polynomial data complexity. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it