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....
| Hlavní autoři: | , , , |
|---|---|
| Médium: | Conference item |
| Jazyk: | English |
| Vydáno: |
AAAI Press
2015
|