12
Publications
189
Citations
11
H-Index
1997
Active since
Zuoquan Lin is an author at Peking University specializing in engineering, description logics, and automated reasoning.
Top concepts
EngineeringSemanticsFormal MethodsDescription LogicsAutomated ReasoningComputer ScienceFormal VerificationSemantic WebLogic ProgrammingLanguage
Publications per year
1997–2019
12
12
Quasi-Classical Semantics for Expressive Description Logics
Xiaowang Zhang, Guilin Qi, Yue Ma et al. · 2010 · 18 citations · Full text
Engineering, Expressive Description Logics, Verification +17
ALC P u : an integration of description logic and general rules
Jing Mei, Zuoquan Lin, Harold Boley · 2007 · 17 citations
General Rules, Alc P U, Engineering +10
Rows per page
1–5 of 12