cfaed Publications
Axiom dependency hypergraphs for fast modularisation and atomic decomposition
Reference
F. Martin-Recuerda, Dirk Walther, "Axiom dependency hypergraphs for fast modularisation and atomic decomposition", Proceedings of the 27th International Workshop on Description Logics (DL’14), vol. 1193, pp. 299–310, 2014.
Bibtex
@inproceedings{martin2014axiom,
title={Axiom dependency hypergraphs for fast modularisation and atomic decomposition},
author={Martin-Recuerda, F and Walther, Dirk},
booktitle={Proceedings of the 27th International Workshop on Description Logics (DL’14)},
volume={1193},
pages={299--310},
year={2014}
}
title={Axiom dependency hypergraphs for fast modularisation and atomic decomposition},
author={Martin-Recuerda, F and Walther, Dirk},
booktitle={Proceedings of the 27th International Workshop on Description Logics (DL’14)},
volume={1193},
pages={299--310},
year={2014}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=128