Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces

We present Attempto Controlled English — a user- friendly first-order logic language with a rich English syntax — and its associated tools, and demonstrate how they meet the challenges of knowledge representation, reasoning, interoperability and user interfaces created by large software projects like the semantic web.

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

[2]  Gerold Schneider,et al.  Extended discourse representation structures in attempto controlled English , 2006 .

[3]  Abraham Bernstein,et al.  Querying Ontologies: A Controlled English Interface for End-Users , 2005, SEMWEB.

[4]  Peter Clark,et al.  Acquiring and Using World Knowledge Using a Restricted Subset of English , 2005, FLAIRS Conference.

[5]  Abraham Bernstein,et al.  Talking to the Semantic Web - A Controlled English Query Interface for Ontologies* , 2004 .

[6]  U Schwertel,et al.  Plural semantics for natural language understanding — a computational proof-theoretic approach , 2005 .

[7]  Norbert E. Fuchs,et al.  A Natural Language Front-End to Model Generation , 1999 .

[8]  Rolf Schwitter.  Kontrolliertes Englisch für Anforderungsspezifikationen , 1998 .

[9]  Norbert E. Fuchs,et al.  Reasoning in Attempto Controlled English , 2003, PPSWR.

[10]  Benjamin N. Grosof.  DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications , 1999, AAAI/IAAI.

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

[12]  Jerry R. Hobbs.  Ontological Promiscuity , 1985, ACL.

[13]  Rens Bod.  What is the Minimal Set of Fragments that Achieves Maximal Parse Accuracy? , 2001, ACL.

[14]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[15]  François Bry,et al.  SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.

[16]  Norbert E. Fuchs,et al.  Attempto Controlled English (ACE) , 1996, ArXiv.

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

[18]  Michael Collins,et al.  Head-Driven Statistical Models for Natural Language Parsing , 2003, CL.

[19]  Abraham Bernstein.  Interpreting Courteous Logic Programs , 2005 .