Published in
Springer Verlag, Journal of Automated Reasoning, 1(46), p. 43-80
DOI: 10.1007/s10817-010-9168-z
Links
Tools
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 