Vysvětlování modelovacích chyb v ontologiích má zásadní důležitost jak při vytváření, tak při udržování ontologie. Tato práce představují dva nové inkrementální algoritmy pro vysvětlování modelovacích chyb a ukazuje, že jsou výrazně rychlejší než současné black-box techniky. Oba algoritmy spolu s naší implementací tableau inferenčního stroje pro logiku SHIN se používají pro vysvětlování modelovacích chyb v našem prototypovém nástroji pro tvorbu sémantických anotací. (cs)
Incremental approach to error explanations in ontologies are of crucial importance both when creating and maintaining the ontology.
Incremental approach to error explanations in ontologies are of crucial importance both when creating and maintaining the ontology. (en)