Default Reasoning in a Terminological Logic (Articolo in rivista)

Type
Label
  • Default Reasoning in a Terminological Logic (Articolo in rivista) (literal)
Anno
  • 1995-01-01T00:00:00+01:00 (literal)
Alternative label
  • Sebastiani, Fabrizio; Straccia, Umberto (1995)
    Default Reasoning in a Terminological Logic
    in Computers and artificial intelligence
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Sebastiani, Fabrizio; Straccia, Umberto (literal)
Pagina inizio
  • 225 (literal)
Pagina fine
  • 251 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.cai.sk/ojs/index.php/cai/article/view/228 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 14 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 13 (literal)
Note
  • DBLP (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Default Reasoning in a Terminological Logic (literal)
Abstract
  • Terminological Logics (TLs) are knowledge representation formalisms of considerable applicative interest, as they are speci cally oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. Although the eld of TLs has lately been an active area of investigation, only few researchers have addressed the problem of extending these logics with the ability to perform default reasoning. Such extensions would prove of paramount applicative value, as many application domains may be formalized by means of monotonic TLs only at the price of oversimpli cation. In this paper we show howwe can e ectively integrate terminological reasoning and default reasoning, yielding a terminological default logic. The kind of default reasoning we embed in our TL is reminiscent of Reiter's Default Logic, but overcomes some of its drawbacks by subscribing to the implicit \" handling of exceptions typical of the Multiple Inheritance Networks with Exceptions proposed by Touretzky and others (literal)
Prodotto di
Autore CNR

Incoming links:


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