Integration of the Controlled Language ACE to the Amine Platform

This paper presents the integration of the controlled language ACE (Attempto Controlled English) to Amine platform. Since the parser engine of ACE (ACE Parser Engine or APE) generates a DRS structure (Discourse Representation Structure), we have developed a mapping from DRS to CG (DRS2CG) which produces a CG equivalent to the DRS produced by APE. Through this mapping and this integration of ACE into Amine, Amine users can use controlled language to express their knowledge or specifications, instead of having to express them in CG directly.

[1]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[2]  Stuart C. Shapiro.  Review of Knowledge representation: logical, philosophical, and computational foundations by John F. Sowa. Brooks/Cole 2000. , 2001 .

[3]  Fabio Rinaldi,et al.  Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines , 2005, Reasoning Web.

[4]  Adil Kabbaj.  Development of Intelligent Systems and Multi-Agents Systems with Amine Platform , 2006, ICCS.

[5]  Michael Jackman,et al.  Conceptual graphs , 1988 .

[6]  John F. Sowa,et al.  Chapter 5 Conceptual Graphs , 2008 .

[7]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[8]  Pascal Hitzler,et al.  Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings , 2006, ICCS.

[9]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[10]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[11]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[12]  Norbert E. Fuchs,et al.  Controlled natural language can replace first-order logic , 1999, 14th IEEE International Conference on Automated Software Engineering.

[13]  Adil Kabbaj.  An Overview of Amine: An Integrated Development Environment for Symbolic Programming, Intelligent System Programming and Intelligent Agents Programming , 2009 .

[14]  John F. Sowa,et al.  Conceptual Graphs For Representing Conceptual Structures , 2009 .

[15]  Gerold Schneider,et al.  Discourse representation structures for ACE 5 , 2006 .

[16]  Norbert E. Fuchs,et al.  Attempto Controlled English - Not Just Another Logic Specification Language , 1998, LOPSTR.

[17]  Kaarel Kaljurand,et al.  Attempto Controlled English for Knowledge Representation , 2008, Reasoning Web.

[18]  Norbert E. Fuchs,et al.  Attempto - From Specifications in Controlled Natural Language towards Executable Specifications , 1996, ArXiv.