%0 Report %1 HoST99b %A Horrocks, Ian %A Sattler, Ulrike %A Tobies, Stephan %D 1999 %K description logic transitive %N 99-08 %T A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions %U download/1999/HoST99b.pdf

@techreport{HoST99b, added-at = {2007-11-11T03:33:45.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/28997131aae68c7a336b2c96d30686590/aljsanchez}, date-modified = {2007-03-07 20:44:29 +0000}, institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany}, interhash = {3e0c70ba0118d4cadafe9711cd085867}, intrahash = {8997131aae68c7a336b2c96d30686590}, keywords = {description logic transitive}, number = {99-08}, timestamp = {2007-11-11T03:33:45.000+0100}, title = {A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions}, type = {LTCS-Report}, url = {download/1999/HoST99b.pdf}, year = 1999 }