Franz Baader  Home/Search
Context Related
| salustri.esxf.uwindsor.c...Baader.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: salustri.esxf.uwindsor.ca/~fil... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider two extensions of traditional terminological knowledge representation languages, which are motivated by technical applications such as configuration of technical systems. The first extension integrates "concrete" domains (such as numbers) and concrete predicates on these domains into the abstract terminological language. The second extension introduces transitive closure of roles, which can, for example, be used to model transitivity of the "part-of" relation. 1 Introduction... (Update)
Context of citations to this paper: More
.... of abstract object which are comparably easy to acquire and maintain is the objective of research on knowledge based configuration [Baader et al. 1996, Faltings and Freuder, 1996, Stumptner, 1997, Faltings et al. 1999] This paper provides basic insights into the main...
Cited by: More
Intelligent Product Representations - Concepts of Knowledge-Based.. - Hofe (Correct)
Similar documents (at the sentence level):
18.9%: A Scheme for Integrating Concrete Domains into Concept Languages - Baader, Hanschke (1991) (Correct)
Active bibliography (related documents): More All
0.6: Terminological Knowledge Representation System in a Process.. - Sattler (1998) (Correct)
0.3: Analyzing configuration systems with description logics: A .. - Möller, Schröder, Lutz (1997) (Correct)
0.3: A New Method for Undecidability Proofs of First Order Theories - Treinen (1992) (Correct)
Similar documents based on text: More All
0.2: Restricted Role-Value-Maps in a Description Logic with.. - Baader (Correct)
0.1: Unification of Concept Terms in Description Logics - Baader, Narendran (1998) (Correct)
0.1: UniMoK: A System for Combining Equational Unification Algorithms - Kepser, Richts (Correct)
BibTeX entry: (Update)
Franz Baader. Extensions of terminological knowledge representation languages for technical applications. In [Baader et al., 1996] , volume 2, pages 3--10, 1996. http://citeseer.ist.psu.edu/76486.html More
@misc{ baader96extensions,
author = "F. Baader",
title = "Extensions of terminological knowledge representation languages for technical
applications",
text = "Franz Baader. Extensions of terminological knowledge representation languages
for technical applications. In [Baader et al., 1996] , volume 2, pages 3--10,
1996.",
year = "1996",
url = "citeseer.ist.psu.edu/76486.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
229 A Decision Method for Elementary Algebra and Geometry (context) - Tarski - 1951
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991 ACM DBLP
197 The complexity of concept languages - Donini, Lenzerini et al. - 1991
189 Living with CLASSIC: When and how to use a KL-ONE-like langu.. - Brachman, McGuinness et al. - 1991
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michayov et al. - 1992
133 Quantifier elimination for real closed fields by cylindrical.. (context) - Collins - 1975
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991 DBLP
89 KRIS : Knowledge Representation and Inference System (context) - Baader, Hollunder - 1991
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991 DBLP
77 Tractable concept languages (context) - Donini, Lenzerini et al. - 1991
70 An empirical analysis of optimization techniques for termino.. - Baader, Franconi et al. - 1994
67 A variant of a recursively unsolvable problem (context) - Post - 1946
57 Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991 DBLP
56 The complexity of existential quantification in concept lang.. - Donini, Hollunder et al. - 1992 ACM DBLP
44 Boosting the correspondence between description logics and p.. - Giacomo, Lenzerini - 1994 ACM DBLP
35 The complexity of linear problems in fields (context) - Weispfenning - 1988 ACM DBLP
32 The BACK system -- an overview (context) - Peltason - 1991
31 Extensions of concept languages for a mechanical engineering.. (context) - Baader, Hanschke - 1993 ACM DBLP
29 Hybrid inferences in KL-ONE-based knowledge representation s.. (context) - Hollunder - 1990 ACM DBLP
27 Hilbert's tenth problem is unsolvable (context) - Davis - 1973
21 Rep system overview (context) - Mays, Dionne et al. - 1991
15 Inside the LOOM classifier (context) - MacGregor - 1991
5 The complexity of concept languages with different kinds of .. (context) - Sattler - 1996
4 Modifying the simplex algorithm to a constraint solver (context) - Jaakola - 1990 ACM DBLP
3 Enumerable sets are diophantine (context) - Matijacevic - 1970
3 A concept language for an engeneering application with part-.. (context) - Sattler - 1995
1 The CLASSIC knowledge representation system: Guiding princip.. (context) - Brachman, McGuinness et al. - 1991 DBLP
Documents on the same site (http://salustri.esxf.uwindsor.ca/~fil/Library/): More
WebMap: Concept Mapping on the Web - Gaines, Shaw (1995) (Correct)
A Description Logic for Vague Knowledge - Tresp, Molitor (1998) (Correct)
Using Description Logic for Configuration Problems - Holger Wache, Gerd Kamp (1996) (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