Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Version)

Research output: Preprint/Documentation/Report › Working paper

Contributors

Details

Original languageEnglish
Place of PublicationDresden, Germany
Publication statusPublished - 2024

Publication series

SeriesLTCS-Report
Volume24-01
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

External IDs

ORCID /0000-0002-4049-221X/work/174429062
unpaywall 10.25368/2024.34

Keywords