Knowledge Authoring with Factual English

  title={Knowledge Authoring with Factual English},
  author={Yuheng Wang and Giorgian Borca-Tasciuc and Nikhil Goel and Paul Fodor and Michael Kifer},
  booktitle={ICLP Technical Communications / Doctoral Consortium},
Knowledge representation and reasoning (KRR) systems represent knowledge as collections of facts and rules. Like databases, KRR systems contain information about domains of human activities like industrial enterprises, science, and business. KRRs can represent complex concepts and relations, and they can query and manipulate information in sophisticated ways. Unfortunately, the KRR technology has been hindered by the fact that specifying the requisite knowledge requires skills that most domain… 

Figures and Tables from this paper



Knowledge Authoring for Rule-Based Reasoning

This work adopts and formalizes the FrameNet methodology for representing the meaning, enables incrementally-learnable and explainable semantic parsing, and harnesses rich knowledge graphs like BabelNet in the quest to obtain unique, disambiguated meaning of CNL sentences.

High Accuracy Question Answering via Hybrid Controlled Natural Language

The query aspect of KALM is developed with the aim of getting high precision answers to CNL questions against previously authored knowledge and is tolerant to linguistic variations in the queries, and a hybrid CNL is proposed, i.e., a CNL with elements borrowed from formal query languages.

Querying Knowledge via Multi-Hop English Questions

The KALM-QA (KALM for Question Answering) system is introduced that achieves 100% accuracy on an extensive suite of movie-related questions, called MetaQA, which contains almost 29,000 test questions and over 260,000 training questions.

Differentiable Reasoning over a Virtual Knowledge Base

A neural module, DrKIT, that traverses textual data like a virtual KB, softly following paths of relations between mentions of entities in the corpus, which improves accuracy by 9 points on 3-hop questions in the MetaQA dataset and is very efficient.

Variational Reasoning for Question Answering with Knowledge Graph

This work proposes a novel and unified deep learning architecture, and an end-to-end variational learning algorithm which can handle noise in questions, and learn multi-hop reasoning simultaneously.

The Berkeley FrameNet Project

This report will present the project's goals and workflow, and information about the computational tools that have been adapted or created in-house for this work.

Discourse representation structures for ACE 5

This technical report describes the discourse representation structures (DRS) derived from texts written in version 5 of Attempto Controlled English (ACE 5). Among other things, ACE 5 supports modal

Attempto Controlled English (ACE)

Attempto Controlled English allows domain specialists to interactively formulate requirements specifications in domain concepts by translating specification texts in ACE into discourse representation structures and optionally into Prolog.

Frame-Semantic Parsing

A two-stage statistical model that takes lexical targets in their sentential contexts and predicts frame-semantic structures and results in qualitatively better structures than naïve local predictors, which outperforms the prior state of the art by significant margins.