Toward a Semantic Concordancer

no code implementations • GWC 2018 • Adam Pease, Andrew Cheung

We show how the semantics can be used to analyze errors in the use of English prepositions by non-native speakers of English.

Dependency Parsing

Word Substitution in Short Answer Extraction: A WordNet-based Approach

no code implementations • GWC 2016 • Qingqing Cai, James Gung, Maochen Guan, Gerald Kurlandski, Adam Pease

In the first phase sentence classification is performed with a classifier trained with the passive aggressive algorithm utilizing the UIUC dataset and taxonomy and a feature set including word vectors.

Sentence Sentence Classification

Translating SUMO-K to Higher-Order Set Theory

no code implementations • 13 May 2023 • Chad Brown, Adam Pease, Josef Urban

We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory.

Automated Theorem Proving Common Sense Reasoning +1

Converting the Suggested Upper Merged Ontology to Typed First-order Form

no code implementations • 2 Mar 2023 • Adam Pease

We describe the translation of the Suggested Upper Merged Ontology (SUMO) to Typed First-order Form (TFF) with level 0 polymorphism.

Translation

Default Physical Measurements in SUMO

no code implementations • WS 2014 • Francesca Quattri, Adam Pease, John P. McCrae