A logic-based system for application integration

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

Volumn 2401, Issue , 2002, Pages 452-466

  Benkő, Tamás ^a   Krauth, Péter ^a   Szeredi, Péter ^a  

^a IQSOFT Intelligent Software Co Ltd   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MAPPING; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE; SILK; TOOLS;

APPLICATION INTEGRATION; CONCEPTUAL MODEL; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT REASONING; INFORMATION SOURCES; LOGIC BASED SYSTEMS; META INFORMATION; TOOLS AND TECHNIQUES; OBJECT ORIENTED;

COMPUTER CIRCUITS; SILK;

EID: 27144471886     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45619-8_31     Document Type: Article

References (22)

1. L. Badea and D. T ilivea. Query Planning for Intelligent Information Integration using Constraint Handling Rules, 2001. IJCAI-2001 Workshop on Modeling and Solving Problems with Constraints.
2. BoldSoft. Bold Architecture: Object Constraint Language. http://www.boldsoft.com/products/bold/ocl.html.
3. D. Cabeza and M. Hermenegildo. WWW Programming using Computational Logic Systems. April 1997. Workshop on Logic Programming and the WWW.
4. R. G. G. Cattell and D. K. Barry, editors. The Object Database Standard: ODMG 2.0. Morgan Kaufmann, 1997.
5. A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi. A Language for Programming in Logic with Finite Sets. Journal of Logic Programming, 28(1):1-44, 1996.
6. D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. C. A. Klein. OIL in a Nutshell. In Knowledge Acquisition, Modeling and Management, pages 1-16, 2000.
7. E. Franconi. ICOM A Tool for Intelligent Conceptual Modelling. http://www.cs.man.ac.uk/franconi/icom/.
8. T. Fruehwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Journal of Logic Programming, volume 37(1-3), pages 95-138, October 1998.
9. A. Hamie, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Proceedings 5th Asia Pacific Software Engineering Conference. IEEE Computer Society, December 1998.
10. I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, and E. Motta. OIL: The Ontology Inference Layer. Technical Report IR-479, Vrije Universiteit Amsterdam, Faculty of Sciences, September 2000.
11. http://www.ontoknowledge.org/oil/.
12. IBROW Project. An Itelligent Brokering Service for Knowledge-Component Reuse on the World Wide Web, 1999. http://kmi.open.ac.uk/projects/ibrow/.
13. J. Jaffar and S. Michaylov. Methodology and Implementation of a CLP system. In J.L. Lassez, editor, Logic Programming - Proceedings of the 4th International Conference, volume 1. MIT Press, Cambridge, MA, 1987.
14. E. Mena, A. Illarramendi, V. Kashyap, and A. P. Sheth. Observer: An approach for query processing in global information systems based on interoperation across pre-existing ontologies, 1998.
15. Microelectronics and Computer Technology Corporation. InfoSleuth: Agent- Based Semantic Integration of Information in Open and Dynamic Environments, 1997.
16. Object Management Group. The Common Object Request Broker: Architecture and Specification, Revision 2, July 1995.
17. M. A. Olson, K. Bostic, and M. Seltzer. In 1999 USENIX Annual Technical Conference, pages 183-192, June 1999.
18. OMG. Unified Modeling Language Specification, 1999.
19. On-To-Knowledge Project. Tools for content-driven knowledge management through evolving ontologies, June 2000. http://www.ontoknowledge.org/.
20. P. VanRoy. A Useful Extension to Prolog's Definite Clause Grammar Notation. ACM SIGPLAN Notices, 24(11):132-134, November 1989.
21. SICS. SICStus Prolog Manual, April 2001.
22. University of Southern California. SIMS. http://www.isi.edu/sims/sims- homepage.html.