Inference Support for Creating Semantic Annotations

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F07%3A00127238" target="_blank" >RIV/68407700:21230/07:00127238 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Inference Support for Creating Semantic Annotations

Original language description

Efficient searching in large document repositories needs semantic annotations that are both expressive enough to allow interesting queries, and weak enough to enable efficient reasoning. Lack of usable automatic procedures for creating such annotations drives the research in algorithms and methods for semi-automatic knowledge base building. In this work, we address the problem of error explanations and debugging. Two novel incremental methods for error explanations are introduced and compared to the state of the art techniques. Both of these promising techniques together with our implementation of a tableau reasoner for $mathcal{SHIN}$ are used to explain modeling errors in annotations authored with our annotation tool prototype.

Czech name

—

Czech description

—

Type

O - Miscellaneous

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů