Axiom Pinpointing in Lightweight Description Logics via Horn-Sat Encoding and Conflict Analysis
Lecture Notes in Computer Science- Germany
doi 10.1007/978-3-642-02959-2_6
Full Text
Abstract
Available in
Date
January 1, 2009
Authors
Publisher
Springer Berlin Heidelberg