Title :
Improving incremental construction of knowledge bases by using terminological logic resources
Author :
Julia, R.M.daS. ; Pereira, Antônio Eduardo Costa ; Arantes, Wilmondes M. ; Guillén, Alex Marcelo Samaniego
Author_Institution :
Fed. Univ. of Uberlandia, Brazil
Abstract :
The authors propose a system for incremental construction of a knowledge base (KB) based on terminological logic (TL) subsumption criteria. The information to be introduced in the KB corresponds to a set of analysed assertions which are produced by a syntactic and semantic parser. The assertions correspond to a particular type of natural language sentences related to the medical field. Each parsed sentence corresponds to a predicate calculus (PC) formula whose variables are annotated by TL expressions. Each formula is stored in the KB according to a set of TL subsumption criteria that can be used, for example, to avoid the introduction of redundancies and contradictions in the KB. These criteria allow us to simplify the KB and also to simplify the proof tree during information retrieval
Keywords :
computational linguistics; formal logic; knowledge based systems; knowledge engineering; natural languages; information retrieval; knowledge base incremental construction; knowledge contradictions; knowledge redundancies; medical field; natural language sentences; predicate calculus; proof tree; semantic parser; syntactic parser; terminological logic subsumption criteria; Algorithm design and analysis; Electronic mail; Information analysis; Information retrieval; Logic; Medical control systems; Natural languages; Performance analysis; Resumes; US Department of Transportation;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.728108
