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

Volume

2

fYear

1998

fDate

11-14 Oct 1998

Firstpage

1552

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on

Conference_Location

San Diego, CA

ISSN

1062-922X

Print_ISBN

0-7803-4778-1

Type

conf

DOI

10.1109/ICSMC.1998.728108

Filename

728108