Filters








120 Hits in 4.7 sec

Attempto - From Specifications in Controlled Natural Language towards Executable Specifications [article]

Rolf Schwitter, Norbert E. Fuchs, (Department of Computer Science, University of Zurich)
1996 arXiv   pre-print
To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic.  ...  The specification language Attempto Controlled English (ACE) is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage  ...  In this paper we introduce controlled natural language -concretely Attempto Controlled English (ACE) -as a textual view for writing functional requirements specifications.  ... 
arXiv:cmp-lg/9603004v1 fatcat:lc2knd76xndezbnkbsnkq7exi4

Controlled Natural Languages for language generation in artificial cognition

Nicholas H. Kirk, Daniel Nyga, Michael Beetz
2014 2014 IEEE International Conference on Robotics and Automation (ICRA)  
While arguing the lack of preexisting robot to human linguistic interaction methods, we introduce a novel use of Controlled Natural Languages (CNL) as means of output language and sentence construction  ...  We additionally provide implemented working scenarios, state future possibilities and problems related to verbalization of technical cognition when making use of Controlled Natural Languages.  ...  [9] presented Attempto Controlled English (ACE), a general purpose Controlled Natural Language (CNL), i.e. a subset of standard English with restricted lexicon, syntax and semantics, formally described  ... 
doi:10.1109/icra.2014.6907843 dblp:conf/icra/KirkNB14 fatcat:ywz6yrxnabd3rbwuecslqluyei

Querying Ontologies: A Controlled English Interface for End-Users [chapter]

Abraham Bernstein, Esther Kaufmann, Anne Göhring, Christoph Kiefer
2005 Lecture Notes in Computer Science  
The interface allows formulating queries in Attempto Controlled English (ACE), a subset of natural English.  ...  We address this problem by presenting a natural language interface to semantic web querying.  ...  Acknowledgements The authors would like to thank Norbert Fuchs and his Attempto team for providing APE, the MIT Process Handbook project for making available the data on which the evaluation is based,  ... 
doi:10.1007/11574620_11 fatcat:sxe77s2gjbdtnjv2uyivmvijwy

Controlled English for Reasoning on the Semantic Web [chapter]

Juri Luca De Coi, Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn
2009 Lecture Notes in Computer Science  
We argue that controlled natural languages like Attempto Controlled English (ACE) can solve this problem.  ...  We conclude that controlled natural languages can make the Semantic Web better understandable and more usable.  ...  Controlled Natural Languages: State of the Art Besides Attempto Controlled English (ACE) that we will describe in detail in the next section, there are several other modern controlled natural languages  ... 
doi:10.1007/978-3-642-04581-3_6 fatcat:jdo7iymgzbc4vpf5qulje7wtvy

Towards Formal Expression of Business Rules Written in Polish [chapter]

Bogumiła Hnatkowska, Anna Błasiak
2012 Lecture Notes in Business Information Processing  
The paper presents existing methods and tools that support business rules written in English, and the roadmap to adapt them to Polish language.  ...  They should be defined in an unambiguous, understandable way, especially when they are going to be implemented in a software system.  ...  ACE Attempto Controlled English (ACE) is a controlled language elaborated at University of Zurich [7, 8] .  ... 
doi:10.1007/978-3-642-31069-0_38 fatcat:abmb3xohezb3zip6qdxylezl34

Rule responder HCLS eScience infrastructure

Adrian Paschke
2008 Proceedings of the 3rd International Conference on the Pragmatic Web Innovating the Interactive Society - ICPW '08  
Rule Responder HCLS is about providing information consumers with rule-based agents to transform existing information into relevant information of practical consequences, hence providing control to the  ...  The aim of this article is to evolve a flexible and expandable distributed Pragmatic Web eScience infrastructure in the domain of Health Care and Life Science (HCLS), called Rule Responder HCLS.  ...  Queries to Rule Responder are formulated in Attempto controlled natural language.  ... 
doi:10.1145/1479190.1479199 dblp:conf/icpw/Paschke08 fatcat:qs66putsofamrmfvhjhfplcjea

Principles of the SymposiumPlanner Instantiations of Rule Responder [chapter]

Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley
2011 Lecture Notes in Computer Science  
people interested in the symposium.  ...  SymposiumPlanner is a series of Rule Responder use cases for supporting the RuleML Symposia (2007-2011) by coordinating personal agents that assist the symposium chairs, intelligently answering questions from  ...  The new Rule Responder web interface allows users to issue formal queries via web forms and in controlled natural language.  ... 
doi:10.1007/978-3-642-24908-2_15 fatcat:d5diems3gvb6dmaseyzhsuhklq

General Architecture of a Controlled Natural Language Based Multilingual Semantic Wiki [chapter]

Kaarel Kaljurand
2012 Lecture Notes in Computer Science  
In this paper we propose the components, the general architecture and application areas for a controlled natural language based multilingual semantic wiki.  ...  We also describe a preliminary implementation of such a system based on the existing technologies of Grammatical Framework, Attempto Controlled English, and AceWiki.  ...  A controlled natural language (CNL) is a subset of a natural language, where the subset has a precisely defined syntax, its sentences have a formal (executable) meaning, and it is accompanied by end-user  ... 
doi:10.1007/978-3-642-32612-7_8 fatcat:jjlkl3txljhrhpq5bxnnumsdxe

RoundTrip Ontology Authoring [chapter]

Brian Davis, Ahmad Ali Iqbal, Adam Funk, Valentin Tablan, Kalina Bontcheva, Hamish Cunningham, Siegfried Handschuh
2008 Lecture Notes in Computer Science  
The reversal of this process involves text generation of the CLOnE language from an existing ontology using Natural Language Generation (NLG), specifically template based/shallow NLG.  ...  However despite the benefits of CLs, users are still required to learn the correct syntactic structures in order to use the Controlled Language properly.  ...  Related work "Controlled Natural Languages (CL)s are subsets of natural language whose grammars and dictionaries have been restricted in order to reduce or eliminate both ambiguity and complexity.  ... 
doi:10.1007/978-3-540-88564-1_4 fatcat:uztakpagx5hr5dectpjmyee3l4

Using Natural Language Policies for Privacy Control in Social Platforms

Juri Luca De Coi, Philipp Kärger, Daniel Olmedilla, Sergej Zerr
2009 Extended Semantic Web Conference  
natural language policies.  ...  In order to allow common users to define policies about the data to be shared, we introduce natural language policies.  ...  The ACE controlled natural language In our approach we use Attempto Controlled English (ACE [15] ).  ... 
dblp:conf/esws/CoiKOZ09 fatcat:g65i2k2wkzgtvegyvaodxli4ua

Semantic Web Policies – A Discussion of Requirements and Research Issues [chapter]

P. A. Bonatti, C. Duma, N. Fuchs, W. Nejdl, D. Olmedilla, J. Peer, N. Shahmehri
2006 Lecture Notes in Computer Science  
There has been extensive research in the area, including the Semantic Web community, but several aspects still exist that prevent policy frameworks from widespread adoption and real world application.  ...  Policies are pervasive in web applications. They play crucial roles in enhancing security, privacy and usability of distributed services.  ...  -Make the policy specification language more friendly by e.g. developing a controlled natural language front-end to translate natural language text into executable rules (see next section).  ... 
doi:10.1007/11762256_51 fatcat:sxetgyfgfzfvnftbgrivj5h52i

Steps towards Scenario-Based Programming with a Natural Language Interface [chapter]

Michal Gordon, David Harel
2014 Lecture Notes in Computer Science  
In this paper, we discuss recent work on carrying out scenario-based programming directly in a controlled natural language, and sketch possible future directions.  ...  The fully executable diagrams that result automatically from these NL requirements are shown in Figures 1, 3 and 2.  ...  to DH from the European Research Council (ERC) under the European Community's FP7 Programme.  ... 
doi:10.1007/978-3-642-54848-2_9 fatcat:qea4xyr5sjfizo6p5dkhpshdzy

Generating Executable Scenarios from Natural Language [chapter]

Michal Gordon, David Harel
2009 Lecture Notes in Computer Science  
We have implemented an automatic translation from controlled natural language requirements into LSCs, and we demonstrate it on two sample reactive systems.  ...  One use is in extracting the system classes, objects, methods or connections from the natural language description [7, 8] .  ...  The ability to translate a controlled language into LSCs is a step in the right direction. The translation we suggest is tailored for the LSC language.  ... 
doi:10.1007/978-3-642-00382-0_37 fatcat:l56nsxe3hzdbfpk3yv6fqsjady

Plug-in for Annotating Semantic Efferct on BPMN Business Process Models

Hilman Nuril Hadi, Tri Astoto Kurniawan, Ismiarta Aknuranda
2019 Journal of Information Technology and Computer Science  
This articledescribes effect annotation semantically towards activity in the BPMN modelincluding the rules in representing its effects.  ...  In certaincondition one may ask a question what would the effects of the process be if itwere to be executed up to this point?.  ...  Controlled Natural Language Controlled Natural Language (CNL) is engineered from natural languages that have a specific purpose, such as reducing the ambiguity and complexity of natural language.  ... 
doi:10.25126/jitecs.20194255 fatcat:fkh6f54wcrhyplunmkqghbhuia

Collaborative multilingual knowledge management based on controlled natural language

Kaarel Kaljurand, Tobias Kuhn, Laura Canedo
2015 Semantic Web Journal  
We use a well-defined subset of Attempto Controlled English (ACE) implemented in Grammatical Framework to automatically produce precise bidirectional translations between ACE and language fragments of  ...  To address these problems, we introduce a semantic wiki system that is based on controlled natural language to provide an intuitive yet formal interface.  ...  Many controlled natural languages, both general purpose and domain-specific, have been developed based on different natural languages [32, 26] .  ... 
doi:10.3233/sw-140152 fatcat:tfh5dzemefaflddw74lm3mft6a
« Previous Showing results 1 — 15 out of 120 results