Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Artificial Intelligence and Machine Learning
  4. Optimized Description Logic Reasoning via Core Blocking

Optimized Description Logic Reasoning via Core Blocking

Birte Glimm‚ Ian Horrocks and Boris Motik

Book Title
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)
Year
2010

Links

See Also

Back to Top