DFKI Publications by Donini, Francesco M.

[Back]

RR-91-02

with Bernhard Hollunder , Maurizio Lenzerini , Alberto Marchetti Spaccamela , Daniele Nardi , Werner Nutt
The Complexity of Existential Quantification in Concept Languages

RR-93-10

with Martin Buchheit , Andrea Schaerf
Decidable Reasoning in Terminological Knowledge Representation Systems

RR-93-40

with Maurizio Lenzerini , Daniele Nardi , Werner Nutt , Andrea Schaerf
Queries, Rules and Definitions as Epistemic Statements in Concept Languages

RR-95-07

with Maurizio Lenzerini , Daniele Nardi , Werner Nutt
The Complexity of Concept Languages

RR-95-09

with M. Buchheit , W. Nutt , A. Schaerf
A Refined Architecture for Terminological Systems:
Terminology = Schema + Views

This document was last updated at 12:48 on Monday, January 26, 2004 by
DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.