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

First Author: Tena Cucala D

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