|
Vol: 47(61) No: 2 / June 2002 Portable Ontology Query Language (POQL) Tudor Muresan Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania, e-mail: tmuresan@cs.utcluj.ro Rodica Potolea Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania, e-mail: potolea@cs.utcluj.ro Alin Suciu Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania, e-mail: alin@cs.utcluj.ro Emilia Cimpian Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania, e-mail: cemilia@asterix.obs.utcluj.ro Adrian Mocan Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania, e-mail: madrian@asterix.obs.utcluj.ro Radu Popovici Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania, e-mail: pandrei@asterix.obs.utcluj.ro Horatiu Tarcea Computer Science Department, Technical University of Cluj-Napoca, 24 Baritiu Street, Cluj-Napoca, Romania Keywords: logical query language, knowledge base space searching, portable ontology, implementation Abstract This paper presents the definition and implementation of a query language for reusable knowledge bases, which uses the Prolog logical form. The advantage is, along with the complexity and flexibility of the allowed questions, the fact that it constitutes a theoretical interface with user friendly querying systems, i.e. Natural Language Interfaces (NLI). Also, it makes use of the Prolog solving mechanism for an extensive search in the solution space, providing the framework for the development of theories for automated merging and alignment of existing ontologies. The current implementation represents a prototype of POQL. References [1] H. Eriksson, R. W. Fergerson, Y. Shahar, & M. A. Musen. (1999). Automatic Generation of Ontology Editors. Twelfth Banff Knowledge Acquisition for Knowledge-based systems Workshop, Banff, Alberta, Canada [2] H. G. Molina, Y. Papakonstantinou, D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, V. Vassalos, & J. Widom (1997). The TSIMMIS approach to mediation: Data models and Languages. Journal of Intelligent Information Systems. [3] T Muresan, R. Potolea, S. Muresan, (1998), Amalgamating CCP with Prolog, Scientific Journal of Technical University Timisoara, Vol.43,57, no.4, 1998, Special Issue Dedicated to Third International Conference on Technical Informatics, CONTI’98, Romania, pag.47 - 58 [4] M. A. Musen, R. W. Fergerson, W. E. Grosso, N. F. Noy, M. Crubezy, & J. H. Gennari. (2000). Component-Based Support for Building Knowledge-Acquisition Systems. Conference on Intelligent Information Processing (IIP 2000) of the International Federation for Information Processing World Computer Congress (WCC 2000), Beijing, 2000. [5] N. F. Noy, R. W. Fergerson, & M. A. Musen. (2000). The knowledge model of Protege-2000: Combining interoperability and flexibility. 2th International Conference on Knowledge Engineering and Knowledge Management (EKAW\'2000), Juan-les-Pins, France [6] Chaudhri, V.K., Farquhar, A., Fikes, R., Karp, P. D. and Rice, J. P. (1998), OKBC: A Programmatic Foundation for Knowledge Base Interoperability. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI – 98), Madison, Wisconsin, AAAI Press [7] N. F. Noy, M. A. Musen. An Algorithm for Merging and Aligning Ontologies: Automation and Tool Support. Sixteenth National Conference on Artificial Intelligence (AAAI-99), Workshop on Ontology Management, Orlando, FL, 1999. [8] Gruber, T.R. (1991). A translation approach to portable ontology specifications. Knowledge Acquisition, 5, 199-220. [9] W. Grosso, H. Eriksson, R. Fergerson, J. Gennari, S. Tu and M. Musen. Knowledge Modeling at the Millenium (The Design and Evolution of Protégé-2000), Stanford University. [10] N. F. Noy, M. A. Musen Anchor-PROMPT: Using Non-Local Context for Semantic Matching In the Proceedings of the Workshop on Ontologies and Information Sharing at the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-2001), Seattle, WA, August 2001. [11] T Janssen. Compositionality. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language,and Linguistics, pages 417-473. Elsevier Science, 1997. [12] V.A. Saraswat, Concurrent Constraint Programming 1993, MIT Press, ACM Doctoral Dissertation Award and Logic Programming Series. [13] E. Campean, A. Mocan, R. Popovici, T. Horatiu. 2002. KBQL: A Query Language for Protégé Based Ontologie, International Conference on Automation, Quality and Testing, Robotics, Cluj-Napoca, Romania . |