In the case of unfoldable theories, the situation changes: for ALC and OWL-DL, model and FO-conservativity are still undecidable whereas for EL, ...
確定! 回上一頁