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

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Details

Original languageEnglish
Title of host publicationProceedings of the 37th International Workshop on Description Logics (DL'24)
EditorsJean Christoph Jung, Laura Giordano, Ana Ozaki
Place of PublicationBergen, Norway
PublisherCEUR-WS.org
Number of pages5
Publication statusPublished - 2024
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume3739
ISSN1613-0073

External IDs

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

Keywords