Login / Signup
Yu Ding
Publication Activity (10 Years)
Years Active: 2005-2007
Publications (10 Years): 0
</>
Publications
</>
Yu Ding
,
Volker Haarslev
An ExpTime Tableau Decision Procedure for ALCQI.
Description Logics
(2007)
Yu Ding
,
Volker Haarslev
,
Jiewen Wu
A New Mapping from ALCI to ALC.
Description Logics
(2007)
Yu Ding
,
Volker Haarslev
Tableau Caching for Description Logics with Inverse and Transitive Roles.
Description Logics
(2006)
Yu Ding
,
Volker Haarslev
Towards Efficient Reasoning for Description Logics with Inverse Roles.
Description Logics
(2005)