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}
}

Downloads

No Downloads available for this publication

Related Paths

Biological Systems Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=128


Go back to publications list