Formal ontology for linguistic semantics

Pao Yue-kong Library Electronic Theses Database

Formal ontology for linguistic semantics

 

Author: Pease, R. Adam
Title: Formal ontology for linguistic semantics
Degree: DALS
Year: 2014
Subject: Ontology.
Semantics.
Natural language processing (Computer science)
Knowledge representation (Information theory)
Hong Kong Polytechnic University -- Dissertations
Department: Faculty of Humanities
Pages: 220 pages : illustrations ; 30 cm
Language: English
InnoPac Record: http://library.polyu.edu.hk/record=b2760500
URI: http://theses.lib.polyu.edu.hk/handle/200/7512
Abstract: There is a long tradition of explaining features of the semantics of human languages in formal logic. There is a long tradition of doing automated computation in formal logic. These two endeavors can reinforce one another, with theorem proving being used to test and debug theories of semantics and theories of semantics used for question answering and many other computer science applications. However, two issues have prevented combining these two fields. First, is the need for a large and reusable library of theories, so that each new advance in linguistic semantics can be integrated into a coherent whole. Second, is that methods for efficient theorem proving have not been well explained, or applied on large formal logic theories. This dissertation attempts to address those two obstacles by (1) supplying the Suggested Upper Merged Ontology and showing how new formalizations of linguistic semantics can be integrated and (2) describing the basic software design and implementation of a practical theorem proving system that can be employed for reasoning over SUMO and the new theories of linguistic semantics that augment it.

Files in this item

Files Size Format
b27605000.pdf 1.829Mb PDF

The following license files are associated with this item:

Copyright Undertaking
As a bona fide Library user, I declare that:
  1. I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
  2. I will use the Database for the purpose of my research or private study only and not for circulation or further reproduction or any other purpose.
  3. I agree to indemnify and hold the University harmless from and against any loss, damage, cost, liability or expenses arising from copyright infringement or unauthorized usage.
By downloading any item(s) listed above, you acknowledge that you have read and understood the copyright undertaking as stated above, and agree to be bound by all of its terms.

     

Quick Search

Browse

More Information