| 2008 |
|---|
| 106 | EE | Alexander Borgida,
Diego Calvanese,
Mariano Rodriguez-Muro:
Explanation in DL-Lite.
Description Logics 2008 |
| 105 | EE | Lei Jiang,
Alexander Borgida,
John Mylopoulos:
Towards a Compositional Semantic Account of Data Quality Attributes.
ER 2008: 55-68 |
| 104 | EE | Alexander Borgida,
Diego Calvanese,
Mariano Rodriguez-Muro:
Explanation in the DL-LiteFamily of Description Logics.
OTM Conferences (2) 2008: 1440-1457 |
| 2007 |
|---|
| 103 | EE | Alexander Borgida:
Knowledge Representation Meets Databases - a View of the Symbiosys.
Description Logics 2007 |
| 102 | EE | Alexander Borgida:
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems.
Description Logics 2007 |
| 101 | EE | Yuan An,
Alexander Borgida,
Renée J. Miller,
John Mylopoulos:
A Semantic Approach to Discovering Schema Mapping Expressions.
ICDE 2007: 206-215 |
| 100 | EE | Lei Jiang,
Thodoros Topaloglou,
Alexander Borgida,
John Mylopoulos:
Goal-Oriented Conceptual Database Design.
RE 2007: 195-204 |
| 99 | EE | Alexander Borgida,
Fausto Giunchiglia:
Importing from Functional Knowledge Bases - A Preview.
WoMO 2007 |
| 98 | EE | Alexander Borgida:
How knowledge representation meets software engineering (and often databases).
Autom. Softw. Eng. 14(4): 443-464 (2007) |
| 2006 |
|---|
| 97 | | Yuan An,
John Mylopoulos,
Alexander Borgida:
Building Semantic Mappings from Databases to Ontologies.
AAAI 2006 |
| 96 | EE | Lei Jiang,
Thodoros Topaloglou,
Alexander Borgida,
John Mylopoulos:
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.
RE 2006: 196-204 |
| 95 | | Lei Jiang,
Thodoros Topaloglou,
Alexander Borgida,
John Mylopoulos:
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.
SEBD 2006: 14-19 |
| 94 | EE | Yuan An,
Alexander Borgida,
John Mylopoulos:
Discovering the Semantics of Relational Tables Through Mappings.
J. Data Semantics VII: 1-32 (2006) |
| 2005 |
|---|
| 93 | EE | Alexander Borgida,
John Mylopoulos:
Databases and the Semantic Web: Data Semantics Revisited.
APWeb 2005: 1 |
| 92 | EE | Alexander Borgida,
Thomas Walsh,
Haym Hirsh:
Towards Measuring Similarity in Description Logics.
Description Logics 2005 |
| 91 | EE | Luciano Serafini,
Alexander Borgida,
Andrei Tamilin:
Aspects of Distributed and Modular Ontology Reasoning.
IJCAI 2005: 570-575 |
| 90 | EE | Yuan An,
Alexander Borgida,
John Mylopoulos:
Constructing Complex Semantic Mappings Between XML Data and Ontologies.
International Semantic Web Conference 2005: 6-20 |
| 89 | EE | Yuan An,
Alexander Borgida,
John Mylopoulos:
Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences.
OTM Conferences (2) 2005: 1152-1169 |
| 2004 |
|---|
| 88 | EE | Yuan An,
Alexander Borgida,
John Mylopoulos:
Refining Semantic Mappings from Relational Tables to Ontologies.
SWDB 2004: 84-90 |
| 87 | EE | Alexander Borgida,
John Mylopoulos:
Data Semantics Revisited.
SWDB 2004: 9-26 |
| 2003 |
|---|
| 86 | | Alexander Borgida,
Ronald J. Brachman:
Conceptual Modeling with Description Logics.
Description Logic Handbook 2003: 349-372 |
| 85 | | Alexander Borgida,
Maurizio Lenzerini,
Riccardo Rosati:
Description Logics for Databases.
Description Logic Handbook 2003: 462-484 |
| 84 | EE | Vipul Kashyap,
Alexander Borgida:
Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?").
International Semantic Web Conference 2003: 1-16 |
| 83 | EE | Alexander Borgida,
Luciano Serafini:
Distributed Description Logics: Assimilating Information from Peer Sources.
J. Data Semantics 1: 153-184 (2003) |
| 2002 |
|---|
| 82 | | Alexander Borgida,
Diego Calvanese,
Laurence Cholvy,
Marie-Christine Rousset:
Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002
CEUR-WS.org 2002 |
| 81 | EE | Alexander Borgida,
Luciano Serafini:
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.
CoopIS/DOA/ODBASE 2002: 36-53 |
| 80 | | Alexander Borgida:
Being Logical About Desert Island Reading.
Autom. Softw. Eng. 9(2): 187-191 (2002) |
| 2001 |
|---|
| 79 | EE | Alexander Borgida:
Diachronic Description Logics.
Description Logics 2001 |
| 78 | EE | Ralf Küsters,
Alexander Borgida:
What's in an Attribute? Consequences for the Least Common Subsumer.
J. Artif. Intell. Res. (JAIR) 14: 167-203 (2001) |
| 2000 |
|---|
| 77 | EE | Alexander Borgida,
Ralf Küsters:
What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases.
Description Logics 2000: 65-78 |
| 76 | | Alexander Borgida,
Enrico Franconi,
Ian Horrocks:
Explaining ALC Subsumption.
ECAI 2000: 209-213 |
| 75 | | Alexander Borgida:
Lightweight Semantics For Shared Object-oriented Software.
LMO 2000: 243 |
| 74 | EE | Takahiro Murata,
Alexander Borgida:
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes.
IEEE Trans. Software Eng. 26(10): 959-977 (2000) |
| 1999 |
|---|
| 73 | | Patrick Lambrix,
Alexander Borgida,
Maurizio Lenzerini,
Ralf Möller,
Peter F. Patel-Schneider:
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999
CEUR-WS.org 1999 |
| 72 | EE | Alexander Borgida,
Enrico Franconi,
Ian Horrocks,
Deborah L. McGuinness,
Peter F. Patel-Schneider:
Explaining ALC Subsumption.
Description Logics 1999 |
| 71 | EE | Alexander Borgida,
Premkumar T. Devanbu:
Adding more ``DL'' to IDL: Towards More Knowledgeable Component Inter-Operability.
ICSE 1999: 378-387 |
| 70 | EE | Alexander Borgida,
Takahiro Murata:
Tolerating exceptions in workflows: a unified framework for data and processes.
WACC 1999: 59-68 |
| 69 | EE | Ronald J. Brachman,
Deborah L. McGuinness,
Peter F. Patel-Schneider,
Alexander Borgida:
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.
Artif. Intell. 114(1-2): 203-237 (1999) |
| 68 | EE | Alexander Borgida:
Extensible Knowledge Representation: the Case of Description Reasoners.
J. Artif. Intell. Res. (JAIR) 10: 399-434 (1999) |
| 67 | EE | Franz Baader,
Ralf Küsters,
Alexander Borgida,
Deborah L. McGuinness:
Matching in Description Logics.
J. Log. Comput. 9(3): 411-447 (1999) |
| 1998 |
|---|
| 66 | | Alexander Borgida,
Vinay K. Chaudhri,
Martin Staudt:
Proceedings of the 5th INternational Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, Seattle, Washington, USA, May 31, 1998
CEUR-WS.org 1998 |
| 65 | EE | Franz Baader,
Alexander Borgida,
Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results.
Description Logics 1998 |
| 64 | EE | Franz Baader,
Alexander Borgida,
Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results.
ICCS 1998: 15-34 |
| 63 | EE | Alexander Borgida,
Vinay K. Chaudhri,
Martin Staudt:
KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases.
SIGMOD Record 27(3): 10-15 (1998) |
| 1997 |
|---|
| 62 | | Alexander Borgida,
Grant E. Weddell:
Adding Uniqueness Constraints to Description Logics (Preliminary Report).
DOOD 1997: 85-102 |
| 61 | EE | Alexander Borgida:
Incremental Individual Reasoning in ProtoDL.
Description Logics 1997 |
| 60 | | John Mylopoulos,
Alexander Borgida,
Eric S. K. Yu:
Representing Software Engineering Knowledge.
Autom. Softw. Eng. 4(3): 291-317 (1997) |
| 1996 |
|---|
| 59 | | Alexander Borgida,
Deborah L. McGuinness:
Asking Queries about Frames.
Description Logics 1996: 15-24 |
| 58 | | Alexander Borgida,
Charles L. Isbell,
Deborah L. McGuinness:
Reasoning with Black Boxes: Handling Test Concepts in CLASSIC.
Description Logics 1996: 87-91 |
| 57 | | Alexander Borgida,
Deborah L. McGuinness:
Asking Queries about Frames.
KR 1996: 340-349 |
| 56 | EE | Alexander Borgida:
On the Relative Expressiveness of Description Logics and Predicate Logics.
Artif. Intell. 82(1-2): 353-367 (1996) |
| 1995 |
|---|
| 55 | | Deborah L. McGuinness,
Alexander Borgida:
Explaining Subsumption in Description Logics.
IJCAI (1) 1995: 816-821 |
| 54 | EE | Alexander Borgida:
Description Logics in Data Management.
IEEE Trans. Knowl. Data Eng. 7(5): 671-682 (1995) |
| 53 | EE | Alexander Borgida,
John Mylopoulos,
Raymond Reiter:
On the Frame Problem in Procedure Specifications.
IEEE Trans. Software Eng. 21(10): 785-798 (1995) |
| 1994 |
|---|
| 52 | EE | Alexander Borgida:
On The Relationship Between Description Logic and Predicate Logic.
CIKM 1994: 219-225 |
| 51 | EE | Sol J. Greenspan,
John Mylopoulos,
Alexander Borgida:
On Formal Requirements Modeling Languages: RML Revisited.
ICSE 1994: 135-147 |
| 50 | | Alexander Borgida,
Peter F. Patel-Schneider:
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.
J. Artif. Intell. Res. (JAIR) 1: 277-308 (1994) |
| 1993 |
|---|
| 49 | EE | Alexander Borgida,
John Mylopoulos,
Raymond Reiter:
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.
ICSE 1993: 303-314 |
| 48 | EE | Alexander Borgida,
Ronald J. Brachman:
Loading Data into Description Reasoners.
SIGMOD Conference 1993: 217-226 |
| 1992 |
|---|
| 47 | | William W. Cohen,
Alexander Borgida,
Haym Hirsh:
Computing Least Common Subsumers in Description Logics.
AAAI 1992: 754-760 |
| 46 | | Alexander Borgida:
Structural Subsumption: What Is It and Why Is It Important?
Description Logics 1992: 14-18 |
| 45 | | Ronald J. Brachman,
Alexander Borgida,
Deborah L. McGuinness,
Peter F. Patel-Schneider,
Lori Alperin Resnick:
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation.
FGCS 1992: 1036-1043 |
| 44 | | Alexander Borgida,
Premkumar T. Devanbu:
Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems.
IFIP Congress (3) 1992: 171-181 |
| 43 | | Alexander Borgida:
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed.
KR 1992: 259-269 |
| 42 | EE | Alexander Borgida,
Matthias Jarke:
Knowledge Representation and Reasoning in Software Engineering.
IEEE Trans. Software Eng. 18(6): 449-450 (1992) |
| 41 | | Alexander Borgida:
From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics.
Int. J. Cooperative Inf. Syst. 1(1): 93-126 (1992) |
| 1991 |
|---|
| 40 | | Peter F. Patel-Schneider,
Deborah L. McGuinness,
Alexander Borgida:
The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale.
SIGART Bulletin 2(3): 108-113 (1991) |
| 1990 |
|---|
| 39 | EE | Alexander Borgida:
Knowledge Representation, Semantic Data Modelling: What's the Difference?
ER 1990: 1 |
| 38 | EE | John Mylopoulos,
Alexander Borgida,
Matthias Jarke,
Manolis Koubarakis:
Telos: Representing Knowledge About Information Systems.
ACM Trans. Inf. Syst. 8(4): 325-362 (1990) |
| 1989 |
|---|
| 37 | EE | Alexander Borgida,
John Mylopoulos,
Joachim W. Schmidt,
Ingrid Wetzel:
Support for Data-Intensive Applications: Conceptual Design and Software Development.
DBPL 1989: 258-280 |
| 36 | | David W. Etherington,
Alexander Borgida,
Ronald J. Brachman,
Henry A. Kautz:
Vivid Knowledge and Tractable Reasoning.
IJCAI 1989: 1146-1152 |
| 35 | | Alexander Borgida,
David W. Etherington:
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.
KR 1989: 33-43 |
| 34 | EE | Alexander Borgida:
Type Systems for Querying Class Hierarchies with Non-strict Inheritance.
PODS 1989: 394-400 |
| 33 | EE | Rakesh Agrawal,
Alexander Borgida,
H. V. Jagadish:
Efficient Management of Transitive Relationships in Large Data and Knowledge Bases.
SIGMOD Conference 1989: 253-262 |
| 32 | EE | Alexander Borgida,
Ronald J. Brachman,
Deborah L. McGuinness,
Lori Alperin Resnick:
CLASSIC: A Structural Data Model for Objects.
SIGMOD Conference 1989: 58-67 |
| 31 | EE | Joachim W. Schmidt,
Ingrid Wetzel,
Alexander Borgida,
John Mylopoulos:
Database Programming by Formal Refinement of Conceptual Designs.
IEEE Data Eng. Bull. 12(3): 53-61 (1989) |
| 1988 |
|---|
| 30 | | Matthew Morgenstern,
Alexander Borgida,
Catherine Lassez,
David Maier,
Gio Wiederhold:
Constraint-Based Systems: Knowledge About Data - Panel Report.
Expert Database Conf. 1988: 23-43 |
| 29 | EE | Alexander Borgida:
Modeling Class Hierarchies with Contradictions.
SIGMOD Conference 1988: 434-443 |
| 1987 |
|---|
| 28 | | Alexander Borgida:
Exceptions dans les bases de données.
BDA 1987 |
| 27 | EE | Brian A. Nixon,
Lawrence Chung,
David Lauzon,
Alexander Borgida,
John Mylopoulos,
Martin Stanley:
Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.
SIGMOD Conference 1987: 118-131 |
| 1986 |
|---|
| 26 | | Sol J. Greenspan,
Alexander Borgida,
John Mylopoulos:
A requirements modeling language and its logic.
Inf. Syst. 11(1): 9-23 (1986) |
| 1985 |
|---|
| 25 | EE | Alexander Borgida:
Class Hierarchies in Information Systems: Sets, Types, or Prototypes?
Data Types and Persistence (Appin) 1985: 137-154 |
| 24 | EE | Alexander Borgida:
Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper
Data Types and Persistence (Appin), Informal Proceedings 1985: 265-271 |
| 23 | | Brian A. Nixon,
Lawrence Chung,
David Lauzon,
Alexander Borgida,
John Mylopoulos,
Martin Stanley:
Design of a Compiler for a Semantic Data Model.
Foundations of Knowledge Base Management (Xania) 1985: 293-343 |
| 22 | | Alexander Borgida,
Matthias Jarke,
John Mylopoulos,
Joachim W. Schmidt,
Yannis Vassiliou:
The Software Development Environment as a Knowledge Base Management System.
Foundations of Knowledge Base Management (Xania) 1985: 411-442 |
| 21 | | Alexander Borgida,
Tom M. Mitchell,
Keith E. Williamson:
Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.
On Knowledge Base Management Systems (Islamorada) 1985: 259-286 |
| 20 | | Alexander Borgida:
Conceptual Modeling of Information Systems.
On Knowledge Base Management Systems (Islamorada) 1985: 461-469 |
| 19 | | Sol J. Greenspan,
Alexander Borgida,
John Mylopoulos:
A Requirements Modeling Language and Its Logic.
On Knowledge Base Management Systems (Islamorada) 1985: 471-502 |
| 18 | | Alexander Borgida:
Languages and The Engineering of Large Knowledge Bases.
On Knowledge Base Management Systems (Islamorada) 1985: 503-505 |
| 17 | EE | Alexander Borgida,
Keith E. Williamson:
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them.
VLDB 1985: 72-81 |
| 16 | | Alexander Borgida,
Sol J. Greenspan,
John Mylopoulos:
Knowledge Reperesentation as the Basis for Requirements Specification (Reprint).
Wissensbasierte Systeme 1985: 152-169 |
| 15 | EE | Alexander Borgida:
Language Features for Flexible Handling of Exceptions in Information Systems.
ACM Trans. Database Syst. 10(4): 565-603 (1985) |
| 14 | | Alexander Borgida,
Sol J. Greenspan,
John Mylopoulos:
Knowledge Representation as the Basis for Requirements Specifications.
IEEE Computer 18(4): 82-91 (1985) |
| 13 | | Alexander Borgida:
Features of Languages for the Development of Information Systems at the Conceptual Level.
IEEE Software 2(1): 63-72 (1985) |
| 1984 |
|---|
| 12 | | Alexander Borgida,
Tomasz Imielinski:
Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.
NMR 1984: 21-32 |
| 11 | | Naftaly H. Minsky,
Alexander Borgida:
The Darwin Software-Developemnt-Environemnt for Evolving Systems.
Software Development Environments (SDE) 1984: 89-95 |
| 10 | EE | John Mylopoulos,
Alexander Borgida,
Sol J. Greenspan,
Harry K. T. Wong:
Information System Design at the Conceptual Level - The Taxis Project.
IEEE Database Eng. Bull. 7(4): 4-9 (1984) |
| 1983 |
|---|
| 9 | | Alexander Borgida:
Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics.
Mathematical Systems Theory 16(1): 29-56 (1983) |
| 1982 |
|---|
| 8 | | Sol J. Greenspan,
John Mylopoulos,
Alexander Borgida:
Capturing More World Knowledge in the Requirements Specification.
ICSE 1982: 225-235 |
| 7 | | Alexander Borgida,
John Mylopoulos,
Harry K. T. Wong:
Generalization/Specialization as a Basis for Software Specification.
On Conceptual Modelling (Intervale) 1982: 87-117 |
| 1981 |
|---|
| 6 | | Alexander Borgida:
On the Definition of Specialization Hierarchies for Procedures.
IJCAI 1981: 254-256 |
| 5 | EE | Alexander Borgida,
Harry K. T. Wong:
Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory
VLDB 1981: 260-271 |
| 1980 |
|---|
| 4 | EE | John Miles Smith,
Charles Rich,
Jonathan J. King,
Peter Hitchcock,
Alexander Borgida,
Jaime G. Carbonell:
Consistency of Models (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 72-76 |
| 3 | EE | Alexander Borgida,
Sol J. Greenspan:
Data and Activities: Exploiting Hierarchies of Classes.
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 98-100 |
| 1976 |
|---|
| 2 | | John Mylopoulos,
Alexander Borgida,
P. Cohen,
Nick Roussopoulos,
John K. Tsotsos,
Harry K. T. Wong:
TORUS: a step towards bridging the gap between data bases and the casual user.
Inf. Syst. 2(2): 49-64 (1976) |
| 1975 |
|---|
| 1 | | John Mylopoulos,
P. Cohen,
Alexander Borgida,
L. Sugar:
Semantic Networks and the Generation of Context.
IJCAI 1975: 134-142 |
