Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022
EditorsOfer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier
PublisherCEUR-WS.org
Number of pages6
Volume3263
Publication statusPublished - 2022
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume3263
ISSN1613-0073

External IDs

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

Keywords