Follow
Alexander Borgida
Alexander Borgida
Professor of Computer Science
Verified email at cs.rutgers.edu
Title
Cited by
Cited by
Year
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
12531990
Principles of Semantic Networks: Explorations in the representation of knowledge
A Borgida
Morgan Kaufmann, 1991
985*1991
CLASSIC: A structural data model for objects
A Borgida, RJ Brachman, DL McGuinness, LA Resnick
ACM Sigmod record 18 (2), 58-67, 1989
9231989
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
7421991
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
6011989
On the relative expressiveness of description logics and predicate logics
A Borgida
Artificial intelligence 82 (1-2), 353-367, 1996
5811996
Distributed description logics: Assimilating information from peer sources
A Borgida, L Serafini
Journal on data semantics I, 153-184, 2003
5162003
Description logics in data management
A Borgida
IEEE transactions on knowledge and data engineering 7 (5), 671-682, 1995
4571995
Knowledge representation as the basis for requirements specifications
A Borgida, S Greenspan, J Mylopoulos
Wissensbasierte Systeme: GI-Kongreß, München, 28./29. Oktober 1985, 152-169, 1985
4081985
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
3821993
Language features for flexible handling of exceptions in information systems
A Borgida
ACM Transactions on Database Systems (TODS) 10 (4), 565-603, 1985
3381985
Generalization/specialization as a basis for software specification
A Borgida, J Mylopoulos, HKT Wong
On Conceptual Modelling: Perspectives from Artificial Intelligence …, 1984
2701984
On formal requirements modeling languages: RML revisited
S Greenspan, J Mylopoulos, A Borgida
Proceedings of 16th International Conference on Software Engineering, 135-147, 1994
2631994
On the frame problem in procedure specifications
A Borgida, J Mylopoulos, R Reiter
IEEE Transactions on Software Engineering 21 (10), 785-798, 1995
2531995
Computing least common subsumers in description logics
WW Cohen, A Borgida, H Hirsh
AAAI 1992, 754-760, 1992
2471992
Strategic business modeling: representation and reasoning
J Horkoff, D Barone, L Jiang, E Yu, D Amyot, A Borgida, J Mylopoulos
Software & Systems Modeling 13, 1015-1041, 2014
2042014
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
1831982
Explaining subsumption in description logics
DL McGuinness, A Borgida
IJCAI (1) 3 (00), 1995
1771995
Techne: Towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling
IJ Jureta, A Borgida, NA Ernst, J Mylopoulos
2010 18th IEEE International Requirements Engineering Conference, 115-124, 2010
1722010
Explaining ALC Subsumption.
A Borgida, E Franconi, I Horrocks, DL McGuinness, PF Patel-Schneider
ECAI, 209-213, 2000
1612000
The system can't perform the operation now. Try again later.
Articles 1–20