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

First Author: Cucala D.T.
Attributed to:  DBOnto: Bridging Databases and Ontologies funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 1879

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073