Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability, User Interfaces
نویسندگان
چکیده
We present Attempto Controlled English — a userfriendly 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.
منابع مشابه
Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces
We present Attempto Controlled English — a userfriendly 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. Attempto Controlled English Meets the Challenges of Knowledge Representation, R...
متن کاملCollaborative multilingual knowledge management based on controlled natural language
User interfaces are a critical aspect of semantic knowledge representation systems, as users have to understand and use a formal representation language to model a particular domain of interest, which is known to be a difficult task. Things are even more challenging in a multilingual setting, where users speaking different languages have to create a multilingual ontology. To address these probl...
متن کاملReasoning in Attempto Controlled English
Attempto Controlled English (ACE) – a subset of English that can be unambiguously translated into first-order logic – is a knowledge representation language. To support automatic reasoning in ACE we have developed the Attempto Reasoner RACE (Reasoning in ACE). RACE proves that one ACE text is the logical consequence of another one, and gives a justification for the proof in ACE. Variations of t...
متن کاملA Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors
Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such predictive editors need to be able to “look ahead” in order to show all possible con...
متن کاملAttempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines
Attempto Controlled English (ACE) is a knowledge representation language with an English syntax. Thus ACE can be used by anyone, even without being familiar with formal notations. The Attempto Parsing Engine translates ACE texts into discourse representation structures, a variant of first-order logic. Hence, ACE turns out to be a logic language equivalent to full first-order logic. The two view...
متن کامل