SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies

Research output: Preprint/Documentation/Report › Working paper

Contributors

Details

Original languageGerman
Number of pages37
Publication statusPublished - 2012

Publication series

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

External IDs

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

Keywords