Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair

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

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020
EditorsStefan Borgwardt, Thomas Meyer
PublisherCEUR-WS.org
Volume2663
Publication statusPublished - 2020
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume2663
ISSN1613-0073

External IDs

ORCID /0000-0002-4049-221X/work/142247927
ORCID /0000-0002-2176-876X/work/151435408

Keywords