Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

Journal
CoRR
Volume
abs/1805.01396
Year
2018

Links

See Also

Back to Top