Using Tableau to Decide Expressive Description Logics with Role Negation

First Author: Schmidt R
Attributed to:  Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-76298-0_32

Publication URI: http://dx.doi.org/10.1007/978-3-540-76298-0_32

Type: Book Chapter

Book Title: The Semantic Web (2007)

Page Reference: 438-451

ISBN: 978-3-540-76297-3

ISSN: 2192-6670