Lean Kernels in Description Logics

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