Efficient management of transitive relationships in large data and knowledge bases
This work presents a transitive closure compression technique, based on labeling spanning trees with numeric intervals, and provides both analytical and empirical evidence of its efficacy, including a proof of optimality.
Distributed Description Logics: Assimilating Information from Peer Sources
This work investigates those situations where there may not be a simple one-to-one mapping between the individuals in the domains of the various Information Sources.
CLASSIC: a structural data model for objects
- Alexander Borgida, R. Brachman, D. McGuinness, Lori Alperin Resnick
- Computer ScienceACM SIGMOD Conference
- 1 June 1989
The kind of language of descriptions and queries presented here provides a new arena for the search for languages that are more expressive than conventional DBMS languages, but for which query processing is still tractable.
Telos: representing knowledge about information systems
Telos is a language intended to support the development of information systems 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.
Description Logics in Data Management
- Alexander Borgida
- Computer ScienceIEEE Transactions on Knowledge and Data…
- 1 October 1995
This work indicates how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints.
Conceptual Modeling of Information Systems
- Alexander Borgida
- Computer ScienceOn Knowledge Base Management Systems
This brief review paper presents a list of general features which characterize languages that can be used for conceptual modeling languages, and distinguish them from more traditional approaches to developing database-intensive application programs.
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
The logical formalism of Description Logics is extended, which has previously served successfully in IS integration and is currently being used in semantic-web ontolgies, to handle directed non-injective mappings between the individuals in the domains of multiple IS.
Living wiht Classic: When and How to Use a KL-ONE-Like Language
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
- Alexander Borgida, P. Patel-Schneider
- Computer ScienceJournal of Artificial Intelligence Research
- 1 August 1993
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, and provides a variant semantics for descriptions with respect to which the current implementation is complete, and which can be independently motivated.
Strategic business modeling: representation and reasoning
- Jennifer Horkoff, D. Barone, J. Mylopoulos
- Computer ScienceJournal of Software and Systems Modeling
- 1 July 2014
Business intelligence (BI) offers tremendous potential for business organizations to gain insights into their day-to-day operations, as well as longer term opportunities and threats. However, most of…