Logic programming and concept hierarchies
From ONTOLORE
Concept hierarchies are the most basic form of knowledge representation used on the semantic web. Our work strongly relates conceptual knowledge to logic programming in the form of Answer Set Programming.
References
- Pascal Hitzler, Markus Krötzsch, Querying formal contexts with answer set programs. In: H. Schärfe, P. Hitzler and P. Øhrstrøm, Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006. Lecture Notes in Computer Science 4068, Springer, 2006, 260-273.
- up: Rules
- up: Commonsense reasoning
- up: Logic and Lattices
- see also: Logic and Formal Concept Analysis
