Tightly coupled fuzzy description logic programs under the answer set semantics for the semantic Web (Articolo in rivista)

Type
Label
  • Tightly coupled fuzzy description logic programs under the answer set semantics for the semantic Web (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.4018/jswis.2008070104 (literal)
Alternative label
  • Lukasiewicz T.; Straccia U. (2008)
    Tightly coupled fuzzy description logic programs under the answer set semantics for the semantic Web
    in International journal on Semantic Web and information systems; IGI Publishing, Hershey (Stati Uniti d'America)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Lukasiewicz T.; Straccia U. (literal)
Pagina inizio
  • 68 (literal)
Pagina fine
  • 89 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.igi-global.com/article/tightly-coupled-fuzzy-description-logic/2853 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 4 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: International Journal on Semantic Web and Information Systems, vol. 4 (3) pp. 68 - 89. IGI Publishing, 2008. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Computing Laboratory, University of Oxford, CNR-ISTI, Pisa (literal)
Titolo
  • Tightly coupled fuzzy description logic programs under the answer set semantics for the semantic Web (literal)
Abstract
  • We present a novel approach to fuzzy description logic programs (or simply fuzzy dl-programs) under the answer set semantics, which is a tight integration of fuzzy disjunctive logic programs under the answer set semantics with fuzzy description logics. From a different perspective, it is a generalization of tightly coupled 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 logic programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. We present a polynomial reduction of certain fuzzy dl-programs to tightly coupled disjunctive dl-programs, and we analyze the complexity of consistency checking and query processing for certain fuzzy dl-programs. Furthermore, we provide a special case of fuzzy dl-programs for which deciding consistency and query processing can both be done in polynomial time in the data complexity. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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