Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub714
Abstract Fuzzy description logics can be used to mo
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI, we provide upper complexity bounds that match the complexity of crisp reasoning.
t match the complexity of crisp reasoning.  +
Archivierungsnummer 12-04  +
Author Stefan Borgwardt + , Rafael Peñaloza Nyssen +
BibTex
@techreport{ BoPe-LTCS-12-04,
  address = {Dresden, Germany},
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {12-04},
  title = {Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices},
  type = {LTCS-Report},
  year = {2012},
}
Bibtype Techreport  +
Download BoPe-LTCS-12-04.pdf  +
ErsterAutorNachname Borgwardt  +
ErsterAutorVorname Stefan  +
Forschungsgruppe Automatentheorie +
Institution Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden  +
Note See http://lat.inf.tu-dresden.de/research/reports.html.  +
Publication text Stefan Borgwardt, Rafael Peñaloza<br /&
Stefan Borgwardt, Rafael Peñaloza<br /> '''[[LATPub714|Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden'', volume 12-04, 2012. ''LTCS-Report''<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub714|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BoPe-LTCS-12-04.pdf|Download]]
gt; [[Media:BoPe-LTCS-12-04.pdf|Download]]  +
Publication text en Stefan Borgwardt, Rafael Peñaloza<br /&
Stefan Borgwardt, Rafael Peñaloza<br /> '''[[LATPub714/en|Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden'', volume 12-04, 2012. ''LTCS-Report''<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub714|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BoPe-LTCS-12-04.pdf|Download]]
gt; [[Media:BoPe-LTCS-12-04.pdf|Download]]  +
Reviewed 0  +
Title Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices  +
Typ LTCS-Report  +
Type techreport  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub714 + , LATPub714 + , LATPub714 + , LATPub714 + , LATPub714 + , LATPub714 +
Kategorien Techreport , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:10  +
verstecke Attribute die hierhin verlinken 
LATPub714/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.