Ralf Küsters, Alex Borgida  Home/Search
Context
Related
| rutgers.edu/pub/techn...dcstr404.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rutgers.edu/pub/technicalrepo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Functional relationships between objects, called "attributes", are of considerable importance in knowledge representation languages, including Description Logics (DLs). A study of the literature indicates that papers have made, often implicitly, di#erent assumptions about the nature of attributes: whether they are always required to have a value, or whether they can be partial functions. The work presented here is the first explicit study of this di#erence for (sub-)classes of the Classic DL,... (Update)
Similar documents (at the sentence level):
71.5%: What's in an Attribute? - Consequences for the Least Common.. - Küsters, Borgida (1999) (Correct)
Active bibliography (related documents): More All
0.2: Semistructured Data Schemas with Expressive Constraints .. - Dipartimento Di.. (Correct)
0.2: Explaining Reasoning In Description Logics - McGuinness (1996) (Correct)
0.2: Description Logics in Data Management - Borgida (1995) (Correct)
Similar documents based on text: More All
0.3: Matching in Description Logics with Existential Restrictions - Baader, Küsters (1999) (Correct)
0.3: Computing Least Common Subsumers in Description Logics - Cohen, Borgida, Hirsh (1992) (Correct)
0.3: Computing Least Common Subsumers in ALEN - Küsters, Molitor (2001) (Correct)
BibTeX entry: (Update)
@misc{ sters-whats,
author = "Ralf Küsters and Alex Borgida",
title = "What's in an Attribute? - Consequences for the Least Common Subsumer",
url = "citeseer.ist.psu.edu/301502.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
197 The complexity of concept languages - Donini, Lenzerini et al. - 1997
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991
116 A semantics and complete algorithm for subsumption in the CL.. - Borgida, Patel-Schneider - 1994
112 Terminological reasoning is inherently intractable - Nebel - 1990
97 Description logic framework for information integration - Calvanese, De Giacomo et al. - 1998
71 Description logics in data management - Borgida - 1995
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schau - 1989
66 Part-whole relations in object-centered systems: An overview - Artale, Franconi et al. - 1996
64 Computing least common subsumers in description logics - Cohen, Borgida et al. - 1992
56 The complexity of existential quantification in concept lang.. - Donini, Hollunder et al. - 1992
52 A unified framework for class based representation formalism.. - Calvanese, Lenzerini et al. - 1994
52 Unifying class-based representation formalisms - Calvanese, Lenzerini et al. - 1999
50 Computing least common subsumer in description logics with e.. - Baader, Kusters et al. - 1999
49 Learning the classic description logic: Theoretical and expe.. - Cohen, Hirsh - 1994
29 Using automata theory for characterizing the semantics of te.. (context) - Baader - 1996
28 Learnability of description logics with equality constraints - Cohen, Hirsh - 1994
27 What can knowledge representation do for semi-structured dat.. - Calvanese, De Giacomo et al. - 1998
24 An industrial strength description logic-based configurator .. (context) - McGuinness, Wright - 1998
18 Reasoning in expressive description logics with fixpoints ba.. - Calvanese, De Giacomo et al. - 1999
18 Concept languages as query languages (context) - Lenzerini, Schaerf - 1991
11 The use of description logics in KBSE systems - Devanbu, Jones - 1997
10 A refined architecture for terminological systems: Terminolo.. - Buchheit, Donini et al. - 1999
7 Initial explorations of a structural approach to integrating.. (context) - Borgida, Kusters et al. - 1999
6 to IDL: towards more knowledgeable component inter-operabili.. (context) - Borgida, Devanbu et al. - 1999
5 Modeling and querying semi-structured data (context) - Calvanese, De Giacomo et al. - 1999
2 Machine Learning Journal (context) - Frazier, Pitt - 1996
1 Hierarchical knowledge bases and e#cient disjunctive reasoni.. (context) - Borgida, Etherington - 1989
Documents on the same site (http://athos.rutgers.edu/pub/technical-reports/): More
Data-Flow Analysis of Program Fragments - Rountev, Ryder, Landi (1999) (Correct)
Scylla: A Smart Virtual Machine for Mobile Embedded Systems - Stanley-Marbell, Iftode (2000) (Correct)
Practical Points-to Analysis for Programs Built with Libraries - Rountev, Ryder (2000) (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