Querying Formal Contexts with Answer Set Programs

  title={Querying Formal Contexts with Answer Set Programs},
  author={Pascal Hitzler and Markus Kr{\"o}tzsch},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 17 references

OWL Web Ontology Language Guide

M. K. Smith, D. L. McGuinness, C. Welty
W3C Recommendation 10 February 2004 • 2004
View 1 Excerpt

Personal communication

C. Damasio
View 1 Excerpt

Resource Description Framework (RDF) Primer

F. Manola, E. Miller
W3C Recommendation 10 February 2004 • 2004
View 1 Excerpt

Bridges between Classical and Nonmonotonic Logic

Logic Journal of the IGPL • 2003
View 1 Excerpt

Similar Papers

Loading similar papers…