Computing Horn Rewritings of Description Logics Ontologies (2015)

First Author: Kaminski M
Attributed to:  Score!: Scalable and Complete Reasoning with Incomplete Ontology Reasoners funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ijcai.org/papers15/Abstracts/IJCAI15-436.html

Type: Conference/Paper/Proceeding/Abstract