Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor | Faculty of Humanities | en_US |
| dc.creator | Pease, R. Adam | - |
| dc.identifier.uri | https://theses.lib.polyu.edu.hk/handle/200/7512 | - |
| dc.language | English | en_US |
| dc.publisher | Hong Kong Polytechnic University | - |
| dc.rights | All rights reserved | en_US |
| dc.title | Formal ontology for linguistic semantics | en_US |
| dcterms.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. | en_US |
| dcterms.extent | 220 pages : illustrations ; 30 cm | en_US |
| dcterms.isPartOf | PolyU Electronic Theses | en_US |
| dcterms.issued | 2014 | en_US |
| dcterms.educationalLevel | All Doctorate | en_US |
| dcterms.educationalLevel | DALS | en_US |
| dcterms.LCSH | Ontology. | en_US |
| dcterms.LCSH | Semantics. | en_US |
| dcterms.LCSH | Natural language processing (Computer science) | en_US |
| dcterms.LCSH | Knowledge representation (Information theory) | en_US |
| dcterms.LCSH | Hong Kong Polytechnic University -- Dissertations | en_US |
| dcterms.accessRights | restricted access | en_US |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| b27605000.pdf | For All Users (off-campus access for PolyU Staff & Students only) | 1.79 MB | Adobe PDF | View/Open |
Copyright Undertaking
As a bona fide Library user, I declare that:
- I will abide by the rules and legal ordinances governing copyright regarding the use of the Database.
- 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.
- 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.
Please use this identifier to cite or link to this item:
https://theses.lib.polyu.edu.hk/handle/200/7512