Axiom Pinpointing Using an Assumption-Based Truth Maintenance System

TitleAxiom Pinpointing Using an Assumption-Based Truth Maintenance System
Publication TypeConference Paper
Year of Publication2012
AuthorsNguyen, Hai, Natasha Alechina, and Brian Logan
Refereed DesignationRefereed
EditorKazakov, Yevgeny, Domenico Lembo, and Frank Wolter
Conference NameProceedings of the 25th International Workshop on Description Logics (DL 2012)
Pages290--300
Date Published06/2012
Conference LocationRome, Italy
Citation KeyNguyen//:12a
AttachmentSize
Nguyen++:12a.pdf333.1 KB