Document Type
Conference Proceeding
Publication Date
7-1-2006
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.
Repository Citation
Hitzler, P.,
& Krotzsch, M.
(2006). Querying Formal Contexts with Answer Set Programs. Lecture Notes in Computer Science, 4068, 260-273.
https://corescholar.libraries.wright.edu/cse/38
DOI
10.1007/11787181_19
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 14th International Conference on Conceptual Structures, Aalborg, Denmark, July 16-21, 2006.
Attached is the unpublished, authors' version of this proceeding. The final, publisher's version of the proceeding can be found at http://dx.doi.org/10.1007/11787181_19.