Querying formal contexts with answer set programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4068 LNAI, Issue , 2006, Pages 260-273

  Hitzler, Pascal ^a   Krötzsch, Markus ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DATA PROCESSING; HIERARCHICAL SYSTEMS; KNOWLEDGE ENGINEERING; QUERY LANGUAGES;

ANSWER SET PROGRAMMING (ASP); FORMAL CONCEPT ANALYSIS (FCA); FORMAL CONTEXTS; RULE BASED FORMALISMS;

FORMAL LOGIC;

EID: 33746609434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787181_19     Document Type: Conference Paper

References (17)

1. Hitzler, P.: Default reasoning over domains and concept hierarchies. In Biundo, S., Frühwirth, T., Palm, G., eds.: Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004. Volume 3238 of Lecture Notes in Artificial Intelligence., Springer, Berlin (2004) 351-365
2. Rounds, W.C., Zhang, G.Q.: Clausal logic and logic programming in algebraic domains. Information and Computation 171 (2001) 156-182
3. Abramsky, S., Jung, A.: Domain theory. In Abramsky, S., Gabbay, D., Maibaum, T.S., eds.: Handbook of Logic in Computer Science. Volume 3. Clarendon, Oxford (1994)
4. Plotkin, G.: Tw as a universal domain. Journal of Computer and System Sciences 17 (1978) 209-236
5. Fitting, M.: A Kripke-Kleene-semantics for general logic programs. The Journal of Logic Programming 2 (1985) 295-312
6. Ganter, B., Wille, R.: Formal Concept Analysis - Mathematical Foundations. Springer, Berlin (1999)
7. Hitzler, P., Wendt, M.: Formal concept analysis and resolution in algebraic domains. In de Moor, A., Ganter, B., eds.: Using Conceptual Structures - Contributions to ICCS 2003, Shaker Verlag, Aachen (2003) 157-170
8. Makinson, D.: Bridges between classical and nonmonotonic logic. Logic Journal of the IGPL 11 (2003) 69-96
9. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13 (1980) 81-132
10. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9 (1991) 365-385
11. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In Dix, J., Furbach, U., Nerode, A., eds.: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). Volume 1265 of Lecture Notes in Artificial Intelligence., Springer, Berlin (1997)
12. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138 (2002) 181-234
13. Damasio, C.: Personal communication (2004)
14. Eiter, T., lanni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer set programming. In Kaelbling, L.P., Saffiotti, A., eds.: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). (2005)
15. Smith, M.K., McGuinness, D.L., Welty, C.: OWL Web Ontology Language Guide. W3C Recommendation 10 February 2004 (2004) available at http://www.w3.org/TR/owl-guide/.
16. Manola, F., Miller, E.: Resource Description Framework (RDF) Primer. W3C Recommendation 10 February 2004 (2004) available at http://www.w3.org/TR/rdf- primer/.
17. Tane, J.: Using a query-based multicontext for knowledge base browsing. In: Formal Concept Analysis, Third International Conf., ICFCA 2005-Supplementary Volume, Lens, France, IUT de Lens, Universite d'Artois (2005) 62-78