![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Alexander Borgida
Person information
- affiliation: Rutgers University, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j35]Varvara Kalokyri, Alexander Borgida, Amélie Marian:
Episodic Memory Integration of Personal Data in YourDigitalSelf. IEEE Data Eng. Bull. 46(4): 30-42 (2023) - [c117]Varvara Kalokyri
, Alexander Borgida, Amélie Marian
:
One of Us: a Multiplayer Web-based Game for Digital Evidence Acquisition of Scripts through Crowdsourcing. CHIIR 2023: 187-196 - [c116]Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023 - 2022
- [j34]Yehia Elrakaiby
, Alexander Borgida, Alessio Ferrari
, John Mylopoulos:
CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21(6): 2113-2132 (2022) - [c115]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Understanding Document Data Sources Using Ontologies with Referring Expressions. AI 2022: 367-380 - [c114]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Accessing Document Data Sources using Referring Expression Types. Description Logics 2022 - [c113]Varvara Kalokyri, Alexander Borgida, Amélie Marian:
Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. ICWSM 2022: 453-464 - 2021
- [j33]Manolis Koubarakis, Alexander Borgida, Panos Constantopoulos
, Martin Doerr, Matthias Jarke, Manfred A. Jeusfeld
, John Mylopoulos, Dimitris Plexousakis:
A retrospective on Telos as a metamodeling language for requirements engineering. Requir. Eng. 26(1): 1-23 (2021) - 2020
- [c112]Yehia ElRakaiby
, Alexander Borgida
, Alessio Ferrari
, John Mylopoulos
:
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER 2020: 3-18 - [d3]Yehia ElRakaiby
, Alexander Borgida
, Alessio Ferrari
, John Mylopoulos
:
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). Zenodo, 2020 - [d2]Yehia ElRakaiby
, Alexander Borgida
, Alessio Ferrari
, John Mylopoulos
:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 2.0. Zenodo, 2020 [all versions] - [d1]Yehia ElRakaiby
, Alexander Borgida
, Alessio Ferrari
, John Mylopoulos
:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 1.0. Zenodo, 2020 [all versions] - [i8]Varvara Kalokyri
, Alexander Borgida, Amélie Marian:
Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. CoRR abs/2012.14803 (2020)
2010 – 2019
- 2019
- [c111]Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell:
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. AAAI 2019: 2995-3002 - [c110]Daniela Vianna, Varvara Kalokyri
, Alexander Borgida, Amélie Marian, Thu D. Nguyen:
Searching heterogeneous personal digital traces. ASIST 2019: 276-285 - [c109]Alexander Borgida:
Initial Steps Towards a Family of Regular-Like Plan Description Logics. Description Logic, Theory Combination, and All That 2019: 90-109 - [c108]Alexander Borgida, Varvara Kalokyri
, Amélie Marian:
Description Logics and Specialization for Structured BPMN. Business Process Management Workshops 2019: 19-31 - [c107]Alexander Borgida, David Toman, Grant E. Weddell:
On Special Description Logics for Processes and Plans. Description Logics 2019 - [i7]Daniela Vianna, Varvara Kalokyri, Alexander Borgida, Thu D. Nguyen, Amélie Marian:
Searching Heterogeneous Personal Digital Traces. CoRR abs/1904.05374 (2019) - 2018
- [c106]Varvara Kalokyri
, Alexander Borgida, Amélie Marian:
YourDigitalSelf: A Personal Digital Trace Integration Tool. CIKM 2018: 1963-1966 - [c105]Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell:
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. KR 2018: 655-656 - [r6]Alexander Borgida:
Description Logics. Encyclopedia of Database Systems (2nd ed.) 2018 - [r5]Alexander Borgida, Marco A. Casanova, Alberto H. F. Laender:
Logical Database Design: From Conceptual to Logical Schema. Encyclopedia of Database Systems (2nd ed.) 2018 - [r4]Alexander Borgida, John Mylopoulos:
Conceptual Schema Design. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c104]Alexander Borgida, David Toman, Grant E. Weddell:
Concerning Referring Expressions in Query Answers. IJCAI 2017: 4791-4795 - [c103]Varvara Kalokyri
, Alexander Borgida, Amélie Marian, Daniela Vianna:
Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces - (Short Paper). OTM Conferences (2) 2017: 273-280 - [c102]Varvara Kalokyri
, Alexander Borgida, Amélie Marian, Daniela Vianna:
Integration and Exploration of Connected Personal Digital Traces. ExploreDB@SIGMOD/PODS 2017: 3:1-3:6 - 2016
- [c101]Feng-Lin Li, Jennifer Horkoff
, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos:
Engineering Requirements with Desiree: An Empirical Evaluation. CAiSE 2016: 221-238 - [c100]Alexander Borgida, David Toman, Grant E. Weddell:
On Referring Expressions in Information Systems Derived from Conceptual Modelling. ER 2016: 183-197 - [c99]Alexander Borgida, David Toman, Grant E. Weddell:
On Referring Expressions in Query Answering over First Order Knowledge Bases. KR 2016: 319-328 - [i6]Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, Lin Liu, John Mylopoulos:
Desiree: a Refinement Calculus for Requirements Problems. CoRR abs/1605.02263 (2016) - 2015
- [c98]Alexander Borgida, David Toman, Grant E. Weddell:
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. Description Logics 2015 - [c97]Alexander Borgida, Ivan Jureta, Anna Zamansky:
Towards a general formal framework of Coherence Management in RE. RE 2015: 274-277 - [c96]Feng-Lin Li, Jennifer Horkoff
, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos:
From Stakeholder Requirements to Formal Specifications Through Refinement. REFSQ 2015: 164-180 - [c95]Evan W. Patton, Alexander Borgida:
Challenges for Semantic Technologies in Distributed Mobile Environments. MoDeST@ISWC 2015: 26-31 - 2014
- [j32]Neil A. Ernst
, Alexander Borgida, Ivan Jureta, John Mylopoulos:
Agile requirements engineering via paraconsistent reasoning. Inf. Syst. 43: 100-116 (2014) - [j31]Jennifer Horkoff
, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot
, Alexander Borgida, John Mylopoulos:
Strategic business modeling: representation and reasoning. Softw. Syst. Model. 13(3): 1015-1041 (2014) - [j30]Ivan Jureta, Alexander Borgida, Neil A. Ernst
, John Mylopoulos:
The Requirements Problem for Adaptive Systems. ACM Trans. Manag. Inf. Syst. 5(3): 17:1-17:33 (2014) - [c94]Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi
, Jennifer Horkoff
, John Mylopoulos:
An Ontological Interpretation of Non-Functional Requirements. FOIS 2014: 344-357 - [c93]Alexander Borgida, Jennifer Horkoff
, John Mylopoulos:
Applying knowledge representation and reasoning to (simple) goal models. AIRE 2014: 53-59 - [c92]Feng-Lin Li, Jennifer Horkoff
, John Mylopoulos, Renata S. S. Guizzardi, Giancarlo Guizzardi
, Alexander Borgida, Lin Liu:
Non-functional requirements as qualities, with a spice of ontology. RE 2014: 293-302 - [p6]Neil A. Ernst
, Alexander Borgida, Ivan Jureta, John Mylopoulos:
An Overview of Requirements Evolution. Evolving Software Systems 2014: 3-32 - 2013
- [c91]Alexander Borgida, Fabiano Dalpiaz, Jennifer Horkoff
, John Mylopoulos:
Requirements models for design- and runtime: a position paper. MiSE 2013: 62-68 - [c90]Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Lin Liu, Alexander Borgida:
Non-Functional Requirements Revisited. iStar 2013: 109-114 - [c89]Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff
, John Mylopoulos:
Runtime goal models: Keynote. RCIS 2013: 1-11 - 2012
- [j29]Thomas J. Walsh, Michael L. Littman, Alexander Borgida:
Learning web-service task descriptions from traces. Web Intell. Agent Syst. 10(4): 397-421 (2012) - [c88]Neil A. Ernst
, Alexander Borgida, John Mylopoulos, Ivan Jureta:
Agile Requirements Evolution via Paraconsistent Reasoning. CAiSE 2012: 382-397 - [c87]Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati:
Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics 2012 - [c86]Jennifer Horkoff
, Alexander Borgida, John Mylopoulos, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot
:
Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. OTM Conferences (2) 2012: 700-717 - [c85]Manuel Atencia, Alexander Borgida, Jérôme Euzenat, Chiara Ghidini, Luciano Serafini:
A Formal Semantics for Weighted Ontology Mappings. ISWC (1) 2012: 17-33 - 2011
- [c84]Neil A. Ernst
, Alexander Borgida, John Mylopoulos:
Requirements evolution drives software evolution. EVOL/IWPSE 2011: 16-20 - [c83]Neil A. Ernst
, Alexander Borgida, Ivan Jureta:
Finding incremental solutions for evolving requirements. RE 2011: 15-24 - [i5]Ivan Jureta, Alexander Borgida, Neil A. Ernst
:
Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems. CoRR abs/1102.4178 (2011) - [i4]Alexander Borgida:
Extensible Knowledge Representation: the Case of Description Reasoners. CoRR abs/1105.5463 (2011) - [i3]Alexander Borgida, Ralf Küsters:
What's in an Attribute? Consequences for the Least Common Subsumer. CoRR abs/1106.0238 (2011) - 2010
- [c82]Neil A. Ernst
, John Mylopoulos, Alexander Borgida, Ivan Jureta:
Reasoning with Optional and Preferred Requirements. ER 2010: 118-131 - [c81]Ivan Jureta, Alexander Borgida, Neil A. Ernst
, John Mylopoulos:
Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. RE 2010: 115-124 - [c80]Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell:
On Finding Query Rewritings under Expressive Constraints. SEBD 2010: 426-437
2000 – 2009
- 2009
- [c79]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 - [c78]Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos:
Measuring and Comparing Effectiveness of Data Quality Techniques. CAiSE 2009: 171-185 - [p5]Alexander Borgida:
On Importing Knowledge from Ontologies.. Modular Ontologies 2009: 91-112 - [e4]Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu:
Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Lecture Notes in Computer Science 5600, Springer 2009, ISBN 978-3-642-02462-7 [contents] - [r3]Alexander Borgida, John Mylopoulos:
Conceptual Schema Design. Encyclopedia of Database Systems 2009: 438-442 - [r2]Alexander Borgida:
Description Logics. Encyclopedia of Database Systems 2009: 799-803 - [r1]Alexander Borgida, Marco A. Casanova, Alberto H. F. Laender:
Logical Database Design: from Conceptual to Logical Schema. Encyclopedia of Database Systems 2009: 1645-1649 - 2008
- [j28]Yuan An, Alexander Borgida, John Mylopoulos:
Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies. J. Comput. Sci. Eng. 2(1): 44-73 (2008) - [c77]Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
Explanation in DL-Lite. Description Logics 2008 - [c76]Lei Jiang, Alexander Borgida, John Mylopoulos:
Towards a Compositional Semantic Account of Data Quality Attributes. ER 2008: 55-68 - [c75]Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
Explanation in the DL-LiteFamily of Description Logics. OTM Conferences (2) 2008: 1440-1457 - 2007
- [j27]Alexander Borgida:
How knowledge representation meets software engineering (and often databases). Autom. Softw. Eng. 14(4): 443-464 (2007) - [c74]Alexander Borgida:
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. Description Logics 2007 - [c73]Alexander Borgida:
Knowledge Representation Meets Databases - a View of the Symbiosys. Description Logics 2007 - [c72]Yuan An, Alexander Borgida, Renée J. Miller, John Mylopoulos:
A Semantic Approach to Discovering Schema Mapping Expressions. ICDE 2007: 206-215 - [c71]Lei Jiang, Alexander Borgida, Thodoros Topaloglou, John Mylopoulos:
Data Quality By Design: A Goal-Oriented Approach. ICIQ 2007: 249-263 - [c70]Alexander Borgida, Fausto Giunchiglia:
Importing from Functional Knowledge Bases - A Preview. WoMO 2007 - [c69]Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos:
Goal-Oriented Conceptual Database Design. RE 2007: 195-204 - 2006
- [j26]Yuan An, Alexander Borgida, John Mylopoulos:
Discovering the Semantics of Relational Tables Through Mappings. J. Data Semant.: 1-32 (2006) - [c68]Yuan An, John Mylopoulos, Alexander Borgida:
Building Semantic Mappings from Databases to Ontologies. AAAI 2006: 1557-1566 - [c67]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 - [c66]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 - [p4]John Mylopoulos, Alexander Borgida:
Properties of Information Modeling Techniques for Information Systems Engineering. Handbook on Architectures of Information Systems 2006: 17-58 - 2005
- [c65]Alexander Borgida, John Mylopoulos:
Databases and the Semantic Web: Data Semantics Revisited. APWeb 2005: 1 - [c64]Alexander Borgida, Thomas J. Walsh, Haym Hirsh:
Towards Measuring Similarity in Description Logics. Description Logics 2005 - [c63]Luciano Serafini, Alexander Borgida, Andrei Tamilin:
Aspects of Distributed and Modular Ontology Reasoning. IJCAI 2005: 570-575 - [c62]Yuan An, Alexander Borgida, John Mylopoulos:
Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. OTM Conferences (2) 2005: 1152-1169 - [c61]Yuan An, Alexander Borgida, John Mylopoulos:
Constructing Complex Semantic Mappings Between XML Data and Ontologies. ISWC 2005: 6-20 - 2004
- [c60]Alexander Borgida, John Mylopoulos:
Data Semantics Revisited. SWDB 2004: 9-26 - [c59]Yuan An, Alexander Borgida, John Mylopoulos:
Refining Semantic Mappings from Relational Tables to Ontologies. SWDB 2004: 84-90 - 2003
- [j25]Alexander Borgida, Luciano Serafini:
Distributed Description Logics: Assimilating Information from Peer Sources. J. Data Semant. 1: 153-184 (2003) - [c58]Vipul Kashyap, Alexander Borgida:
Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?"). ISWC 2003: 1-16 - [p3]Alexander Borgida, Ronald J. Brachman:
Conceptual Modeling with Description Logics. Description Logic Handbook 2003: 349-372 - [p2]Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati:
Description Logics for Databases. Description Logic Handbook 2003: 462-484 - 2002
- [j24]Alexander Borgida:
Being Logical About Desert Island Reading. Autom. Softw. Eng. 9(2): 187-191 (2002) - [c57]Alexander Borgida, Luciano Serafini:
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. OTM 2002: 36-53 - [c56]Alexander Borgida, Luciano Serafini:
Distributed Description Logics: First results. Description Logics 2002 - [e3]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 Workshop Proceedings 54, CEUR-WS.org 2002 [contents] - 2001
- [j23]Ralf Küsters, Alexander Borgida:
What's in an Attribute? Consequences for the Least Common Subsumer. J. Artif. Intell. Res. 14: 167-203 (2001) - [c55]Alexander Borgida:
Diachronic Description Logics. Description Logics 2001 - 2000
- [j22]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) - [c54]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 - [c53]Alexander Borgida, Enrico Franconi, Ian Horrocks:
Explaining ALC Subsumption. ECAI 2000: 209-213 - [c52]Alexander Borgida:
Lightweight Semantics For Shared Object-oriented Software. LMO 2000: 243
1990 – 1999
- 1999
- [j21]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) - [j20]Alexander Borgida:
Extensible Knowledge Representation: the Case of Description Reasoners. J. Artif. Intell. Res. 10: 399-434 (1999) - [j19]Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness
:
Matching in Description Logics. J. Log. Comput. 9(3): 411-447 (1999) - [c51]Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
Explaining ALC Subsumption. Description Logics 1999 - [c50]Alexander Borgida, Premkumar T. Devanbu:
Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability. ICSE 1999: 378-387 - [c49]Alexander Borgida, Takahiro Murata:
Tolerating exceptions in workflows: a unified framework for data and processes. WACC 1999: 59-68 - [e2]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 Workshop Proceedings 22, CEUR-WS.org 1999 [contents] - 1998
- [j18]Alexander Borgida, Vinay K. Chaudhri, Martin Staudt:
KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases. SIGMOD Rec. 27(3): 10-15 (1998) - [c48]Franz Baader, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results. Description Logics 1998 - [c47]Franz Baader, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results. ICCS 1998: 15-34 - [e1]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 Workshop Proceedings 10, CEUR-WS.org 1998 [contents] - 1997
- [j17]John Mylopoulos, Alexander Borgida, Eric S. K. Yu:
Representing Software Engineering Knowledge. Autom. Softw. Eng. 4(3): 291-317 (1997) - [c46]Alexander Borgida:
Incremental Individual Reasoning in ProtoDL. Description Logics 1997 - [c45]Alexander Borgida, Grant E. Weddell:
Adding Uniqueness Constraints to Description Logics (Preliminary Report). DOOD 1997: 85-102 - 1996
- [j16]Alexander Borgida:
On the Relative Expressiveness of Description Logics and Predicate Logics. Artif. Intell. 82(1-2): 353-367 (1996) - [c44]Alexander Borgida, Deborah L. McGuinness:
Asking Queries about Frames. Description Logics 1996: 15-24 - [c43]Alexander Borgida, Charles L. Isbell Jr., Deborah L. McGuinness:
Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. Description Logics 1996: 87-91 - [c42]Alexander Borgida, Deborah L. McGuinness:
Asking Queries about Frames. KR 1996: 340-349 - 1995
- [j15]Alexander Borgida:
Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682 (1995) - [j14]Alexander Borgida, John Mylopoulos, Raymond Reiter:
On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21(10): 785-798 (1995) - [c41]Deborah L. McGuinness, Alexander Borgida:
Explaining Subsumption in Description Logics. IJCAI (1) 1995: 816-821 - 1994
- [j13]Alexander Borgida, Peter F. Patel-Schneider:
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. 1: 277-308 (1994) - [c40]Alexander Borgida:
On The Relationship Between Description Logic and Predicate Logic. CIKM 1994: 219-225 - [c39]Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
On Formal Requirements Modeling Languages: RML Revisited. ICSE 1994: 135-147 - [i2]Alexander Borgida, Peter F. Patel-Schneider:
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. CoRR abs/cs/9406101 (1994) - 1993
- [c38]Alexander Borgida, John Mylopoulos, Raymond Reiter:
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE 1993: 303-314 - [c37]Alexander Borgida, Ronald J. Brachman:
Loading Data into Description Reasoners. SIGMOD Conference 1993: 217-226 - 1992
- [j12]Alexander Borgida:
From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics. Int. J. Cooperative Inf. Syst. 1(1): 93-126 (1992) - [j11]Alexander Borgida, Matthias Jarke:
Knowledge Representation and Reasoning in Software Engineering. IEEE Trans. Software Eng. 18(6): 449-450 (1992) - [c36]William W. Cohen, Alexander Borgida, Haym Hirsh:
Computing Least Common Subsumers in Description Logics. AAAI 1992: 754-760 - [c35]Alexander Borgida:
Structural Subsumption: What Is It and Why Is It Important? Description Logics 1992: 14-18 - [c34]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 - [c33]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 - [c32]Alexander Borgida:
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR 1992: 259-269 - 1991
- [j10]Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida:
The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bull. 2(3): 108-113 (1991) - [p1]Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Alexander Borgida:
Living wiht Classic: When and How to Use a KL-ONE-Like Language. Principles of Semantic Networks 1991: 401-456 - 1990
- [j9]John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis:
Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. 8(4): 325-362 (1990) - [c31]Alexander Borgida:
Knowledge Representation, Semantic Data Modelling: What's the Difference? ER 1990: 1
1980 – 1989
- 1989
- [j8]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) - [c30]Alexander Borgida, John Mylopoulos, Joachim W. Schmidt, Ingrid Wetzel:
Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL 1989: 258-280 - [c29]David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz:
Vivid Knowledge and Tractable Reasoning. IJCAI 1989: 1146-1152 - [c28]Alexander Borgida, David W. Etherington:
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. KR 1989: 33-43 - [c27]Alexander Borgida:
Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989: 394-400 - [c26]Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness
, Lori Alperin Resnick:
CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 - [c25]Rakesh Agrawal, Alexander Borgida, H. V. Jagadish:
Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. SIGMOD Conference 1989: 253-262 - 1988
- [c24]Matthew Morgenstern, Alexander Borgida, Catherine Lassez, David Maier, Gio Wiederhold:
Constraint-Based Systems: Knowledge About Data - Panel Report. Expert Database Conf. 1988: 23-43 - [c23]Alexander Borgida:
Modeling Class Hierarchies with Contradictions. SIGMOD Conference 1988: 434-443 - 1987
- [c22]Alexander Borgida:
Exceptions dans les bases de données. BDA 1987 - [c21]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
- [j7]Sol J. Greenspan, Alexander Borgida, John Mylopoulos:
A requirements modeling language and its logic. Inf. Syst. 11(1): 9-23 (1986) - [c20]Alexander Borgida:
Exceptions in object-oriented languages. OOPWORK 1986: 107-119 - [c19]Alexander Borgida:
Can entity-based information systems live with exceptions? (abstract only). OOPWORK 1986: 183 - 1985
- [j6]Alexander Borgida, Sol J. Greenspan, John Mylopoulos:
Knowledge Representation as the Basis for Requirements Specifications. Computer 18(4): 82-91 (1985) - [j5]Alexander Borgida:
Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Softw. 2(1): 63-72 (1985) - [j4]Alexander Borgida:
Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603 (1985) - [c18]Alexander Borgida:
Class Hierarchies in Information Systems: Sets, Types, or Prototypes? Data Types and Persistence (Appin) 1985: 137-154 - [c17]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 - [c16]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 - [c15]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 - [c14]Alexander Borgida:
Conceptual Modeling of Information Systems. On Knowledge Base Management Systems (Islamorada) 1985: 461-469 - [c13]Sol J. Greenspan, Alexander Borgida, John Mylopoulos:
A Requirements Modeling Language and Its Logic. On Knowledge Base Management Systems (Islamorada) 1985: 471-502 - [c12]Alexander Borgida:
Languages and The Engineering of Large Knowledge Bases. On Knowledge Base Management Systems (Islamorada) 1985: 503-505 - [c11]Alexander Borgida, Keith E. Williamson:
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. VLDB 1985: 72-81 - [c10]Alexander Borgida, Sol J. Greenspan, John Mylopoulos:
Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme 1985: 152-169 - [i1]Alexander Borgida:
Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper. Data Types and Persistence (Appin), Informal Proceedings 1985: 265-271 - 1984
- [j3]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) - [c9]Alexander Borgida, Tomasz Imielinski:
Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity. NMR 1984: 21-32 - [c8]Naftaly H. Minsky, Alexander Borgida:
The Darwin Software-Developemnt-Environemnt for Evolving Systems. Software Development Environments (SDE) 1984: 89-95 - 1983
- [j2]Alexander Borgida:
Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. Math. Syst. Theory 16(1): 29-56 (1983) - 1982
- [c7]Alexander Borgida, John Mylopoulos, Harry K. T. Wong:
Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982: 87-117 - [c6]Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
Capturing More World Knowledge in the Requirements Specification. ICSE 1982: 225-235 - 1981
- [c5]Alexander Borgida:
On the Definition of Specialization Hierarchies for Procedures. IJCAI 1981: 254-256 - [c4]Alexander Borgida, Harry K. T. Wong:
Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981: 260-271 - 1980
- [c3]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 - [c2]Alexander Borgida, Sol J. Greenspan:
Data and Activities: Exploiting Hierarchies of Classes. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 98-100
1970 – 1979
- 1977
- [b1]Alexander Borgida:
Formal studies of stratificational grammars. University of Toronto, Canada, 1977 - 1976
- [j1]John Mylopoulos, Alexander Borgida, Phil 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
- [c1]John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar:
Semantic Networks and the Generation of Context. IJCAI 1975: 134-142
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint