[BibTeX] [RIS]
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 Lutz, Carsten
Seylan, Inanç
Wolter, Frank
Attachments
    Notes
      Topics