Consequence-based reasoning for the Description Logic SROIQ

<p>Consequence-based (CB) reasoners combine ideas from resolution and (hyper)tableau calculi to solve the problem of ontology classification in Description Logics (DLs). Existing CB reasoners, however, are only capable of handling DLs without nominals (such as SRIQ), or DLs without disjunction...

全面介绍

书目详细资料
主要作者: Tena Cucala, DJ
其他作者: Horrocks, I
格式: Thesis
语言:English
出版: 2019
主题:

相似书籍