| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4942054 | Artificial Intelligence | 2017 | 46 Pages |
Abstract
In this paper, we provide a thorough analysis of the complexity of several decision, counting, and enumeration problems associated to axiom pinpointing in lightweight description logics.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Rafael Peñaloza, BarıŠSertkaya,