Pushing the EL Envelope Further

Cite this paper

@inproceedings{Baader2008PushingTE, title={Pushing the EL Envelope Further}, author={Franz Baader and Carsten Lutz and Sebastian Brandt}, booktitle={OWLED}, year={2008} }