MPG.eBooks - Search Results - "tableau algorithm"

Search alternatives:
"tableau algorithm" » "tableau algorithms"

Cover Image

1

The Semantic Web: Research and Applications : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... of DL with Rules -- A Tableau Algorithm for Handling Inconsistency in OWL -- How to Trace and Revise...”