Franz Baader, Ulrike Sattler  Home/Search
Context Related
Links: DBLP | lti.informatik.rwt...tlerECAI98.ps.gz 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: lti.informatik.rwthaach...Papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min; max; count; sum), which are usually available in database systems. On the one hand, we show that this extension may lead to undecidability of the basic inference problems satisfiability and subsumption. This is true even for a very small Description Logic and very simple aggregation functions, provided that universal value restrictions are... (Update)
Cited by: More
Data Warehouse Modeling and Quality Issues - Panos Vassiliadis Knowledge (2000) (Correct)
Modeling Fuzzy Rules with Description Logics - Agarwal, Hitzler (2005) (Correct)
User Preference Based Automated Selection of Web Service.. - Agarwal, Lamparter (Correct)
Similar documents (at the sentence level):
74.0%: Description Logics with Concrete Domains and Aggregation - Baader, Sattler (1998) (Correct)
22.8%: Description Logics with Aggregates and Concrete Domains, Part II - Baader, Sattler (1998) (Correct)
Active bibliography (related documents): More All
0.5: Description Logics with Aggregates and Concrete Domains - Baader, Sattler (1998) (Correct)
0.3: A Data Warehouse Conceptual Data Model for Multidimensional.. - Franconi, Sattler (1999) (Correct)
0.3: Information Integration: Conceptual Modeling and.. - Calvanese, De.. (1998) (Correct)
Similar documents based on text: More All
0.2: An Overview of Tableau Algorithms for Description Logics - Baader, Sattler (2000) (Correct)
0.2: Unification of Concept Terms in Description Logics - Baader, Narendran (1998) (Correct)
0.2: Description Logics with Symbolic Number Restrictions - Baader, Sattler (1996) (Correct)
Related documents from co-citation: More All
8: A scheme for integrating concrete domains into concept languages - Baader, Hanschke - 1991
7: Extensions of concept languages for a mechanical engineering application (context) - Baader, Hanschke - 1993
7: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
BibTeX entry: (Update)
F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Articial Intelligence ECAI-98, Brighton, August 23-28, 1998. John Wiley & Sons, New York, 1998. http://citeseer.ist.psu.edu/article/baader98description.html More
@inproceedings{ baader98description,
author = "F. Baader and U. Sattler",
title = "Description Logics with Concrete Domains and Aggregation",
booktitle = "Proceedings of the 13th European Conference on Artificial Intelligence ({ECAI}-98)",
publisher = "John Wiley \& Sons Ltd",
editor = "H. Prade",
pages = "336--340",
year = "1998",
url = "citeseer.ist.psu.edu/article/baader98description.html" }
Citations (may not include all citations):207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991 ACM DBLP
93 Aggregate-query processing in data warehousing environments - Gupta, Harinarayan et al. - 1995 ACM DBLP
64 Answering queries with aggregation using views - Srivastava, Dar et al. - 1996 ACM DBLP
41 Foundations of aggregation constraints - Ross, Srivastava et al. - 1998 ACM DBLP
39 A schema for integrating concrete domains into concept langu.. (context) - Baader, Hanschke - 1991
27 Hilbert's tenth problem is unsolvable (context) - Davis - 1973
20 Reasoning with aggregation constraints - Levy, Mumick - 1996 ACM DBLP
12 Description logics with aggregates and concrete domains - Baader, Sattler - 1997 ACM DBLP
12 How expressive is stratified aggregation - Mumick, Shmueli - 1995
12 Description logics with aggregates and concrete domains - Baader, Sattler - 1998 ACM DBLP
7 Conceptual language for statistical data modeling - Catarci, D'Angiolini et al. - 1995 ACM DBLP
6 Conceptual data model with structured objects for statistica.. - De Giacomo, Naggar - 1996
3 Deciding equivalences among aggregated queries (context) - Nutt, Sagiv et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html): More
Unification Theory - Baader, Snyder (1999) (Correct)
Planning Mathematical Proofs with Methods - Huang, Kerber, Richts, Sehn (1994) (Correct)
KEIM: A Toolkit for Automated Deduction - Huang, Kerber, Kohlhase, Melis.. (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