Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. A Description Logic with Transitive and Converse Roles‚ Role Hierarchies and Qualifying Number Restrictions

A Description Logic with Transitive and Converse Roles‚ Role Hierarchies and Qualifying Number Restrictions

Ian Horrocks‚ Ulrike Sattler and Stephan Tobies

Institution
LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany
Number
99−08
Year
1999

Links

Back to Top