Querying formal contexts with answer set programs

From International Center for Computational Logic

Toggle side column

Querying formal contexts with answer set programs

Pascal HitzlerPascal Hitzler,  Markus KrötzschMarkus Krötzsch
Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
The final publication is available at Springer via http://dx.doi.org/10.1007/11787181_19.
@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}
}