@misc{indiciaeab1d0c329fe5,
  title = {Category-theoretical Semantics of the Description Logic ALC (extended version)},
  author = {Chan Le Duc},
  year = {2022},
  url = {https://arxiv.org/abs/2110.08837},
  note = {Source identifier: 2110.08837}
}