Ontology Debugging with Truth Maintenance Systems

TitleOntology Debugging with Truth Maintenance Systems
Publication TypeConference Paper
Year of Publication2010
AuthorsNguyen, Hai, Natasha Alechina, and Brian Logan
EditorBundy, Alan, Jos Lehmann, Guilin Qi, and Ivan Jose Varzinczak
Conference NameECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes
Pages13--14
Conference LocationLisbon, Portugal
Citation KeyNguyen//:10a
AttachmentSize
Nguyen++:10a.pdf101 KB