Franz Baader, Ulrike Sattler  Home/Search
Context Related
| lti.informatik.rwt...rLTCS9802.ps.gz lti.informatik.rwt...rLTCS9802.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. We present decision procedures for the inference problems satisfiability for these Logics -- provided that the concrete domain is not too expressive. An example of such a concrete domain is the set of (nonnegative) integers with comparisons (=, , n , ...) and the aggregation... (Update)
Context of citations to this paper: More
.... example should not share its ontological background with any of the languages discussed 3 There is a DL with this feature as well, see [2]. Naturally, in some languages like KL ONE, these functions could be embedded using a host language connection , i.e. by programming the...
Cited by: More
Modeling Fuzzy Rules with Description Logics - Agarwal, Hitzler (2005) (Correct)
Conceptual Modelling Languages - Niinimäki (2004) (Correct)
Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
Similar documents (at the sentence level):
12.0%: Description Logics with Concrete Domains and Aggregation - Baader, Sattler (1998) (Correct)
Active bibliography (related documents): More All
0.3: Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998) (Correct)
0.3: Description Logics with Transitive Roles - Horrocks, Gough (1997) (Correct)
0.3: Description Logics with Aggregates and Concrete Domains - Baader, Sattler (1998) (Correct)
Similar documents based on text: More All
0.4: An Overview of Tableau Algorithms for Description Logics - Baader, Sattler (2000) (Correct)
0.3: Description Logics with Symbolic Number Restrictions - Baader, Sattler (1996) (Correct)
0.3: Unification of Concept Terms in Description Logics - Baader, Narendran (1998) (Correct)
Related documents from co-citation: More All
7: A schema for integrating concrete domains into concept languages (context) - Baader, Hanschke - 1991
6: Reasoning with aggregation constraints - Levy, Mumick - 1996
6: Foundations of aggregation constraints - Ross, Srivastava et al. - 1994
BibTeX entry: (Update)
F. Baader and U. Sattler. Description logics with aggregates and concrete domains, Part II. Technical Report 98-02, LuFG Theoretical Computer Science, RWTH Aachen, 1998. http://citeseer.ist.psu.edu/article/baader98description.html More
@inproceedings{ baader97description,
author = "F. Baader and U. Sattler",
title = "Description Logics with Aggregates and Concrete Domains",
booktitle = "Proceedings of the International Workshop on Description Logics",
address = "Gif sur Yvette, France",
year = "1997",
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
197 The complexity of concept languages - Donini, Lenzerini et al. - 1991 ACM DBLP
93 Aggregatequery processing in data warehousing environments - Gupta, Harinarayan et al. - 1995
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990 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
20 Reasoning with aggregation constraints - Levy, Mumick - 1996 ACM DBLP
19 Specifying Role Interaction in Concept Languages (context) - Hanschke - 1992 DBLP
12 Description logics with aggregates and concrete domains - Baader, Sattler - 1997 ACM DBLP
12 How expressive is stratified aggregation - Mumick, Shmueli - 1995
3 Deutsches Forschungszentrum fur Kunstliche Intelligenz (context) - Donini, Lenzerini et al. - 1995
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