Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. DL Reasoner vs. First−Order Prover

DL Reasoner vs. First−Order Prover

Dmitry Tsarkov and Ian Horrocks

Book Title
Proc. of the 2003 Description Logic Workshop (DL 2003)
Pages
152–159
Series
CEUR (http://ceur-ws.org/)
Volume
81
Year
2003

Links

Back to Top