Extending consequence-based reasoning to SRIQ
Consequence-based calculi are a family of reasoning algorithms for description logics (DLs), and they combine hypertableau and resolution in a way that often achieves excellent performance in practice. Up to now, however, they were proposed for either Horn DLs (which do not support disjunction), or...
| Principais autores: | , , , , |
|---|---|
| Formato: | Conference item |
| Idioma: | English |
| Publicado em: |
AAAI Press
2016
|