• Publications
  • Influence
CLASSIC: a structural data model for objects
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects, but in terms of a level of intensional structure as well. The CLASSICExpand
  • 670
  • 57
  • PDF
Efficient management of transitive relationships in large data and knowledge bases
We argue that accessing the transitive closure of relationships is an important component of both databases and knowledge representation systems in Artificial Intelligence. The demands for efficientExpand
  • 430
  • 51
  • PDF
Telos: representing knowledge about information systems
We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development isExpand
  • 852
  • 43
  • PDF
Description Logics in Data Management
  • A. Borgida
  • Computer Science
  • IEEE Trans. Knowl. Data Eng.
  • 1 October 1995
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 theExpand
  • 363
  • 23
  • PDF
On the Relative Expressiveness of Description Logics and Predicate Logics
Abstract It is natural to view concept and role definitions in description logics as expressing monadic and dyadic predicates in predicate calculus. We show that the descriptions built using theExpand
  • 298
  • 21
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
This paper analyzes the correctness of the subsumption algorithm used in CLASSIC, a description logic-based knowledge representation system that is being used in practical applications. In order toExpand
  • 288
  • 20
  • PDF
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
A central problem of co-operative information systems is the ability to integrate information from multiple sources. Although this problem has been studied for several decades, there is a need for aExpand
  • 125
  • 19
  • PDF
Living wiht Classic: When and How to Use a KL-ONE-Like Language
Abstract CLASSIC is a recently developed knowledge representation system that follows the paradigm originally set out in the KL-ONE system: It concentrates on the definition of structured concepts,Expand
  • 523
  • 18
  • PDF
Conceptual Modeling of Information Systems
It is claimed that Information Systems can be developed more easily, and can be used in a more natural way, by concentrating on the semantics of the application domain. This brief review paperExpand
  • 180
  • 18