An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix)
Type of publication: | Inproceedings |
Citation: | LutSeyWo-KR12 |
Booktitle: | Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}) |
Year: | 2012 |
Userfields: | project={I1-OntoSpace}, status={Reviewed}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|