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

No abstract is available for this paper.

• Publication year

  2006

• Venue

  The Florida AI Research Society

• Publication date

  2006-05-13

• Fields of study

  Linguistics, Computer Science

• Identifiers
  DOI 10.5167/UZH-33148
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Extended discourse representation structures in attempto controlled English

  2006influential reference
• Plural semantics for natural language understanding — a computational proof-theoretic approach

  2005cited by this paper
• Querying Ontologies: A Controlled English Interface for End-Users

  2005cited by this paper
• Acquiring and Using World Knowledge Using a Restricted Subset of English

  2005cited by this paper
• Interpreting Courteous Logic Programs

  2005influential reference
• Talking to the Semantic Web - A Controlled English Query Interface for Ontologies*

  2004cited by this paper
• Head-Driven Statistical Models for Natural Language Parsing

  2003cited by this paper
• What is the Minimal Set of Fragments that Achieves Maximal Parse Accuracy?

  2001cited by this paper
• Knowledge representation: logical, philosophical, and computational foundations

  2000cited by this paper
• Compiling Prioritized Default Rules into Ordinary Logic Programs

  1999cited by this paper
• A Natural Language Front-End to Model Generation

  1999influential reference
• Attempto Controlled English (ACE)Language ManualVersion 3.0

  1999influential reference
• Attempto Controlled English - Not Just Another Logic Specification Language

  1998cited by this paper
• Kontrolliertes Englisch für Anforderungsspezifikationen

  1998cited by this paper
• Attempto controlled english

  1996influential reference
• From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

  1993cited by this paper
• From Discourse to Logic

  1991cited by this paper
• SATCHMO: A Theorem Prover Implemented in Prolog

  1988cited by this paper
• Ontological Promiscuity

  1985cited by this paper

• Toward an Ontology-Based Framework for Textual System Requirements Extraction and Analysis

  2025cites this paper
• On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice

  2024cites this paper
• CAL2OWL: Direct Translation from CAL to OWL for Ontology Authoring

  2022cites this paper
• Natural Language Processing of Specifications for a Prototypical Avionic System to Generate System Design: A Case Study

  2022influential citation
• Combining object-oriented paradigm and controlled natural language for requirements specification

  2021cites this paper
• Probing the Natural Language Inference Task with Automated Reasoning Tools

  2020cites this paper
• Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems

  2020cites this paper
• Alexa, How Can I Reason with Prolog?

  2019cites this paper
• 8th Symposium on Languages, Applications and Technologies, SLATE 2019, Coimbra, Portugal, June 27-28, 2019

  2019cites this paper
• Afanasyev : A collaborative architectural model for automatic story generation

  2018cites this paper
• Cresus-T: A Collaborative Requirements Elicitation Support Tool

  2018cites this paper
• Concept-Level Rules for Capturing Domain Knowledge

  2018cites this paper
• Conception d’un système avancé de réacteur PWR flexible par les apports conjoints de l’ingénierie système et de l’automatique

  2018cites this paper
• A novel semantic representation for eligibility criteria in clinical trials

  2017cites this paper
• Online Reasoning for Semantic Error Detection in Text

  2017cites this paper
• A framework for modelling and utilization of users' feedback for software systems evolution

  2017cites this paper
• Augmented human mind: case of reasoning

  2017influential citation
• Human reasoning and description logics: applying psychological theory to understand and improve the usability of description logics

  2017cites this paper
• Reasoning for Semantic Error Detection in Text

  2017cites this paper
• Derivation of Event-B Models from OWL Ontologies

  2016cites this paper
• Desiree: a Refinement Calculus for Requirements Problems

  2016cites this paper
• Formalisation automatique et sémantique de règles métiers

  2016cites this paper
• Healthcare Computer Reasoning Addressing Chronically Ill Societies Using IoT

  2016cites this paper
• Clinical Practice Ontology Automatic Learning from SOAP Reports

  2016cites this paper
• Desiree - a Refinement Calculus for Requirements Engineering

  2016influential citation
• Mit Maximum-Entropie das Parsing natürlicher Sprache erlernen

  2016influential citation
• Easy approach to requirements syntax ( EARS ) Conference

  2016cites this paper
• Requirements Authoring and Verification for SMEs’ Information Systems Engineering

  2015cites this paper
• Human Tutorial Instruction in the Raw

  2015cites this paper
• Extended Clinical Discourse Representation Structure for Controlled Natural Language Clinical Decision Support Systems

  2015cites this paper
• Collaborative human-machine analysis using a controlled natural language

  2015cites this paper
• Polysemy in Controlled Natural Language Texts

  2015cites this paper
• Designing Efficient Controlled Languages for Ontologies

  2014influential citation
• Controlled Natural Languages for language generation in artificial cognition

  2014cites this paper
• How Easy Is It to Learn a Controlled Natural Language for Building a Knowledge Base?

  2014cites this paper
• Parsing of Natural Language Requirements Iv Abstract Parsing of Natural Language Requirements

  2014cites this paper
• Using RuleML for Representing and Prolog for Simulating Fuzzy Cognitive Maps

  2014cites this paper
• SQUALL: The expressiveness of SPARQL 1.1 made available as a controlled natural language

  2014cites this paper
• Reconciling Expressivity and Usability in Information Access : from File Systems to the Semantic Web

  2014cites this paper
• Ontology Driven Controlled Natural Language Clinical Decision Support System for the Cardiovascular Specialty

  2014cites this paper
• Reconciling Expressivity and Usability in Information Access

  2014cites this paper
• SQUALL: the expressiveness of SPARQL 1.1 made available as a controlled natural language 1

  2014cites this paper
• CENTERIS 2014-Conference on ENTERprise Information Systems / ProjMAN 2014-International Conference on Project MANagement / HCIST 2014-International Conference on Health and Social Care Information Systems and Technologies Ontology driven controlled natural language clinical decision support system f

  2014cites this paper
• Toward a Unified English-like Representation of Semantic Models, Data, and Graph Patterns for subject Matter Experts

  2013influential citation
• Parsing of Natural Language Requirements

  2013cites this paper
• Model outlines: A visual language for DL concept descriptions

  2013cites this paper
• SEMDIAL 2013 : DialDam : Proceedings of the 17th Workshop on the Semantics and Pragmatics of Dialogue : Amsterdam, 16-18 December 2013

  2013influential citation
• RuleML representation and simulation of Fuzzy Cognitive Maps

  2013influential citation
• squall2sparql: a Translator from Controlled English to Full SPARQL 1.1

  2013cites this paper
• SQUALL: A Controlled Natural Language as Expressive as SPARQL 1.1

  2013cites this paper
• Towards Structural Natural Language Formalization: Mapping Discourse to Controlled Natural Language

  2013cites this paper
• Mapping Natural Language Questions to SPARQL Queries for Job Search

  2013cites this paper
• E-assessment of free-text answers based on domain specific sublanguages and knowledge representation

  2013cites this paper
• A review of argumentation for the Social Semantic Web

  2013cites this paper
• Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder

  2012influential citation
• Dealing with Semantic Heterogeneity in Classifications

  2012cites this paper
• Controlled Syntax for Thai Software Requirements Specification

  2012cites this paper
• Domains and context: First steps towards managing diversity in knowledge

  2012cites this paper
• Semantic Search over the Web

  2012influential citation
• Keyword-Based Search over Semantic Data

  2012cites this paper
• Building better guidelines with BRIDGE-Wiz: development and evaluation of a software assistant to promote clarity, transparency, and implementability

  2012cites this paper
• A Knowledge Representation Language for Natural Language Processing, Simulation and Reasoning

  2012cites this paper
• SQUALL: A Controlled Natural Language for Querying and Updating RDF Graphs

  2012cites this paper
• Semantic Wikis: Approaches, Applications, and Perspectives

  2012influential citation
• When FrameNet meets a Controlled Natural Language

  2011cites this paper
• Principles of the SymposiumPlanner Instantiations of Rule Responder

  2011cites this paper
• Querying the Fragments of English

  2011influential citation
• SymposiumPlanner-2011: Querying Two Virtual Organization Committees

  2011cites this paper
• Improving the quality of rule-based applications using the declarative verification approach

  2011cites this paper
• Chapter 1 KeywordBased KeywordBased KeywordBased Search over Semantic Data

  2011cites this paper
• Faculty of Computer Science University of New Brunswick Thesis Proposal for MCS Degree Program Design and Implementation of a Distributed Query System Supporting Symposium Organization Committees By

  2011cites this paper
• Model Outlines : a Visual Language for DL Concept Descriptions 1

  2011cites this paper
• Ontologies and the Semantic Web

  2011cites this paper
• Invited Paper: When FrameNet meets a Controlled Natural Language

  2011cites this paper
• Adv-EARS: A Formal Requirements Syntax for Derivation of Use Case Models

  2011cites this paper
• 13 Ontologies and the Semantic Web

  2011cites this paper
• SQUALL: a High-Level Language for Querying and Updating the Semantic Web

  2011cites this paper
• The ucsCNL: A Controlled Natural Language for Use Case Specifications

  2011cites this paper
• Word Order Based Analysis of Given and New Information in Controlled Synthetic Languages

  2010influential citation
• LIGHTWEIGHT PARSING OF CLASSIFICATIONS

  2010cites this paper
• Verbalizing Ontologies in Controlled Baltic Languages

  2010cites this paper
• Understanding Natural Language Metadata

  2010cites this paper
• Descriptive Phrases: Understanding Natural Language Metadata

  2010cites this paper
• Rule Markup Languages and Semantic Web Rule Languages

  2010cites this paper
• Lightweight Parsing of Classifications into Lightweight Ontologies

  2010cites this paper
• Usability of a Visual Language for DL Concept Descriptions

  2010cites this paper
• Hybrid Long-Distance Functional Dependency Parsing

  2009cites this paper
• Scaffolding Instructions to Learn Procedures from Users

  2009cites this paper
• Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures

  2009cites this paper
• Easy Approach to Requirements Syntax (EARS)

  2009cites this paper
• EARS (Easy Approach to Requirements Syntax)

  2009cites this paper
• From rhetorical structures to document structure: shallow pragmatic analysis for document engineering

  2009cites this paper
• Controlled English Ontology-Based Data Access

  2009influential citation
• Easy Approach to Requirements Syntax (EARS)

  2009cites this paper
• Towards a Framework for Policy-Oriented Enterprise Management

  2008cites this paper
• Equivalence of Aggregate Queries with Incomplete Information and Dependencies

  2008cites this paper
• AceWiki: Collaborative Ontology Management in Controlled Natural Language

  2008cites this paper
• A Comparison of three Controlled Natural Languages for OWL 1.1

  2008cites this paper
• Visualizing the semantics (not the syntax) of concept descriptions

  2008influential citation
• Rule responder HCLS eScience infrastructure

  2008cites this paper