Inference support for semantic annotations in description logics

Result code in IS VaVaI

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

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Inference support for semantic annotations in description logics

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 black-box techniques. Both promising incremental techniques together with our implementation of a tableau reasoner for SHIN logic are used to explain modeling errors in annotations authored with our annotation tool prototype."

Czech name

Inferenční podpora tvorby sémantických anotací v deskripčních logikách

Czech description

Efektivní prohledávání rozsáhlých souborů dokumentů vyžaduje sémantické anotace, které jsou jednak dostatečně expresivní, aby bylo možné formulovat zajímavé dotazy, jednak dostatečně jednoduché, aby umožňovaly efektivní automatické uvažování. Do dnešní doby nejsou známy generické automatické metody pro tvorbu takových anotací a zájem komunity se zaměřuje na polo-automatickou tvorbu znalostní báze takových anotací. V této práci se zabýváme problémem vysvětlování modelovacích chyb a ladění ontologií. Představujeme dva nové inkrementální algoritmy pro vysvětlování modelovacích chyb a porovnáváme je se současnými black-box algoritmy. Obě inkrementální metody jsou použity spolu s novou implementací tableau algoritmu pro logiku SHIN pro vysvětlování modelovacích chyb v anotacích vytvářených naším novým prototypovým nástrojem.

Type

D - Article in proceedings

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ů

Article name in the collection

Proceedings of Workshop 2007

ISBN

978-80-01-03667-9

ISSN

—

e-ISSN

—

Number of pages

2

Pages from-to

—

Publisher name

ČVUT

Place of publication

Praha

Event location

Praha

Event date

Feb 19, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—