The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zhe Wang 0001" ( http://dblp.L3S.de/Authors/Zhe_Wang_0001 )

URL (Homepage):  http://www.ict.griffith.edu.au/zhe/  Author page on DBLP  Author page in RDF  Community of Zhe Wang 0001 in ASPL-2

Publication years (Num. hits)
2008-2014 (15) 2015-2016 (15) 2017-2019 (14)
Publication types (Num. hits)
article(9) inproceedings(33) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang, James P. Delgrande A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Liangda Fang, Kewen Wang, Zhe Wang 0001, Ximing Wen Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pouya Ghiasnezhad Omran, Kewen Wang, Zhe Wang 0001 Learning Temporal Rules from Knowledge Graph Streams. Search on Bibsonomy AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering The full citation details ... 2019 DBLP  BibTeX  RDF
1Pouya Ghiasnezhad Omran, Zhe Wang 0001, Kewen Wang Knowledge Graph Rule Mining via Transfer Learning. Search on Bibsonomy PAKDD (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Liangda Fang, Kewen Wang, Zhe Wang 0001, Ximing Wen Knowledge Compilation in Multi-Agent Epistemic Logics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tatsuya Nonoyama, Edward Kabaale, Lian Wen, David Tuffley, Zhe Wang 0001 Integrating Culture Awareness and Formalisation in Software Process Assessment and Improvement for Very Small Entities (VSEs). Search on Bibsonomy EuroSPI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Xiaowang Zhang Forgetting and Unfolding for Existential Rules. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Zhe Wang 0001 On the Satisfiability Problem of Patterns in SPARQL 1.1. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Liangda Fang, Kewen Wang, Zhe Wang 0001, Ximing Wen Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pouya Ghiasnezhad Omran, Kewen Wang, Zhe Wang 0001 Scalable Rule Learning via Learning Representation. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaowang Zhang, Kewen Wang, Zhe Wang 0001, Yue Ma, Guilin Qi, Zhiyong Feng A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peng Xiao, Kewen Wang, Zhe Wang 0001 Incosistency-Tolerant Forgetting in DL-lite. Search on Bibsonomy International Semantic Web Conference (Posters, Demos & Industry Tracks) The full citation details ... 2017 DBLP  BibTeX  RDF
1Zhe Wang 0001, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang (eds.) Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings Search on Bibsonomy JIST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Edward Kabaale, Lian Wen, Zhe Wang 0001, Terry Rout An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach. Search on Bibsonomy SPICE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang, Guilin Qi DL-Lite Contraction and Revision. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang 0001, Jun Sun 0001, Yang Liu 0003 (eds.) Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers Search on Bibsonomy JIST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yifan Jin, Kewen Wang, Zhe Wang 0001, Zhiqiang Zhuang Revising Possibilistic Knowledge Bases via Compatibility Degrees. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Edward Kabaale, Lian Wen, Zhe Wang 0001, Terry Rout Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification. Search on Bibsonomy SPICE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang 0001, Chuhan Zhang, Jiangtao Xu Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Pouya Ghiasnezhad Omran, Kewen Wang, Zhe Wang 0001 Transfer Learning in Probabilistic Logic Models. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor DL-Lite Ontology Revision Based on An Alternative Semantic Characterization. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Mahsa Chitsaz, Kewen Wang, Jianfeng Du Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies. Search on Bibsonomy CIKM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xiaowang Zhang, Kewen Wang, Zhe Wang 0001, Yue Ma, Guilin Qi A Distance-Based Paraconsistent Semantics for DL-Lite. Search on Bibsonomy KSEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mahsa Chitsaz, Zhe Wang 0001, Kewen Wang Query Abduction for ELH Ontologies. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Zhiqiang Zhuang, Guilin Qi Instance-Driven Ontology Evolution in DL-Lite. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yisong Wang, Kewen Wang, Zhe Wang 0001, Zhiqiang Zhuang Knowledge Forgetting in Circumscription: A Preliminary Report. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Guilin Qi, Zhe Wang 0001, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang, James P. Delgrande Extending AGM Contraction to Arbitrary Logics. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yifan Jin, Kewen Wang, Zhe Wang 0001 Possibilistic Inferences in Answer Set Programming. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang 0001 HermiT: An OWL 2 Reasoner. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kewen Wang, Zhe Wang 0001, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. Search on Bibsonomy Computational Intelligence The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang, Guilin Qi Contraction and Revision over DL-Lite TBoxes. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang, Grigoris Antoniou Rational Elimination of DL-Lite TBox Axioms. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li Instance-driven TBox Revision in DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Xiaowang Zhang, Kewen Wang, Zhe Wang 0001, Yue Ma, Guilin Qi A Distance-based Paraconsistent Semantics in DL-Lite Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nathan Cobby, Kewen Wang, Zhe Wang 0001, Marco Sotomayor OntoRevision: A Plug-in System for Ontology Revision in Protégé. Search on Bibsonomy JIST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor, Jeff Z. Pan Forgetting for knowledge bases in DL-Lite. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor A New Approach to Knowledge Base Revision in DL-Lite. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor, Xiaowang Zhang Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor Revising General Knowledge Bases in Description Logics. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Kewen Wang, Zhe Wang 0001, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor Revision of DL-Lite Knowledge Bases. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou Uniform Interpolation for ALC\mathcal{ALC} Revisited. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zhe Wang 0001, Kewen Wang, Rodney W. Topor, Jeff Z. Pan Forgetting Concepts in DL-Lite. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license