The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 37th International Workshop on Description Logics (DL 2024)
EditorsLaura Giordano, Jean Christoph Jung, Ana Ozaki
PublisherCEUR-WS.org
Volume3739
Publication statusPublished - Jun 2024
Peer-reviewedYes

External IDs

ORCID /0000-0002-8623-6465/work/165454384

Keywords