Modularity through inseparability : algorithms, extensions, and evaluation

Module extraction is the task of computing, given a description logic ontology and a signature ∑ of interest, a subset (called a module) such that for certain applications that only concern ∑ the ontology can be equivalently replaced by the module. In most applications of module extraction it is des...

Full description

Bibliographic Details
Main Author: Gatens, W. A.
Published: University of Liverpool 2017
Subjects:
Online Access:https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.722075