Querying Formal Contexts with Answer Set Programs

From korrekt.org


Pascal Hitzler, Markus Krötzsch

Querying Formal Contexts with Answer Set Programs



Abstract. 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.

Published at ICCS2006 (Conference paper)

Download PDF (last update: July 1 2006)

Citation details

  • Pascal Hitzler, Markus Krötzsch. Querying Formal Contexts with Answer Set Programs. In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds.: Proceedings of the 14th International Conference on Conceptual Structures (ICCS-06), pp. 413–426. SpringerProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2006.

Topics

Formal Concept Analysis, Rule languages