Alexander Borgida

According to our database1, Alexander Borgida authored at least 150 papers between 1975 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

YourDigitalSelf: A Personal Digital Trace Integration Tool.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017
Integration and Exploration of Connected Personal Digital Traces.
Proceedings of the ExploreDB'17, Chicago, IL, USA, May 19, 2017, 2017

Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Concerning Referring Expressions in Query Answers.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Desiree: a Refinement Calculus for Requirements Problems.
CoRR, 2016

On Referring Expressions in Query Answering over First Order Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

On Referring Expressions in Information Systems Derived from Conceptual Modelling.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Engineering Requirements with Desiree: An Empirical Evaluation.
Proceedings of the Advanced Information Systems Engineering, 2016

2015
Challenges for Semantic Technologies in Distributed Mobile Environments.
Proceedings of the 1st International Workshop on Mobile Deployment of Semantic Technologies (MoDeST 2015) co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

From Stakeholder Requirements to Formal Specifications Through Refinement.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

Towards a general formal framework of Coherence Management in RE.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
The Requirements Problem for Adaptive Systems.
ACM Trans. Management Inf. Syst., 2014

Strategic business modeling: representation and reasoning.
Software and System Modeling, 2014

Agile requirements engineering via paraconsistent reasoning.
Inf. Syst., 2014

Non-functional requirements as qualities, with a spice of ontology.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Applying knowledge representation and reasoning to (simple) goal models.
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

An Ontological Interpretation of Non-Functional Requirements.
Proceedings of the Formal Ontology in Information Systems, 2014

An Overview of Requirements Evolution.
Proceedings of the Evolving Software Systems, 2014

2013
Runtime goal models: Keynote.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

Non-Functional Requirements Revisited.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Requirements models for design- and runtime: a position paper.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

2012
Learning web-service task descriptions from traces.
Web Intelligence and Agent Systems, 2012

A Formal Semantics for Weighted Ontology Mappings.
Proceedings of the Semantic Web - ISWC 2012, 2012

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Agile Requirements Evolution via Paraconsistent Reasoning.
Proceedings of the Advanced Information Systems Engineering, 2012

2011
What's in an Attribute? Consequences for the Least Common Subsumer
CoRR, 2011

Extensible Knowledge Representation: the Case of Description Reasoners
CoRR, 2011

Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems
CoRR, 2011

Finding incremental solutions for evolving requirements.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Requirements evolution drives software evolution.
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, 2011

2010
On Finding Query Rewritings under Expressive Constraints.
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Reasoning with Optional and Preferred Requirements.
Proceedings of the Conceptual Modeling, 2010

2009
On Importing Knowledge from Ontologies..
Proceedings of the Modular Ontologies: Concepts, 2009

Conceptual Schema Design.
Proceedings of the Encyclopedia of Database Systems, 2009

Logical Database Design: from Conceptual to Logical Schema.
Proceedings of the Encyclopedia of Database Systems, 2009

Description Logics.
Proceedings of the Encyclopedia of Database Systems, 2009

Measuring and Comparing Effectiveness of Data Quality Techniques.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

2008
Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies.
JCSE, 2008

Explanation in the DL-LiteFamily of Description Logics.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Towards a Compositional Semantic Account of Data Quality Attributes.
Proceedings of the Conceptual Modeling, 2008

Explanation in DL-Lite.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
How knowledge representation meets software engineering (and often databases).
Autom. Softw. Eng., 2007

Goal-Oriented Conceptual Database Design.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Importing from Functional Knowledge Bases - A Preview.
Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

Data Quality By Design: A Goal-Oriented Approach.
Proceedings of the 12th International Conference on Information Quality, 2007

A Semantic Approach to Discovering Schema Mapping Expressions.
Proceedings of the 23rd International Conference on Data Engineering, 2007

Knowledge Representation Meets Databases - a View of the Symbiosys.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

On Importing Knowledge from DL Ontologies: Some Intuitions and Problems.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Discovering the Semantics of Relational Tables Through Mappings.
, 2006

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Building Semantic Mappings from Databases to Ontologies.
Proceedings of the Proceedings, 2006

2005
Constructing Complex Semantic Mappings Between XML Data and Ontologies.
Proceedings of the Semantic Web, 2005

Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Aspects of Distributed and Modular Ontology Reasoning.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Towards Measuring Similarity in Description Logics.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Databases and the Semantic Web: Data Semantics Revisited.
Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

2004
Data Semantics Revisited.
Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

Refining Semantic Mappings from Relational Tables to Ontologies.
Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

2003
Distributed Description Logics: Assimilating Information from Peer Sources.
J. Data Semantics, 2003

Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?").
Proceedings of the Semantic Web, 2003

Description Logics for Databases.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Conceptual Modeling with Description Logics.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

2002
Being Logical About Desert Island Reading.
Autom. Softw. Eng., 2002

Distributed Description Logics: First results.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

2001
What's in an Attribute? Consequences for the Least Common Subsumer.
J. Artif. Intell. Res., 2001

Diachronic Description Logics.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes.
IEEE Trans. Software Eng., 2000

Lightweight Semantics For Shared Object-oriented Software.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

Explaining ALC Subsumption.
Proceedings of the ECAI 2000, 2000

What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
Matching in Description Logics.
J. Log. Comput., 1999

Extensible Knowledge Representation: the Case of Description Reasoners.
J. Artif. Intell. Res., 1999

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.
Artif. Intell., 1999

Tolerating exceptions in workflows: a unified framework for data and processes.
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Explaining ALC Subsumption.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998
KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases.
SIGMOD Record, 1998

Matching in Description Logics: Preliminary Results.
Proceedings of the Conceptual Structures: Theory, 1998

Matching in Description Logics: Preliminary Results.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997
Representing Software Engineering Knowledge.
Autom. Softw. Eng., 1997

Adding Uniqueness Constraints to Description Logics (Preliminary Report).
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Incremental Individual Reasoning in ProtoDL.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
On the Relative Expressiveness of Description Logics and Predicate Logics.
Artif. Intell., 1996

Asking Queries about Frames.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Asking Queries about Frames.
Proceedings of the 1996 International Workshop on Description Logics, 1996

Reasoning with Black Boxes: Handling Test Concepts in CLASSIC.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1995
On the Frame Problem in Procedure Specifications.
IEEE Trans. Software Eng., 1995

Description Logics in Data Management.
IEEE Trans. Knowl. Data Eng., 1995

Explaining Subsumption in Description Logics.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.
J. Artif. Intell. Res., 1994

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.
CoRR, 1994

On Formal Requirements Modeling Languages: RML Revisited.
Proceedings of the 16th International Conference on Software Engineering, 1994

On The Relationship Between Description Logic and Predicate Logic.
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

1993
Loading Data into Description Reasoners.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
Knowledge Representation and Reasoning in Software Engineering.
IEEE Trans. Software Eng., 1992

From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics.
Int. J. Cooperative Inf. Syst., 1992

Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems.
Proceedings of the Personal Computers and Intelligent Systems, 1992

The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation.
FGCS, 1992

Structural Subsumption: What Is It and Why Is It Important?
Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

Computing Least Common Subsumers in Description Logics.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale.
SIGART Bulletin, 1991

Principles of semantic networks - explorations in the representation of knowledge.
The Morgan Kaufmann Series in representation and reasoning, Morgan Kaufmann, ISBN: 1558600884, 1991

1990
Telos: Representing Knowledge About Information Systems.
ACM Trans. Inf. Syst., 1990

Knowledge Representation, Semantic Data Modelling: What's the Difference?
Proceedings of the 9th International Conference on Entity-Relationship Approach (ER'90), 1990

1989
Database Programming by Formal Refinement of Conceptual Designs.
IEEE Data Eng. Bull., 1989

CLASSIC: A Structural Data Model for Objects.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Efficient Management of Transitive Relationships in Large Data and Knowledge Bases.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Type Systems for Querying Class Hierarchies with Non-strict Inheritance.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Vivid Knowledge and Tractable Reasoning.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Support for Data-Intensive Applications: Conceptual Design and Software Development.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988
Modeling Class Hierarchies with Contradictions.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Constraint-Based Systems: Knowledge About Data - Panel Report.
Expert Database Conf., 1988

1987
Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.
Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Exceptions dans les bases de données.
Proceedings of the Troisièmes Journées Bases de Données Avancées, 1987

1986
A requirements modeling language and its logic.
Inf. Syst., 1986

1985
Language Features for Flexible Handling of Exceptions in Information Systems.
ACM Trans. Database Syst., 1985

Features of Languages for the Development of Information Systems at the Conceptual Level.
IEEE Software, 1985

Knowledge Representation as the Basis for Requirements Specifications.
IEEE Computer, 1985

Knowledge Reperesentation as the Basis for Requirements Specification (Reprint).
Proceedings of the Wissensbasierte Systeme, 1985

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them.
Proceedings of the VLDB'85, 1985

Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper
Proceedings of the Data Types and Persistence, 1985

Design of a Compiler for a Semantic Data Model.
Foundations of Knowledge Base Management (Xania), 1985

A Requirements Modeling Language and Its Logic.
On Knowledge Base Management Systems (Islamorada), 1985

Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.
On Knowledge Base Management Systems (Islamorada), 1985

The Software Development Environment as a Knowledge Base Management System.
Foundations of Knowledge Base Management (Xania), 1985

Class Hierarchies in Information Systems: Sets, Types, or Prototypes?
Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

Languages and The Engineering of Large Knowledge Bases.
On Knowledge Base Management Systems (Islamorada), 1985

Conceptual Modeling of Information Systems.
On Knowledge Base Management Systems (Islamorada), 1985

1984
Information System Design at the Conceptual Level - The Taxis Project.
IEEE Database Eng. Bull., 1984

The Darwin Software-Developemnt-Environemnt for Evolving Systems.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1983
Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics.
Mathematical Systems Theory, 1983

1982
Capturing More World Knowledge in the Requirements Specification.
Proceedings of the Proceedings, 1982

Generalization/Specialization as a Basis for Software Specification.
On Conceptual Modelling (Intervale), 1982

1981
Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory
Proceedings of the Very Large Data Bases, 1981

On the Definition of Specialization Hierarchies for Procedures.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Consistency of Models (discussion).
Proceedings of the Workshop on Data Abstraction, 1980

Data and Activities: Exploiting Hierarchies of Classes.
Proceedings of the Workshop on Data Abstraction, 1980

1976
TORUS: a step towards bridging the gap between data bases and the casual user.
Inf. Syst., 1976

1975
Semantic Networks and the Generation of Context.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975


  Loading...