| ||||
| ||||
![]() Title:An API for DL Abduction Solvers Conference:XLoKR 2022 Tags:abduction, description logics, ontologies and software engineering Abstract: We propose a unified API for integration of different DL abduction solvers applications, similarly as OWL API does this for deductive OWL/DL reasoners. An API for DL Abduction Solvers ![]() An API for DL Abduction Solvers | ||||
Copyright © 2002 – 2025 EasyChair |