Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Optimizing Terminological Reasoning for Expressive Description Logics

Optimizing Terminological Reasoning for Expressive Description Logics

Dmitry Tsarkov‚ Ian Horrocks and Peter F. Patel−Schneider

Journal
J. of Automated Reasoning
Number
3
Pages
277–316
Volume
39
Year
2007

Links

Back to Top