cfaed Publications
Efficient Axiom Pinpointing in EL using SAT Technology.
Reference
Norbert Manthey, Rafael Penaloza, Sebastian Rudolph, "Efficient Axiom Pinpointing in EL using SAT Technology.", In Proceeding: Description Logics, 2016.
Bibtex
@inproceedings{manthey2016efficient,
title={Efficient Axiom Pinpointing in EL using SAT Technology.},
author={Manthey, Norbert and Penaloza, Rafael and Rudolph, Sebastian},
booktitle={Description Logics},
year={2016}
}
title={Efficient Axiom Pinpointing in EL using SAT Technology.},
author={Manthey, Norbert and Penaloza, Rafael and Rudolph, Sebastian},
booktitle={Description Logics},
year={2016}
}
Downloads
No Downloads available for this publication
Related Paths
other
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1852