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
Формат: Дипломын ажил
Хэл сонгох:English
Хэвлэсэн: 2019
Нөхцлүүд: