Module extraction in expressive ontology languages via datalog reasoning
Module extraction is the task of computing a (preferably small) fragment M of an ontology O that preserves a class of entailments over a signature of interest E. Extracting modules of minimal size is well-known to be computationally hard, and often algorithmically infeasible, especially for highly e...
| Huvudupphovsmän: | , , , |
|---|---|
| Materialtyp: | Journal article |
| Publicerad: |
Association for the Advancement of Artificial Intelligence
2016
|