(Enter summary)
Abstract: 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 does not involve
concept definitions, which would correspond to views in OODB, yet the main concern
of DLs is exactly with reasoning about such view definitions.
1.1 Description Logics
DLs are used to describe situations using various kinds of individuals (objects),
related by relationships, which we ... (Update)
Context of citations to this paper: More
...ontology applications. In a DL context, key constraints have so far only been considered on logical, non concrete domains [Borgida and Weddell, 1997; Calvanese et al. 2000; Khizder et al. 2001; Toman and Weddell, 2002] It is easy to see that concrete keys can...
.... challenging application of description logics, several approaches to extend description logics with keys have already been investigated [15, 17, 35]. What distinguishes our approach from existing ones, however, is the idea to use concrete domains for constructing key...
Cited by: More
Description Logics with Concrete Domains - A Survey - Lutz (2003)
(Correct)
On Attributes, Roles, and Dependencies in Description Logics.. - Toman, Weddell
(Correct)
On Reasoning about Structural Equality in XML: A Description.. - Toman, Weddell
(Correct)
Active bibliography (related documents): More All
0.4: Description Logics in Data Management - Borgida (1995)
(Correct)
0.3: DL Techniques for Intensional Query Answering in OODBs - Bergamaschi, Sartori, Vincini (1995)
(Correct)
0.3: Consistency Checking in Complex Object Database.. - Beneventano.. (1998)
(Correct)
Similar documents based on text: More All
0.2: Rewriting Aggregate Queries using Description Logic - David Dehaan David
(Correct)
0.2: Distributed Description Logics: Preliminary Investigations - Borgida, Serafini
(Correct)
0.2: Distributed Description Logics: Assimilating Information.. - Borgida, Serafini (2003)
(Correct)
Related documents from co-citation: More All
7: On Decidability and Complexity of Description Logics with Uniquwness Constraints
- Khizder, Toman et al. - 2000
5: Implication Problems for Functional Constraints on Databases Supporting Complex .. (context) - Ito, Weddell - 1994
5: Functional Deductive Databases: Query Processing in the Presence of Limited Func.. (context) - Chomicki - 1990
BibTeX entry: (Update)
Alexander Borgida and Grant Weddell. Adding uniqueness constraints to description logics (preliminary report). In International Conference on Deductive and Object-Oriented Databases, pages 85-102, 1997. http://citeseer.ist.psu.edu/borgida97adding.html More
@inproceedings{ borgida97adding,
author = "Alexander Borgida and Grant E. Weddell",
title = "Adding Uniqueness Constraints to Description Logics (Preliminary Report)",
booktitle = "Deductive and Object-Oriented Databases",
pages = "85-102",
year = "1997",
url = "citeseer.ist.psu.edu/borgida97adding.html" }
Citations (may not include all citations):
169
Data model and query evaluation in global information system..
- Levy, Srivastava et al. - 1995
116
A semantics and complete algorithm for subsumption in the CL..
- Borgida, Patel-Schneider - 1994
115
Representing and using interschema knowledge in cooperative ..
- Catarci, Lenzerini - 1993
77
A formal approach to object-oriented databases (context) - Beeri - 1990
72
Computational complexity of terminological reasoning in BACK
- Nebel - 1988
71
Description logics in data management
- Borgida - 1995
47
On taxonomic reasoning in conceptual design (context) - Bergamaschi, Sartori - 1992
45
Structured objects: modeling and reasoning
- Calvanese, de Giacomo et al. - 1995
41
What's in an aggregate: foundations for description logics w..
- de Giacomo, Lenzerini - 1995
40
A knowledge-based configurator that supports sales
- Wright, Weixelbaum et al. - 1992
39
Classification as a query processing technique in the CANDID.. (context) - Beck, Gala et al. - 1989
29
Explaining subsumption in description logics
- McGuinness, Borgida - 1995
26
Implication problems for functional constraints on databases.. (context) - Ito, Weddell - 1995
24
Acquisition and validation of complex object database schema..
- Bergamaschi, Nebel - 1994
17
Knowledge representation support for data archaeology (context) - Brachman, Selfridge et al. - 1993
9
Reasoning about equations and functional dependencies on com.. (context) - van Bommel, Weddell - 1994
7
Subsumption between queries in object-oriented databases (context) - Buchheit, Jeusfeld et al. - 1994
6
Automatic validation of object-oriented database structures (context) - Delcambre, Davis - 1989
5
Refining the structure of terminological systems: terminolog.. (context) - Buchheit, Donini et al. - 1994
3
A semantics-driven query optimizer for OODBs (context) - Ballerini, Beneventano et al. - 1995
1
Jeusfeld and W (context) - meets, Proc et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/~tessaris/DL/papers.html): More
Query Answering in Concept-Based Knowledge Representation.. - Schaerf (1994)
(Correct)
Description Logic Framework for Information Integration - Calvanese, De Giacomo.. (1998)
(Correct)
Combining Deduction and Model Checking into Tableaux and.. - De Giacomo, Massacci (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC