Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. In Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty, editors, Proceedings of the 1998 International Workshop on Description Logics (DL 98), IRST, Povo - Trento, Italy, June 6-8, 1998. Volume 11 of CEUR Workshop Proceedings, CEUR-WS.org, 1998. [doi]
@inproceedings{HorrocksS98,
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
author = {Ian Horrocks and Ulrike Sattler},
year = {1998},
url = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-11/HorrocksSattlerDL98.ps},
tags = {logic},
researchr = {https://researchr.org/publication/HorrocksS98},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 1998 International Workshop on Description Logics (DL 98), IRST, Povo - Trento, Italy, June 6-8, 1998},
editor = {Enrico Franconi and Giuseppe De Giacomo and Robert M. MacGregor and Werner Nutt and Christopher A. Welty},
volume = {11},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}