Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
CLASSIC: a structural data model for objects
- A. Borgida, R. Brachman, D. McGuinness, L. A. Resnick
- Computer Science
- SIGMOD '89
- 1 June 1989
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 CLASSIC… Expand
Efficient management of transitive relationships in large data and knowledge bases
- R. Agrawal, Alexander Borgida, H. V. Jagadish
- Computer Science
- SIGMOD '89
- 1 June 1989
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 efficient… Expand
Telos: representing knowledge about information systems
- J. Mylopoulos, Alexander Borgida, M. Jarke, M. Koubarakis
- Computer Science
- TOIS
- 1 October 1990
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 is… Expand
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 the… Expand
On the Relative Expressiveness of Description Logics and Predicate Logics
- Alexander Borgida
- Mathematics, Computer Science
- Artif. Intell.
- 1 April 1996
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 the… Expand
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
- Alexander Borgida, P. Patel-Schneider
- Mathematics, Computer Science
- J. Artif. Intell. Res.
- 1 August 1993
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 to… Expand
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
- A. Borgida, L. Serafini
- Computer Science
- CoopIS/DOA/ODBASE
- 30 October 2002
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 a… Expand
Living wiht Classic: When and How to Use a KL-ONE-Like Language
- R. Brachman, D. McGuinness, P. Patel-Schneider, L. A. Resnick, A. Borgida
- Computer Science
- Principles of Semantic Networks
- 1991
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
Conceptual Modeling of Information Systems
- Alexander Borgida
- Computer Science
- On Knowledge Base Management Systems
- 1985
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 paper… Expand
Telos: a language for representing knowledge about information systems
- J. Mylopoulos, Alexander Borgida, M. Jarke, M. Koubarakis
- Computer Science
- 1990
- 166
- 15