Incremental Approach to Error Explanations in Ontologies
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F09%3A00156824" target="_blank" >RIV/68407700:21230/09:00156824 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Incremental Approach to Error Explanations in Ontologies
Original language description
Explanations of modeling errors in ontologies are of crucial importance both when creating and maintaining the ontology. This work presents two novel incremental methods for error explanations in semantic web ontologies and shows their advantages w.r.t.the state of the art black-box techniques. Both promising techniques together with our implementation of a tableau reasoner for an important OWL-DL subset SHIN are used in our semantic annotation tool prototype to explain modeling errors.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
JD - Use of computers, robotics and its application
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Networked Knowledge - Networked Media
ISBN
978-3-642-02183-1
Number of pages of the result
15
Pages from-to
—
Number of pages of the book
339
Publisher name
Springer
Place of publication
Heidelberg
UT code for WoS chapter
—