| 1. |
Buchheit, Martin ; Donini, Francesco M. ; Nutt, Werner ; Schaerf, Andrea
(1995)
A refined architecture for terminological systems : terminology = schema + views
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 2. |
Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner
(1995)
The complexity of concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 3. |
Buchheit, Martin ; Donini, Francesco M. ; Schaerf, Andrea
(1993)
Decidable reasoning in terminological knowledge representation systems
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 4. |
Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner ; Schaerf, Andrea
(1993)
Queries, rules and definitions as epistemic statements in concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
