Abstract
We propose an approach to combining logic programming and knowledge representation paradigms. This approach is based on the conception of description terms. LP and KR are integrated in such a way that their underlying logics are carefully separated. A core idea here is to push the KR techniques on the functional level. On the LP level the knowledge base is considered as a constraint store, in which special propagation methods are ruling. A constraint logic programming language based on this idea is outlined.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
Grosof, B.N., Horrocks, I., Volz, R.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. of the Twelfth International World Wide Web, pp. 48–57. ACM, New York (2003)
Mantsivoda, A.V.: Semantic programming for semantic web. In: Proc. 9th Asian Logic Conference, pp. 17–21 (August 2005) (Invited Talk)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mantsivoda, A., Lipovchenko, V., Malykh, A. (2006). Logic Programming in Knowledge Domains. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_44
Download citation
DOI: https://doi.org/10.1007/11799573_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)