Title :
Description logics in data management
Author :
Borgida, Alexander
Author_Institution :
Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
fDate :
10/1/1995 12:00:00 AM
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;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
