Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Article786
Abstract Formal concept analysis has grown from a n
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.
gic, topology, domains and lattice theory.  +
Author Pascal Hitzler + , Markus Krötzsch + , Guo-Qiang Zhang +
BibTex
@article{HKZ2006,
  author  = {Pascal Hitzler and Markus Kr{\"{o}}tzsch and Guo-Qiang Zhang},
  title   = {A categorical view on algebraic lattices in formal concept analysis},
  journal = {Fundamenta Informaticae},
  volume  = {74},
  number  = {2-3},
  year    = {2006},
  month   = {July},
  pages   = {301-328}
}
Bibtype Article  +
Download HitzlerKroetzschZhang-Algebraic-Lattices-FCA-2004.pdf  +
ErsterAutorNachname Hitzler  +
ErsterAutorVorname Pascal  +
Forschungsgebiet Formale Begriffsanalyse +
Forschungsgruppe Wissensbasierte Systeme +
Journal Fundamenta Informaticae  +
Month Juli  +
Num 2-3  +
Pages 301-328  +
Publication text Pascal Hitzler, Markus Krötzsch, Guo-Qiang
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang<br/> '''[[Article786|A categorical view on algebraic lattices in formal concept analysis]]''' <br/>__NOTOC__Fundamenta Informaticae, 74(2-3):301-328, July 2006<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article786|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:HitzlerKroetzschZhang-Algebraic-Lattices-FCA-2004.pdf|Download]]
Algebraic-Lattices-FCA-2004.pdf|Download]]  +
Publication text en Pascal Hitzler, Markus Krötzsch, Guo-Qiang
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang<br/> '''[[Article786/en|A categorical view on algebraic lattices in formal concept analysis]]''' <br/>__NOTOC__Fundamenta Informaticae, 74(2-3):301-328, July 2006<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article786|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:HitzlerKroetzschZhang-Algebraic-Lattices-FCA-2004.pdf|Download]]
Algebraic-Lattices-FCA-2004.pdf|Download]]  +
Referiert 1  +
Title A categorical view on algebraic lattices in formal concept analysis  +
To appear 0  +
Type article  +
Volume 74  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Article786 + , Article786 + , Article786 + , Article786 + , Article786 + , Article786 + , Article786 +
Kategorien Publikation , Article
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Mai 2016 16:01:21  +
verstecke Attribute die hierhin verlinken 
Article786/en + Weiterleitungsseite
 

 

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