Ontology module extraction via datalog reasoning
<p>Module extraction — the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S — has found many applications in recent years. Extracting modules of minimal size is, however, computationally hard, and often algorithmically infeasible....
| Main Authors: | , , , |
|---|---|
| 格式: | Conference item |
| 语言: | English |
| 出版: |
AAAI Press
2015
|