Lean Kernels in Description Logics

TitleLean Kernels in Description Logics
Publication TypeConference Paper
Year of Publication2017
AuthorsPeñaloza, R., C. Mencía, A. Ignatiev, and J. Marques-Silva
Conference NameEuropean Semantic Web Conference
PublisherSpringer