2009 | ||
---|---|---|
113 | Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos Springer 2009 | |
112 | Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos: Measuring and Comparing Effectiveness of Data Quality Techniques. CAiSE 2009: 171-185 | |
111 | Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider: "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Conceptual Modeling: Foundations and Applications 2009: 436-465 | |
110 | Alexander Borgida, Marco A. Casanova, Alberto H. F. Laender: Logical Database Design: from Conceptual to Logical Schema. Encyclopedia of Database Systems 2009: 1645-1649 | |
109 | Alexander Borgida, John Mylopoulos: Conceptual Schema Design. Encyclopedia of Database Systems 2009: 438-442 | |
108 | Alexander Borgida: Description Logics. Encyclopedia of Database Systems 2009: 799-803 | |
107 | Alexander Borgida: On Importing Knowledge from Ontologies.. Modular Ontologies 2009: 91-112 | |
2008 | ||
106 | Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro: Explanation in DL-Lite. Description Logics 2008 | |
105 | Lei Jiang, Alexander Borgida, John Mylopoulos: Towards a Compositional Semantic Account of Data Quality Attributes. ER 2008: 55-68 | |
104 | Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro: Explanation in the DL-LiteFamily of Description Logics. OTM Conferences (2) 2008: 1440-1457 | |
2007 | ||
103 | Alexander Borgida: Knowledge Representation Meets Databases - a View of the Symbiosys. Description Logics 2007 | |
102 | Alexander Borgida: On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. Description Logics 2007 | |
101 | Yuan An, Alexander Borgida, Renée J. Miller, John Mylopoulos: A Semantic Approach to Discovering Schema Mapping Expressions. ICDE 2007: 206-215 | |
100 | Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos: Goal-Oriented Conceptual Database Design. RE 2007: 195-204 | |
99 | Alexander Borgida, Fausto Giunchiglia: Importing from Functional Knowledge Bases - A Preview. WoMO 2007 | |
98 | 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 | 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 | Yuan An, Alexander Borgida, John Mylopoulos: Discovering the Semantics of Relational Tables Through Mappings. J. Data Semantics VII: 1-32 (2006) | |
2005 | ||
93 | Alexander Borgida, John Mylopoulos: Databases and the Semantic Web: Data Semantics Revisited. APWeb 2005: 1 | |
92 | Alexander Borgida, Thomas Walsh, Haym Hirsh: Towards Measuring Similarity in Description Logics. Description Logics 2005 | |
91 | Luciano Serafini, Alexander Borgida, Andrei Tamilin: Aspects of Distributed and Modular Ontology Reasoning. IJCAI 2005: 570-575 | |
90 | Yuan An, Alexander Borgida, John Mylopoulos: Constructing Complex Semantic Mappings Between XML Data and Ontologies. International Semantic Web Conference 2005: 6-20 | |
89 | 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 | Yuan An, Alexander Borgida, John Mylopoulos: Refining Semantic Mappings from Relational Tables to Ontologies. SWDB 2004: 84-90 | |
87 | 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 | 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 | 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 | 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 | Alexander Borgida: Diachronic Description Logics. Description Logics 2001 | |
78 | 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 | 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 | 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 | Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999 | |
71 | Alexander Borgida, Premkumar T. Devanbu: Adding more ``DL'' to IDL: Towards More Knowledgeable Component Inter-Operability. ICSE 1999: 378-387 | |
70 | Alexander Borgida, Takahiro Murata: Tolerating exceptions in workflows: a unified framework for data and processes. WACC 1999: 59-68 | |
69 | 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 | Alexander Borgida: Extensible Knowledge Representation: the Case of Description Reasoners. J. Artif. Intell. Res. (JAIR) 10: 399-434 (1999) | |
67 | 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 | Franz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. Description Logics 1998 | |
64 | Franz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. ICCS 1998: 15-34 | |
63 | 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 | 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 | 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 | Alexander Borgida: Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682 (1995) | |
53 | Alexander Borgida, John Mylopoulos, Raymond Reiter: On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21(10): 785-798 (1995) | |
1994 | ||
52 | Alexander Borgida: On The Relationship Between Description Logic and Predicate Logic. CIKM 1994: 219-225 | |
51 | 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 | Alexander Borgida, John Mylopoulos, Raymond Reiter: "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE 1993: 303-314 | |
48 | 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 | 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 | Alexander Borgida: Knowledge Representation, Semantic Data Modelling: What's the Difference? ER 1990: 1 | |
38 | 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 | 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 | Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400 | |
33 | Rakesh Agrawal, Alexander Borgida, H. V. Jagadish: Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. SIGMOD Conference 1989: 253-262 | |
32 | Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 | |
31 | 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 | 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 | 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 | Alexander Borgida: Class Hierarchies in Information Systems: Sets, Types, or Prototypes? Data Types and Persistence (Appin) 1985: 137-154 | |
24 | 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 | 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 | 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 | 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 | Alexander Borgida, Harry K. T. Wong: Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory VLDB 1981: 260-271 | |
1980 | ||
4 | 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 | 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 |