Alexander Borgida

Suggest Changes
John Mylopoulos112
Stephen Fickas38
Axel Van Lamsweerde34
Daniele Nardi32
Maurizio Lenzerini32
112John Mylopoulos
51Diego Calvanese
51Alex Borgida
45Giuseppe De Giacomo
45Franz Baader

Filter Results:

  • Full text PDF available (81)

Publication Year

1975
2017

Publication Type

Co-author

Publication Venue

Key Phrases

Learn More
CLASSIC: A Structural Data Model for Objects
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects, but in terms of a level of intensional structure as well. The CLASSIC language of <italic>structured descriptions</italic> permits i) partial descriptions of individuals, under an 'open world' assumption, ii) answers to queries… (More)
Telos: Representing Knowledge About Information Systems
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 knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge. Accordingly,… (More)
Distributed Description Logics: Assimilating Information from Peer Sources
This report has been submitted forr publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report forr early dissemination of its contents. In view of the transfert of copy right too the outside publisher, its distribution outside of ITC priorr to publication should be limited to peer… (More)
Living with CLASSIC: When and How to Use a KL-ONE-Like Language
classic is a recently-developed knowledge representation system that follows the paradigm originally set out in the kl-one system: it concentrates on the deenition of structured concepts, their organization into taxonomies, the creation and manipulation of individual instances of such concepts, and the key inferences of subsumption and classiication. Rather… (More)
Efficient Management of Transitive Relationships in Large Data and Knowledge Bases
We argue that accessing the transitive closure of relationships is an important component of both databases and knowledge representation systems in Artificial Intelligence. The demands for efficient access and management of large relationships motivate the need for explicitly storing the transitive closure in a compressed and local way, while allowing… (More)
Description Logics in Data Management
Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Artiicial Intelligence. After a brief introduction , we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations | each involving one or… (More)
On the Relative Expressiveness of Description Logics and Predicate Logics
It is natural to view concept and role deenitions in description logics as expressing monadic and dyadic predicates in predicate calculus. We show that the descriptions built using the constructors usually considered in the DL literature are characterized exactly as the predicates deenable by formulas in L 3 , the subset of rst-order predicate calculus with… (More)
Towards Measuring Similarity in Description Logics
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 formulations to more complex DLs, and settle on one based on probability/information theory as being the most principled. The idea of measuring concept similarity… (More)
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
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 deal eeciently with individuals in classic descriptions, the developers have had to use an algorithm that is incomplete with respect to the standard,… (More)