Author: Pease, R. Adam
Title: Formal ontology for linguistic semantics
Degree: DALS
Year: 2014
Subject: Ontology.
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
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.
Rights: All rights reserved
Access: restricted access

Files in This Item:
File Description SizeFormat 
b27605000.pdfFor All Users (off-campus access for PolyU Staff & Students only)1.79 MBAdobe PDFView/Open

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.

Show full item record

Please use this identifier to cite or link to this item: