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
Proceedings of the 12th International Joint Conference on Artificial Intelligence, {IJCAI-91}, 446--451, 1991

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ Baader-IJCAI-91,
  address = {Sydney (Australia)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence, {IJCAI-91}},
  pages = {446--451},
  title = {Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles},
  year = {1991},
}