A Description Logic with Transitive and Converse Roles and Role Hierarchies

From International Center for Computational Logic
Toggle side column

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
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-05, 1998. LTCS-Report
@techreport{ HoSat98,
  author = {I. {Horrocks} and U. {Sattler}},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  number = {LTCS-98-05},
  title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
  type = {LTCS-Report},
  year = {1998},
}