KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Haifa, Israel. July 31–August 5, 2022.

Edited by
  1. Gabriele Kern-Isberner
  2. Gerhard Lakemeyer
  3. Thomas Meyer

ISSN: 2334-1033
ISBN: 978-1-956792-01-0

Sponsored by
Published by

Copyright © 2022 International Joint Conferences on Artificial Intelligence Organization

Interpolants and Explicit Definitions in Extensions of the Description Logic EL

  1. Marie Fortin(University of Liverpool)
  2. Boris Konev(University of Liverpool)
  3. Frank Wolter(University of Liverpool)

Bibtex record

@inproceedings{KR2022-16,
    title     = {{Interpolants and Explicit Definitions in Extensions of the  Description Logic EL}},
    author    = {Fortin, Marie and Konev, Boris and Wolter, Frank},
    booktitle = {{Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {152--162},
    year      = {2022},
    month     = {8},
    doi       = {10.24963/kr.2022/16},
    url       = {https://doi.org/10.24963/kr.2022/16},
  }
Go back