Zhe Wang : Publications
-
[1]
A New Approach to Knowledge Base Revision in DL−Lite
Zhe Wang‚ Kewen Wang and Rodney Topor
In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010). 2010.
Details about A New Approach to Knowledge Base Revision in DL−Lite | BibTeX data for A New Approach to Knowledge Base Revision in DL−Lite
-
[2]
Acyclicity Conditions and their Application to Query Answering in Description Logics
Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Krötzsch‚ Clemens Kupke‚ Despoina Magka‚ Boris Motik and Zhe Wang.
In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). AAAI Press. June, 2012.
Details about Acyclicity Conditions and their Application to Query Answering in Description Logics | BibTeX data for Acyclicity Conditions and their Application to Query Answering in Description Logics | Download slides (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics | Download paper (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics
-
[3]
Concept and Role Forgetting in ALC
Kewen Wang‚ Zhe Wang‚ Rodney Topor‚ Jeff Z. Pan and Grigoris Antoniou
In Proceedings of the 8th International Semantic Web Conference (ISWC 2009). Pages 666−681. 2009.
Details about Concept and Role Forgetting in ALC | BibTeX data for Concept and Role Forgetting in ALC
-
[4]
Forgetting Concepts in DL−Lite
Zhe Wang‚ Kewen Wang‚ Rodney Topor and Jeff Z. Pan
In Proceedings of 5th European Semantic Web Conference (ESWC 2008). Pages 245−257. 2008.
Details about Forgetting Concepts in DL−Lite | BibTeX data for Forgetting Concepts in DL−Lite
-
[5]
Forgetting for knowledge bases in DL−Lite
Zhe Wang‚ Kewen Wang‚ Rodney Topor and Jeff Z. Pan
In Annals of Mathematics and Artificial Intelligence. Vol. 58. No. 1−2. Pages 117−151. 2010.
Details about Forgetting for knowledge bases in DL−Lite | BibTeX data for Forgetting for knowledge bases in DL−Lite
-
[6]
OntoRevision: A Plug−in System for Ontology Revision in Protégé
Nathan Cobby‚ Kewen Wang‚ Zhe Wang and Marco Sotomayor
In Proceedings of the Joint International Semantic Technology Conference (JIST 2011). Pages 417−424. 2011.
Details about OntoRevision: A Plug−in System for Ontology Revision in Protégé | BibTeX data for OntoRevision: A Plug−in System for Ontology Revision in Protégé
-
[7]
Revising General Knowledge Bases in Description Logics
Zhe Wang‚ Kewen Wang and Rodney Topor
In Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). 2010.
Details about Revising General Knowledge Bases in Description Logics | BibTeX data for Revising General Knowledge Bases in Description Logics
-
[8]
Revision of DL−Lite Knowledge Bases
Zhe Wang‚ Kewen Wang and Rodney Topor
In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). 2009.
Details about Revision of DL−Lite Knowledge Bases | BibTeX data for Revision of DL−Lite Knowledge Bases
-
[9]
Tableau−based Forgetting in ALC Ontologies
Zhe Wang‚ Kewen Wang‚ Rodney Topor and Xiaowang Zhang
In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Pages 47−52. 2010.
Details about Tableau−based Forgetting in ALC Ontologies | BibTeX data for Tableau−based Forgetting in ALC Ontologies
-
[10]
Uniform Interpolation for ALC Revisited
Zhe Wang‚ Kewen Wang‚ Rodney Topor‚ Jeff Z. Pan and Grigoris Antoniou
In Proceedings of the 22nd Australasian Conference on Artificial Intelligence. Pages 528−537. 2009.
Details about Uniform Interpolation for ALC Revisited | BibTeX data for Uniform Interpolation for ALC Revisited