LATPub15: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Marcel Lippmann (Diskussion | Beiträge)
KKeine Bearbeitungszusammenfassung
 
Marcel Lippmann (Diskussion | Beiträge)
KKeine Bearbeitungszusammenfassung
Zeile 8: Zeile 8:
|Year=1990
|Year=1990
|Month=
|Month=
|Institution={D}eutsches {F}orschungszentrum für {K}ünstliche {I}ntelligenz, Kaiserslautern
|Institution=Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern
|Note=
|Note=
|Type={DFKI} Research Report
|Type={DFKI} Research Report

Version vom 20. März 2015, 16:28 Uhr

Toggle side column

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles

F. BaaderF. Baader
F. Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-13, 1990. {DFKI} Research Report
@techreport{ DFKI-RR-90-13,
  author = {F. {Baader}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{RR}-90-13},
  title = {Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles},
  type = {{DFKI} Research Report},
  year = {1990},
}