A Description Logic with Transitive and Converse Roles and Role Hierarchies
Aus International Center for Computational Logic
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Proceedings of the International Workshop on Description Logics, 1998. IRST
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Proceedings of the International Workshop on Description Logics, 1998. IRST
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ HoSat98b,
address = {Povo - Trento, Italy},
author = {I. {Horrocks} and U. {Sattler}},
booktitle = {Proceedings of the International Workshop on Description Logics},
publisher = {IRST},
title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
year = {1998},
}
