BibTeX
@MISC{Möller_tableau-basedreasoning,
author = {Ralf Möller and Volker Haarslev},
title = {Tableau-based Reasoning},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
As part of the infrastructure for working with ontologies, reasoning systems are required. Reasoning is used at ontology development or maintenance time as well as at the time ontologies are used for solving application problems. In this section we will review so-called tableau-based decision procedures for
