Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals (2018)

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

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.24963/ijcai.2018/272

Publication URI: http://dx.doi.org/10.24963/ijcai.2018/272

Type: Conference/Paper/Proceeding/Abstract