A Description Logic with Transitive and Converse Roles and Role Hierarchies

Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler

Datei:HorrocksSattler-LTCS-98-05.ps.gz

Download

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

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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},
}