Alexander Borgida
Alexander Borgida
Professor of Computer Science
Verified email at cs.rutgers.edu
TitleCited byYear
Telos: Representing knowledge about information systems
J Mylopoulos, A Borgida, M Jarke, M Koubarakis
ACM Transactions on Information Systems (TOIS) 8 (4), 325-362, 1990
11631990
CLASSIC: A structural data model for objects
A Borgida, RJ Brachman, DL McGuinness, LA Resnick
ACM Sigmod record 18 (2), 58-67, 1989
8581989
Principles of Semantic Networks: Explorations in the representation of knowledge
A Borgida
Morgan Kaufmann, 1991
789*1991
Living with CLASSIC: When and how to use a KL-ONE-like language
RJ Brachman, DL McGuinness, PF Patel-Schneider, LA Resnick, ...
Principles of semantic networks, 401-456, 1991
6951991
Efficient management of transitive relationships in large data and knowledge bases
R Agrawal, A Borgida, HV Jagadish
ACM SIGMOD Record 18 (2), 253-262, 1989
5281989
On the relative expressiveness of description logics and predicate logics
A Borgida
Artificial intelligence 82 (1-2), 353-367, 1996
5051996
Distributed description logics: Assimilating information from peer sources
A Borgida, L Serafini
Journal on data semantics I, 153-184, 2003
4602003
Description logics in data management
A Borgida
IEEE transactions on knowledge and data engineering 7 (5), 671-682, 1995
4201995
Knowledge representation as the basis for requirements specifications
A Borgida, S Greenspan, J Mylopoulos
Wissensbasierte Systeme, 152-169, 1985
3671985
A semantics and complete algorithm for subsumption in the CLASSIC description logic
A Borgida, PF Patel-Schneider
Journal of Artificial Intelligence Research 1, 277-308, 1993
3641993
Language features for flexible handling of exceptions in information systems
A Borgida
ACM Transactions on Database Systems (TODS) 10 (4), 565-603, 1985
3121985
On formal requirements modeling languages: RML revisited
S Greenspan, J Mylopoulos, A Borgida
Proceedings of 16th International Conference on Software Engineering, 135-147, 1994
2421994
Generalization/specialization as a basis for software specification
A Borgida, J Mylopoulos, HKT Wong
On conceptual modelling, 87-117, 1984
2391984
On the frame problem in procedure specifications
A Borgida, J Mylopoulos, R Reiter
IEEE Transactions on Software Engineering 21 (10), 785-798, 1995
2171995
Computing least common subsumers in description logics
WW Cohen, A Borgida, H Hirsh
AAAI 1992, 754-760, 1992
2111992
Capturing more world knowledge in the requirements specification
SJ Greenspan, J Mylopoulos, A Borgida
Proceedings of the 6th international conference on Software engineering, 225-234, 1982
1641982
Explaining subsumption in description logics
DL McGuinness, A Borgida
IJCAI (1), 816-821, 1995
1561995
Integrated support for data archaeology
RJ Brachman, PG Selfridge, LG Terveen, B Altman, A Borgida, F Halper, ...
International Journal of Intelligent and Cooperative Information Systems 2 …, 1993
1491993
Towards Measuring Similarity in Description Logics.
A Borgida, TJ Walsh, H Hirsh
Description Logics 147, 2005
1432005
A requirements modeling language and its logic
SJ Greenspan, A Borgida, J Mylopoulos
Information Systems 11 (1), 9-23, 1986
1431986
The system can't perform the operation now. Try again later.
Articles 1–20