Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals (2017)

First Author: Cucala D.T.
Attributed to:  ED3: Enabling analytics over Diverse Distributed Datasources funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 1879

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073