Description logics in data management

Author

Borgida, Alexander

Author_Institution

Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA

Volume

7

Issue

5

fYear

1995

fDate

10/1/1995 12:00:00 AM

Firstpage

671

Lastpage

682

Abstract

Description logics and reasoners, which are descendants of the KL-ONE language, have been studied in depth in artificial intelligence. After a brief introduction, we survey their application to the problems of information management, using the framework of an abstract information server equipped with several operations-each involving one or more languages. Specifically, we indicate how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints

Keywords

database theory; deductive databases; formal logic; knowledge representation; object-oriented databases; query processing; KL-ONE language; abstract information server; artificial intelligence; constraints; data management; description logics; information management; object oriented database; queries; reasoners; rules; schema design; updates; Application software; Computer applications; Data models; Gaussian processes; Information management; Knowledge representation; Logic; Memory; Object oriented databases; Object oriented modeling;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.469829

Filename

469829