ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2007. Vol. 1

Logic programing in knowledge domains

A. V. Mantsivoda, V. A. Lipovchenko, A. A. Malykh

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 NCC calculus that handles description terms is developed as an underlying inference system for propagation. On the basis of this formalism, a constraint logic programming language integrating both LP and KR approaches is designed.

logic programing, description logics, description term, constraint logic programing, naming constraints calculus.

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, 2003.

2. T. Berners-Lee, J. Hendler, O. Lassila. The Semantic Web. Scientific American, May, 2001.

3. Boley, H., Tabet, S., Wagner, G. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In Proc. Semantic Web Working Symposium (SWWS’01), 381–401. Stanford University, July/August 2001.

4. S.S. Goncharov, Yu.L.Ershov, D.I.Sviridenko. Semantic programming, Information processing, Proc. IFIP 10-th World Comput. Congress, Dublin, v.10, 1986, 1093-1100.

5. Grosof, B.N., Horrocks, I., Volz, R. Description Logic Programs: Combining Logic Programs with Description Logic. Proc. of the Twelfth International World Wide Web, May 2003, ACM, 48–57.

6. V. Haarslev and R. Moeller. RACER System Description. In Proc. of IJCAR’2001, Lecture Notes in AI, 2083, 701–705, Springer, 2001.

7. I. Horrocks. Using an expressive description logic: FaCT or fiction? In A. G. Cohn, L. Schubert, and S. C. Shapiro, eds, Proceedings of KR’98, 636–647. Morgan Kaufmann Publishers, 1998.

8. I. Horrocks, B. Parsia, P. Patel-Schneider, and J. Hendler. Semantic web architecture: Stack or two towers? Principles and Practice of Semantic Web Reasoning (PPSWR 2005), Lecture Notes in Computer Science, 3703, 37-41, Springer, 2005.

9. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, eds., Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99), 1705, Lecture Notes in Artificial Intelligence, 161–180. Springer-Verlag, 1999.

10. M. Kifer, J. de Bruijn, H. Boley, D. Fensel. A Realistic Architecture for the Semantic Web. Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Lecture Notes in Computer Science, 3791, 17–29, Springer, 2005.

11. A.V. Mantsivoda. Semantic programming for semantic web. Invited Talk. Proc. 9th Asian Logic Conference, August 2005, 17-21.

12. A Riazanov and A. Voronkov. The Design and Implementation of Vampire. AI Communications, 15(2-3):91–110, 2002.

13. A. Robinson and A. Voronkov, editors. Handbook of Automated Reasoning. Elsevier, 2001.

14. D. Tsarkov, A. Riazanov, S. Bechhofer, and I. Horrocks. Using Vampire to reason with OWL. In S. A. McIlraith, D. Plexousakis, and F. van Harmelen, editors, Proc. of the 2004 International Semantic Web Conference (ISWC 2004), 3298, Lecture Notes in Computer Science, 471–485. Springer, 2004.

Full text (english)