LangPro: Natural Language Theorem Prover

LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The proof procedure operates on logical forms that preserve linguistic expressions to a large extent. %This property makes the logical forms easily obtainable from syntactic trees. %, in particular, Combinatory Categorial Grammar derivation trees. The nature of proofs is deductive and transparent. On the FraCaS and SICK textual entailment datasets, the prover achieves high results comparable to state-of-the-art.Comment: 6 pages, 8 figures, Conference on Empirical Methods in Natural Language Processing (EMNLP) 201

Attempto Controlled English (ACE)

Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.Comment: 13 pages, compressed, uuencoded Postscript, to be presented at CLAW 96, The First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, 26-27 March 199

Corpus Analysis and Lexical Pragmatics: An Overview

Lexical pragmatics studies the processes by which lexically encoded meanings are modified in use; well-studied examples include lexical narrowing, approximation and metaphorical extension. Relevance theorists have been trying to develop a unitary account on which narrowing, approximation and metaphorical extension are all explained in the same way. While there have been several corpus-based studies of metaphor and a few of hyperbole or approximation, there has been no attempt so far to test the unitary account using corpus data. This paper reports the results of a corpus-based investigation of lexical-pragmatic processes, and discusses the theoretical issues and challenges it raises

Aberdeen University Ontology Reuse Stack

Postprin

TripleSent: a triple store of events associated with their prototypical sentiment

The current generation of sentiment analysis systems is limited in their real-world applicability because they cannot detect utterances that implicitly carry positive or negative sentiment. We present early stage research ideas to address this inability with the development of a dynamic triple store of events associated with their prototypical sentiment