KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Expressive Description Logics with Rich Yet Affordable Numeric Constraints

  1. Federica Di Stefano(Institute of Logic and Computation, TU Wien)
  2. Sanja Lukumbuzya(Institute of Logic and Computation, TU Wien)
  3. Magdalena Ortiz(Institute of Logic and Computation, TU Wien)
  4. Mantas Šimkus(Institute of Logic and Computation, TU Wien)

Bibtex record

@inproceedings{KR2025-66,
    title     = {{Expressive Description Logics with Rich Yet Affordable Numeric Constraints}},
    author    = {Di Stefano, Federica and Lukumbuzya, Sanja and Ortiz, Magdalena and Šimkus, Mantas},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {683--693},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/66},
    url       = {https://doi.org/10.24963/kr.2025/66},
  }