Matches in SemOpenAlex for { <https://semopenalex.org/work/W1481577910> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1481577910 abstract "of a thesis at the University of Miami. Thesis supervised by Professor Geoff Sutcliffe. No. of pages in text. (127) Search engines are the most popular tools for finding answers to questions, but unfortunately they do not always provide complete direct answers. Answers often need to be extracted by the user, from the web pages returned by the search engine. This research addresses this problem, and shows how an automated theorem prover, combined with existing ontologies and the web, is able to reason about world knowledge and return direct answers to users’ questions. The use of an automated theorem prover also allows more complex questions to be asked. Automated theorem provers that exhibit these capabilities are called World Knowledge Reasoning systems. This research discusses one such system, the CNL-WKR system. The CNL-WKR system uses the ACE controlled natural language as its user-input language. It then calls upon external sources on the web, as well as internal ontological sources, during the theorem proving process, in order to find answers. The system uses the automated theorem prover, SPASS-XDB. The result is a system that is capable of answering complex questions about the world." @default.
- W1481577910 created "2016-06-24" @default.
- W1481577910 creator A5063260700 @default.
- W1481577910 date "2010-01-01" @default.
- W1481577910 modified "2023-09-27" @default.
- W1481577910 title "Using Controlled Natural Language for World Knowledge Reasoning" @default.
- W1481577910 cites W1489949474 @default.
- W1481577910 cites W1494820159 @default.
- W1481577910 cites W1509946529 @default.
- W1481577910 cites W1521419290 @default.
- W1481577910 cites W1541857386 @default.
- W1481577910 cites W1542026696 @default.
- W1481577910 cites W1562074255 @default.
- W1481577910 cites W1573992413 @default.
- W1481577910 cites W1804031886 @default.
- W1481577910 cites W1984820433 @default.
- W1481577910 cites W2022166150 @default.
- W1481577910 cites W2037043950 @default.
- W1481577910 cites W2051804774 @default.
- W1481577910 cites W2066636486 @default.
- W1481577910 cites W2107658650 @default.
- W1481577910 cites W2127701157 @default.
- W1481577910 cites W2135380458 @default.
- W1481577910 cites W2145618437 @default.
- W1481577910 cites W2154268919 @default.
- W1481577910 cites W2542879405 @default.
- W1481577910 cites W2575901507 @default.
- W1481577910 cites W2756852249 @default.
- W1481577910 cites W3143872893 @default.
- W1481577910 cites W612375141 @default.
- W1481577910 hasPublicationYear "2010" @default.
- W1481577910 type Work @default.
- W1481577910 sameAs 1481577910 @default.
- W1481577910 citedByCount "0" @default.
- W1481577910 crossrefType "journal-article" @default.
- W1481577910 hasAuthorship W1481577910A5063260700 @default.
- W1481577910 hasConcept C108710211 @default.
- W1481577910 hasConcept C136764020 @default.
- W1481577910 hasConcept C154945302 @default.
- W1481577910 hasConcept C159718280 @default.
- W1481577910 hasConcept C195324797 @default.
- W1481577910 hasConcept C195344581 @default.
- W1481577910 hasConcept C199360897 @default.
- W1481577910 hasConcept C206880738 @default.
- W1481577910 hasConcept C23123220 @default.
- W1481577910 hasConcept C2524010 @default.
- W1481577910 hasConcept C33923547 @default.
- W1481577910 hasConcept C41008148 @default.
- W1481577910 hasConcept C44291984 @default.
- W1481577910 hasConcept C98045186 @default.
- W1481577910 hasConceptScore W1481577910C108710211 @default.
- W1481577910 hasConceptScore W1481577910C136764020 @default.
- W1481577910 hasConceptScore W1481577910C154945302 @default.
- W1481577910 hasConceptScore W1481577910C159718280 @default.
- W1481577910 hasConceptScore W1481577910C195324797 @default.
- W1481577910 hasConceptScore W1481577910C195344581 @default.
- W1481577910 hasConceptScore W1481577910C199360897 @default.
- W1481577910 hasConceptScore W1481577910C206880738 @default.
- W1481577910 hasConceptScore W1481577910C23123220 @default.
- W1481577910 hasConceptScore W1481577910C2524010 @default.
- W1481577910 hasConceptScore W1481577910C33923547 @default.
- W1481577910 hasConceptScore W1481577910C41008148 @default.
- W1481577910 hasConceptScore W1481577910C44291984 @default.
- W1481577910 hasConceptScore W1481577910C98045186 @default.
- W1481577910 hasLocation W14815779101 @default.
- W1481577910 hasOpenAccess W1481577910 @default.
- W1481577910 hasPrimaryLocation W14815779101 @default.
- W1481577910 hasRelatedWork W12135578 @default.
- W1481577910 hasRelatedWork W13297640 @default.
- W1481577910 hasRelatedWork W1510087400 @default.
- W1481577910 hasRelatedWork W1510729774 @default.
- W1481577910 hasRelatedWork W1536548026 @default.
- W1481577910 hasRelatedWork W1807555267 @default.
- W1481577910 hasRelatedWork W1839426292 @default.
- W1481577910 hasRelatedWork W196654925 @default.
- W1481577910 hasRelatedWork W1981968813 @default.
- W1481577910 hasRelatedWork W2025919633 @default.
- W1481577910 hasRelatedWork W2084101411 @default.
- W1481577910 hasRelatedWork W2099924673 @default.
- W1481577910 hasRelatedWork W2123470495 @default.
- W1481577910 hasRelatedWork W2124375485 @default.
- W1481577910 hasRelatedWork W2134175771 @default.
- W1481577910 hasRelatedWork W2146692504 @default.
- W1481577910 hasRelatedWork W2151113611 @default.
- W1481577910 hasRelatedWork W2160267725 @default.
- W1481577910 hasRelatedWork W2253008277 @default.
- W1481577910 hasRelatedWork W783488073 @default.
- W1481577910 isParatext "false" @default.
- W1481577910 isRetracted "false" @default.
- W1481577910 magId "1481577910" @default.
- W1481577910 workType "article" @default.