#### Filter Results:

- Full text PDF available (22)

#### Publication Year

1990

2015

- This year (0)
- Last 5 years (1)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Franz Baader, Bernhard Hollunder
- Journal of Automated Reasoning
- 1992

We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforward than we expected, considering the fact that the terminological language is a decidable sublanguage of first-order logic. Semantically, one has the unpleasant effect that the consequences of a… (More)

- Franz Baader, Bernhard Hollunder
- Journal of Automated Reasoning
- 1995

In a recent paper we have proposed terminological default logic as a formalism that combines means both for structured representation of classes and objects and for default inheritance of properties. The major drawback that terminological default logic inherits from general default logic is that it does not take precedence of more specific defaults over… (More)

We consider diierent methods of optimizing the classiication process of terminological representation systems, and evaluate their eeect on three diierent types of test data. Though these techniques can probably be found in many existing systems, until now there has been no coherent description of these techniques and their impact on the performance of a… (More)

We investigate the subsumption problem in logic-based knowledge representation languages of the kl-one family and give decision procedures. All our languages contain as a kernel the logical connectives conjunction, disjunction, and negation for concepts, as well as role quantiication. The algorithms are rule-based and can be understood as variants of… (More)

- Franz Baader, Bernhard Hollunder
- SIGART Bulletin
- 1991

The knowledge representation system KL-ONE first appeared in 1977. Subsequently many systems based on the idea of KL-ONE have been built. The formal model-theoretic semantics which has been introduced for KL-ONE languages [9] provides means for investigating soundness and completeness of inference algorithms. It turned out that almost all implemented KL-ONE… (More)

- Franz Baader, Bernhard Hollunder
- PDK
- 1991

We investigate subsumption algorithms for logic-based knowledge representation languages of the kl-one family. We deene an attribu-tive concept description language that contains the logical connectives conjunction, disjunction, and negation, as well as role quantiication, number restrictions and role intersection. We describe a rule based calculus to… (More)

- Bernhard Hollunder
- Int. J. Approx. Reasoning
- 1994

Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be es timated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possi bility degree or a necessity degree that ex presses to what extent the formula is pos sibly or necessarily true. Possibilistic… (More)

- Bernhard Hollunder, Franz Baader
- KR
- 1991

- Franz Baader, Hans-Jürgen Bürckert, +5 authors Hans-Jürgen Profitlich
- Description Logics
- 1991

This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.