Central and East European
Society for Phenomenology

Repository | Series | Book | Chapter

193459

Querying formal contexts with answer set programs

Pascal Hitzler Markus Krötzsch

pp. 260-273

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.

Publication details

Published in:

Hitzler Pascal, Øhrstrøm Peter (2006) Conceptual structures: inspiration and application: 14th international conference on conceptual structures, iccs 2006, aalborg, denmark, july 16-21, 2006. proceedings. Dordrecht, Springer.

Pages: 260-273

DOI: 10.1007/11787181_19

Full citation:

Hitzler Pascal, Krötzsch Markus (2006) „Querying formal contexts with answer set programs“, In: P. Hitzler & P. Øhrstrøm (eds.), Conceptual structures: inspiration and application, Dordrecht, Springer, 260–273.