Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL-TBoxes

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

Contributors

Details

Original languageEnglish
Title of host publicationKI 2015: Advances in Artificial Intelligence
EditorsSteffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph
Pages59-71
Number of pages13
ISBN (electronic)978-3-319-24489-1
Publication statusPublished - 2015
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science
Volume9324
ISSN0302-9743

External IDs

Scopus 84951872292