A Tableau Algorithm for SROIQ under Infinitely Valued Gödel Semantics

Research output: Preprint/documentation/report › Working paper

Contributors

Details

Original languageEnglish
Publication statusPublished - 2015

Publication series

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

Keywords