Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
From International Center for Computational Logic
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Franz BaaderFranz Baader
Franz 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
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
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@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},
}