Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}