En motivering till ett införande i en OWL- ontologi är en minimal delmängd av ontologin som är tillräcklig för att detta innebär att hålla. Eftersom motiveringarna respekterar den syntaktiska formen av axiom i en ontologi, är de vanligtvis varken syntaktiskt eller semantiskt minimala. I detta dokument presenteras två nya underklasser av motiveringar-lakoniska motiveringar och exakta motiveringar. Lakoniska motiveringar består endast av axiom som inte innehåller några överflödiga "delar". Exakta motiveringar kan härledas från lakoniska motiveringar och kännetecknas av att de består av platta, små axiom, som underlättar uppkomsten av semantiskt minimala reparationer. Formella definitioner för båda typerna av motiveringar presenteras. I motsats till tidigare arbete inom detta område gör dessa definitioner det klart vad exakt "delar av axiom" är. För att visa att datalakoniska är praktiskt genomförbara och därmed exakta motiveringar ges en algoritm och resultat från en empirisk utvärdering som utförts på flera publicerade ontologier presenteras. Utvärderingen visade att lakoniska/precisa motiveringar kan beräknas i en rimlig tid för indicier i en rad ontologier som varierar i storlek och komplexitet. Det konstaterades att det i hälften av de provtagna ontologierna fanns inslag som hade mer lakoniska/precisa motiveringar än regelbundna motiveringar. Det var mer förvånande att det för vissa ontologier fanns färre lakoniska motiveringar än regelbundna motiveringar.
Arbetet med lakoniska och exakta motiveringar REF (minimala delar av ontologin som innebär ett visst axiom eller axiom) är också relaterat till detta dokument.
Laconic and precise justifications in OWL
{'venue': 'In Proc. of ISWC-08, volume 5318 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}