Alex Borgida, Fausto Giunchiglia
Abstract: We review several proposals for reusing knowledge from existing ontologies by importing concepts and related axioms, which start from a set Ω of “identifiers of interest”. In order to...
Report on the 1999 International Workshop on Description Logics (2009)
Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, Peter Patel-schneider
was by invitation only. Most of the attendees were selected based on research papers or position papers submitted to the workshop. In total about 60 people attended. The workshop was organized in...
Conceptual Modeling CSC2507 (2008)
Alex Borgida, John Mylopoulos, Alex Borgida, John Mylopoulos, Alex Borgida, John Mylopoulos, ...
■ Gottlob Frege studied them first in the late 1890s, followed by Bertrand Russell and others [Feigl49]. ■ A description refers to things in the application; descriptions may be definite or...
[6] G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User (2008)
Alex Borgida, Ronald J. Brachman, Deborah L. Mcguinness, Lori Alperin
Transactions on Database Systems, 1(1), 1976. [11] Robin Cohen. Analyzing The Structure Of Argumentative Discourse. Computational
Yuan An, Alex Borgida, John Mylopoulos
There is general agreement that the problem of data semantics has to be addressed for XML data to become machine-processable. This problem can be tackled by defining a semantic mapping between an XML...
Goal-Oriented Conceptual Database Design (2008)
Lei Jiang, Thodoros Topaloglou, Alex Borgida, John Mylopoulos
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goal analysis to...
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative logical expressions...
References [1] Jean-Raymond Abrial. The B-Book: Assigning Programs to Meanings. (2008)
Sten Agerhold, Peter Gorm, Larsen The, Ifad Vdm Lightweight, Werner Stephan, Paolo Traverso, ...
problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10):785–798, 1995. [8] E.J.H. Chang and R. Roberts. An improved algorithm for decentralized extrema-finding in...
Lei Jiang, Alex Borgida, Thodoros Topaloglou, John Mylopoulos
Abstract: We present a design process for incorporating data quality requirements into database schemas that is rooted in goal-oriented requirements analysis techniques, developed in the Requirement...
Report on the 1999 International Workshop on Description Logics (2008)
Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Moller, Peter Patel-schneider
was by invitation only. Most of the attendees were selected based on research papers or position papers submitted to the workshop. In total about 60 people attended. The workshop was organized in...
Knowledge Representation meets Databases — a view of the symbiosis — (2008)
Abstract. This rather informal paper surveys a personal selection of research projects which addressed new problems related to Databases, and whose solution was both inspired by ideas from the field...
1A Other Organizations Involved as Partners NONE 1B Other Collaborators or Contacts (2008)
David W. Etherington, James M. Crawford, Alex Borgida, Mukesh Dalal
Our objective was to study a novel, approximation-based, approach to tractable nonmonotonic reasoning. Despite the critical role of nonmonotonicity in most human reasoning tasks, current nonmonotonic...
Alex Borgida, Vinay K. Chaudhri, Martin Staudt
this report ([1] to [19]), and the proceedings are available electronically.
The Challenge of Integrating Knowledge . . . (2008)
A large portion of data about them can be managed better by a DBMS [ Bresciani,1994 ] . -- Integrated KB and DB. KB based on DL are often used in applications in which they need access to large...
Modular Implementation of Individual Reasoning in (2007)
Protodl The, Alex Borgida, Daniel Kudenko
This is the second report in a series on the PROTODL system, which is an *extensible* knowledge representation and reasoning system based on Description Logics (DLs). We have motivated elsewhere...
Modular Implementation of Individual Reasoning in (2007)
Protodl The Extensible, Alex Borgida, Daniel Kudenko
This is the second report in a series on the PROTODL system, which is an *extensible* knowledge representation and reasoning system based on Description Logics (DLs). We have motivated elsewhere...
Ronald J. Brachman, Alex Borgida, Deborah L. Mcguinness
Most recent key developments in research on knowledge representation (KR) have been of the more theoretical sort, involving worst-case complexity results, solutions to technical challenge problems,...
Alex Borgida, John Mylopoulos, Raymond Reiter
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem which is particularly...
Distributed Description Logics: – preliminary investigations – (2007)
Alex Borgida, Luciano Serafini
Information integration has been, and remains one of the major challenges of information processing, and is well supported by description logics. We illustrate the need for a more refined approach in...
Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Moller, Peter Patel-schneider
was by invitation only. Most of the attendees were selected based on research papers or position papers submitted to the workshop. In total about 60 people attended. The workshop was organized in...
Complex Alignments Between Ontology Universes (2007)
The theme of this workshop is the synthesis of database and AI views of semantic integration. We started working on issues of integrating Description Logic ontologies a few years ago, by examining to...
Diachronic Description Logics * * Initial Explorations ** (2007)
We provide motivation and a notation for representing in description logics certain "dynamic constraints " concerning changes of state. After providing a semantics for such...
Distributed Description Logics: Preliminary Investigations (2007)
Alex Borgida, Luciano Serafini
Information integration has been, and remains one of the major challenges of information processing, and is well supported by description logics. We illustrate the need for a more re ned approach in...
{ preliminary investigations { (2007)
Scientifica E Tecnologica, Borgida A, Serafini L, Alex Borgida, Luciano Sera Ni
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Distributed Description Logics: Assimilating Information from Peer Sources (2007)
Scientifica E Tecnologica, Borgida A, Serafini L, Alex Borgida, Luciano Sera Ni
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Scientifica E Tecnologica, Borgida A, Serafini L, Alex Borgida, Luciano Sera Ni
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Importing from functional knowledge bases - A preview - (2007)
Borgida, Alex, Giunchiglia, Fausto
We review several proposals for reusing knowledge from existing ontologies by importing concepts and related axioms, which start from a set of "identifiers of interest". In order to compare these and...
On Importing Knowledge from DL Ontologies: some Intuitions and Problems (2007)
Abstract: This paper argues for the benefits of distinguishing the notions of “ontology module ” and “importing terms from an ontology”, by sampling some papers on these topics in both the AI...
On Importing Knowledge from DL Ontologies: some Intuitions and Problems (2007)
Abstract. This paper argues for the benefits of distinguishing the notions of “ontology module ” and “importing terms from an ontology”, by sampling some papers on these topics in the AI and...
Discovering the Semantics of Relational Tables Through Mappings (2006)
Yuan An, Alex Borgida, John Mylopoulos
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relationship...
Yuan An, Alex Borgida, John Mylopoulos
Abstract. There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual model or...
Constructing Complex Semantic Mappings Between XML Data and Ontologies (2005)
Yuan An, Alex Borgida, John Mylopoulos
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. Interpretation is...
Aspects of Distributed and Modular Ontology Reasoning (2005)
Luciano Serafini, Alex Borgida, Andrei Tamilin
We investigate a formalism for reasoning with multiple local ontologies, connected by directional semantic mappings. We propose: (1) a relatively small change of semantics which localizes...
Towards measuring similarity in description logics (2005)
Alex Borgida, Thomas J. Walsh, Haym Hirsh
We review several kinds of previously studied concept similarity measures, and then rephrase them in terms of a simple DL. We discuss the difficulties encountered in trying to generalize these...
Yuan An, Alex Borgida, John Mylopoulos
Abstract. There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual model or...
Yuan An, John Mylopoulos, Alex Borgida
The goal of this paper is to investigate the enduring problem of data semantics recurred in the context of data integration and the semantic web. The investigation is based on two principles,...
Distributed Description Logics: Assimilating Information from Peer Sources (2003)
Alex Borgida, Luciano Serafini
Due to the availability on the Internet of a wide variety of sources of information on closely related topics, the problem of providing seamless, integrated access to such sources has become (again)...
Representing the UMLS semantic network using OWL: (Or “What's in a Semantic Web (2003)
Abstract. The Semantic Network, a component of the Unified Medical Language System ® (UMLS), describes core biomedical knowledge consisting of semantic types and relationships. It is a well...
Abstract. A central problem of co-operative information systems is the ability to integrate information from multiple sources. Although this problem has been studied for several decades, there is a...
One approach to integrating knowledge bases is based on nding assertions that relate the expressions in the constituent terminologies. For knowledge bases with many terms this task requires computer...
One approach to integrating knowledge bases is based on finding assertions that relate the expressions in the constituent terminologies. For knowledge bases with many terms this task requires...
Explaining ALC Subsumption (2000)
Alex Borgida, Enrico Franconi, Ian Horrocks
. Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities were not available...
Extensible knowledge representation: the case of description reasoners (1999)
This paper o#ers an approach to extensible knowledge representation and reasoning for the Description Logic family of formalisms. The approach is based on the notion of adding new concept...
Explaining alc subsumption (1999)
Alex Borgida, Enrico Franconi, Ian Horrocks
Abstract. Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities were not...
What's in an Attribute? Consequences for the Least Common Subsumer (1999)
Functional relationships between objects, called "attributes", are of considerable importance in knowledge representation languages, including Description Logics (DLs). A study of...
Adding more "DL" to "IDL": towards more knowledgeable component inter-operability (1999)
In an open component market place, interface description languages (IDLs) such as CORBA's provide for the consumer only a weak guarantee (concerning type signatures) that a software service will...
this paper can therefore be considered as an investigation into the limits of automatic ontology integration under idealized circumstances. However, as mentioned earlier, our long term goal is the...
What's in an Attribute? - Consequences for the Least Common Subsumer (1999)
Functional relationships between objects, called "attributes", are of considerable importance in knowledge representation languages, including Description Logics (DLs). A study of the...
Explaining ALC Subsumption (1999)
Alex Borgida, Enrico Franconi, Ian Horrocks, Deborah McGuinness
this document.
Adding more "DL" to "IDL": towards more knowledgeable component inter-operability (1999)
In an open component market place, interface description languages (IDLs), such as corba's, provide for the consumer only a weak guarantee (concerning type signatures) that a software service...
Tolerating Exceptions in Workflows: a Unified Framework for Data and Processes (1999)
Practical workflow systems need to be able to tolerate deviations from the initial process model because of un-anticipated situations. They should also be able to accommodate deviations in the format...
We are interested in providing semi-automatic support for the task of integrating large knowledge bases (KBs) through the use of structural information in description logics. For that reason we set...
Report on the 1999 International Workshop on Description Logics (1999)
Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, Peter Patel-schneider
Calvanese. Four papers were presented in the session. Riccardo Rosati gave a talk on extending hybrid knowledge-based systems integrating rules and structured representation of information. He...
Alex Alex Borgida, John John Mylopoulos, Alex Borgida, John Mylopoulos, Seb D, Philip Bernstein (microsoft, ...
© 2005 Alex Borgida and John Mylopoulos SEB D’05-- 2 “…The three most important problems in Databases used to be Performance, Performance and Performance;
Workflows as Persistent Objects with Persistent Exceptions - A Framework for Flexibility (1998)
- a framework for flexibility. \Lambda
Matching in Description Logics: Preliminary Results (1998)
Franz Baader, Alex Borgida, Deborah L. McGuinness
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help...
The need for flexibility in workflows and the problem of unanticipated exceptions are well recognized, and in fact a number of solutions have already been proposed in areas such as computer-supported...
Extensible Knowledge Base Management for Description Logics (1997)
Description Logics form a family of decidable knowledge representation and reasoning languages, which have been applied with increasing success to problems of data and information management, as...
Adding Uniqueness Constraints to Description Logics (1997)
this paper is to rectify this problem, by integrating aspects of the research of [BW94] into DLs. We point out that the success of this integration is not a priori expected because their data model...
Incremental Individual Reasoning in ProtoDL (1997)
This paper continues our explorations [1, 3, 2] into the implementation of extensible DL reasoners that try to maintain a model-like data-structure, rather than using a refutation technique
On the Relative Expressiveness of Description Logics and Predicate Logics. (1996)
Alex Borgida Dept, Alex Borgida
It is natural to view concept and role definitions in Description Logics as expressing monadic and dyadic predicates in Predicate Calculus. We show that the descriptions built using the constructors...
On the Relative Expressiveness of Description Logics and Predicate Logics. (1996)
It is natural to view concept and role definitions in Description Logics as expressing monadic and dyadic predicates in Predicate Calculus. We show that the descriptions built using the constructors...
On the Relative Expressiveness of Description Logics and Predicate Logics. (1996)
It is natural to view concept and role definitions in Description Logics as expressing monadic and dyadic predicates in Predicate Calculus. We show that the descriptions built using the constructors...
On the Relative Expressiveness of Description Logics and Predicate Logics (1996)
It is natural to view concept and role definitions in description logics as expressing monadic and dyadic predicates in predicate calculus. We show that the descriptions built using the constructors...
International Workshop on Description Logics (1995)
Alex Borgida, Maurizio Lenzerini, Daniele Nardi, Bernhard Nebel
A formal language for representing and reasoning about time, actions and plans in a uniform way is presented. We employ an action representation in the style of Allen, where an action is represented...
Explaining Subsumption in Description Logics (1995)
Deborah L. McGuinness, Alex Borgida
Description Logic-based systems include extensive, complex reasoning components that may produce results that surprise users, yet these systems typically provide little or no explanation support. In...
On formal requirements modeling languages: RML revisited (1994)
Sol Greenspan, John Mylopoulos, Alex Borgida
123Abstract Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was...
A semantics and complete algorithm for subsumption in the CLASSIC description logic (1994)
This paper analyzes the correctness of the subsumption algorithm used in classic, a description logic-based knowledge representation system that is being used in practical applications. In order to...
This is the second report in a series on the PROTODL system, which is an *extensible* knowledge representation and reasoning system based on Description Logics (DLs). We have motivated elsewhere...
On Formal Requirements Modeling Languages: RML Revisited (1994)
Sol Greenspan, John Mylopoulos, Alex Borgida
Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was first...
On the Relationship between Description Logic and Predicate Logic Queries (1994)
Description Languages (DLs) are descendants of the kl-one [15] knowledge representation system, and form the basis of several object-centered knowledge base management systems developed in recent...
A semantics and complete algorithm for subsumption in the CLASSIC description logic (1994)
This paper analyzes the correctness of the subsumption algorithm used in classic, a description logic-based knowledge representation system that is being used in practical applications. In order to...
On the Frame Problem in Procedure Specifications (1993)
Alex Borgida, John Mylopoulos, Raymond Reiter
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem which is particularly...
Integrated Support For Data Archaeology (1993)
Ronald Brachman, Fern Halper, Peter G. Selfridge, Thomas Kirk, Loren G. Terveen, Alan Lazar, ...
Corporate databases increasingly are being viewed as potentially rich sources of new and valuable knowledge. Various approaches to"discovering" or "mining " such knowledge have...
Loading Data into Description Reasoners (1993)
Alex Borgida, Ronald J. Brachman
Knowledge-base management systems (KBMS) based on description logics are being used in a variety of situations where access is needed to large amounts of data stored in existing relational databases....
Computing least common subsumers in description logics (1992)
William W. Cohen, Alex Borgida, Haym Hirsh
Description logics are a popular formalism for knowledge representation and reasoning. This paper introduces a new operation for description logics: computing the "least common subsumer...
Computing Least Common Subsumers in Description Logics (1992)
William Cohen, Alex Borgida, Haym Hirsh
Description logics are a popular formalism for knowledge representation and reasoning. This paper introduces a new operation for description logics: computing the "least common subsumer" of...
This paper presents some of the underlying principles of description logics (also known as terminological logics or kl-one-style languages), grounding them in the lattice of terms organized by the...
Towards the Systematic Development of Description Logic Reasoners: CLASP reconstructed (1992)
It is argued that considerable benefits can be obtained by making KR&R systems easily extendable, so that new language constructs can be added on a per-application basis. In order to achieve this...
The Frame Problem in Object-Oriented Specifications: An Exhibition of Problems and Approaches (1992)
We present first a series of examples involving the development of information systems, which suggest a number of desirable features for object-oriented specification techniques, especialy those...
Computing Least Common Subsumers in Description Logics (1992)
William W. Cohen, Alex Borgida, Haym Hirsh
Description logics are a popular formalism for knowledge representation and reasoning. This paper introduces a new operation for description logics: computing the "least common subsumer" of...
Telos: Representing Knowledge About Information Systems (1990)
John Mylopoulos, Alex Borgida, Matthias Jarke, Manolis Koubarakis
We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development is...
Vivid Knowledge and Tractable Reasoning: Preliminary Report (1989)
David W. Etherington, Alex Borgida, Ronald J. Brachman, Henry Kautz
Mundane, everyday, reasoning is fast. Given the inherent complexity of sound and complete reasoning with representations expressive enough to capture what people seem to know, commonsense reasoning...
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning (1989)
Alex Borgida, David W. Etherington
We combine ideas from relation-based data management with class hierarchies to obtain Hierarchical Knowledge Bases, which have greater expressive power while maintaining the benefits of predictable...