Consequence-based reasoning for SRIQ ontologies

<p><em>Description logics</em> (DLs) are knowledge representation formalisms with numerous applications and well-understood model-theoretic semantics and computational properties. <em>SRIQ</em> is a DL that provides the logical underpinning for the semantic web language...

Cijeli opis

Bibliografski detalji
Glavni autor: Bate, A
Daljnji autori: Horrocks, I
Format: Disertacija
Jezik:English
Izdano: 2016
Teme: