See this document in CiteSeerX!

Adding Uniqueness Constraints to Description Logics (1997)  (Make Corrections)  (11 citations)
Alex Borgida, Grant Weddell
Deductive and Object-Oriented Databases



  Home/Search   Context   Related

 
View or download:
cs.man.ac.uk/~tessa...ClassicKeys.ps.gz
rutgers.edu/pub/bor...ClassicKeys.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.man.ac.uk/~tessaris/D...papers (more)
From:  rutgers.edu/~borgida/index
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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