Description Logics with Concrete Domains and General Concept Inclusions Revisited

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

Contributors

Details

Original languageEnglish
Title of host publicationAutomated Reasoning
EditorsViorica Sofronie-Stokkermans, Nicolas Peltier
PublisherSpringer, Berlin [u. a.]
Pages413-431
Number of pages19
ISBN (electronic)978-3-030-51074-9
ISBN (print)978-3-030-51073-2
Publication statusPublished - 2020
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 12166
ISSN0302-9743

External IDs

ORCID /0000-0002-4049-221X/work/142247982

Keywords

Library keywords