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

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Inference support for semantic annotations in description logics

Popis výsledku v původním jazyce

"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."

Název v anglickém jazyce

Inference support for semantic annotations in description logics

Popis výsledku anglicky

"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."

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2007

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of Workshop 2007

ISBN

978-80-01-03667-9

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

—

Název nakladatele

ČVUT

Místo vydání

Praha

Místo konání akce

Praha

Datum konání akce

19. 2. 2007

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—