Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings1124
Abstract Recent studies showed how a seamless integ
Recent studies showed how a seamless integration of formal concept analysis (FCA), logic of domains, and answer set programming (ASP) can be achieved. Based on these results for combining hierarchical knowledge with classical rule-based formalisms, we introduce an expressive common-sense query language for formal contexts. Although this approach is conceptually based on order-theoretic paradigms, we show how it can be implemented on top of standard ASP systems. Advanced features, such as default negation and disjunctive rules, thus become practically available for processing contextual data.
available for processing contextual data.  +
Author Pascal Hitzler + , Markus Krötzsch +
BibTex
@inproceedings{HK2006,
  author    = {Pascal Hitzler and Markus Kr{\"{o}}tzsch},
  title     = {Querying formal contexts with answer set programs},
  editor    = {Henrik Sch{\"{a}}rfe and Pascal Hitzler and Peter Ohrstrom},
  booktitle = {Conceptual Structures: Inspiration and Application, Proceedings
               of the 14th International Conference on Conceptual Structures,
               {ICCS} 2006, Aalborg, Denmark, July 2006},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {4068},
  publisher = {Springer},
  year      = {2006},
  month     = {July},
  pages     = {413-426},
  doi       = {10.1007/11787181_19}
}
Bibtype Inproceedings  +
Booktitle Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006  +
DOI Name 10.1007/11787181_19  +
Editor Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom  +
ErsterAutorNachname Hitzler  +
ErsterAutorVorname Pascal  +
Forschungsgebiet Formale Begriffsanalyse + , Answer Set Programming +
Forschungsgruppe Wissensbasierte Systeme +
Month Juli  +
Pages 413-426  +
Publication text Pascal Hitzler, Markus Krötzsch<br/>
Pascal Hitzler, Markus Krötzsch<br/> '''[[Inproceedings1124|<b>Querying formal contexts with answer set programs</b>]]''' <br/>__NOTOC__In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., <i>Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006</i>, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1124|Details]]
lt;/span> [[Inproceedings1124|Details]]  +
Publication text en Pascal Hitzler, Markus Krötzsch<br/>
Pascal Hitzler, Markus Krötzsch<br/> '''[[Inproceedings1124/en|<b>Querying formal contexts with answer set programs</b>]]''' <br/>__NOTOC__In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., <i>Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006</i>, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1124|Details]]
lt;/span> [[Inproceedings1124|Details]]  +
Publisher Springer  +
Referiert 1  +
Series Lecture Notes in Artificial Intelligence  +
Title Querying formal contexts with answer set programs  +
To appear 0  +
Type inproceedings  +
Volume 4068  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings1124 + , Inproceedings1124 + , Inproceedings1124 + , Inproceedings1124 + , Inproceedings1124 + , Inproceedings1124 +
Kategorien Publikation , Inproceedings , Publications without download
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Mai 2016 16:01:12  +
verstecke Attribute die hierhin verlinken 
Inproceedings1124/en + Weiterleitungsseite
 

 

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