Stage-oe-small.jpg

Guilin Qi/Vorträge

Aus Aifbportal
< Guilin Qi
Version vom 20. November 2009, 18:54 Uhr von 127.0.0.1 (Diskussion) (Overridden by AifbPortalExt)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Vorträge von Guilin Qi

Guilin Qi
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
3rd Asian Semantic Web Conference, 
Thailand
Bangkok,  3.2.2009
(Details)


Guilin Qi
A Tableau Algorithm for Possibilistic Description Logic
3rd Asian Semantic Web Conference, 
Thailand
Bangkok,  3.2.2009
(Details)


Guilin Qi
A Survey of Revision Approaches in Description Logics
Second International Conference on Web Reasoning and Rule Systems, 
D

31.10.2008
(Details)

Guilin Qi
A Kernel Revision Operator for Terminologies - Algorithms and Evaluation
7th International Semantic Web Conference, 
D

29.10.2008
(Details)

Guilin Qi
A Survey of Revision Approaches in Description Logics
21st International Workshop on Description Logics, 
D

16.5.2008
(Details)

Guilin Qi
A Kernel Revision Operator for Terminologies
21st International Workshop on Description Logics, 
D

15.5.2008
(Details)