Zhe Wang

According to our database1, Zhe Wang authored at least 36 papers between 2008 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Knowledge Compilation in Multi-Agent Epistemic Logics.
CoRR, 2018

Scalable Rule Learning via Learning Representation.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

On the Satisfiability Problem of Patterns in SPARQL 1.1.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Forgetting and Unfolding for Existential Rules.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite.
Int. J. Approx. Reasoning, 2017

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach.
Proceedings of the Software Process Improvement and Capability Determination, 2017

Incosistency-Tolerant Forgetting in DL-lite.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

2016
DL-Lite Contraction and Revision.
J. Artif. Intell. Res., 2016

Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification.
Proceedings of the Software Process Improvement and Capability Determination, 2016

Revising Possibilistic Knowledge Bases via Compatibility Degrees.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Transfer Learning in Probabilistic Logic Models.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization.
ACM Trans. Comput. Log., 2015

A Distance-Based Paraconsistent Semantics for DL-Lite.
Proceedings of the Knowledge Science, Engineering and Management, 2015

Extending AGM Contraction to Arbitrary Logics.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Possibilistic Inferences in Answer Set Programming.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Instance-Driven Ontology Evolution in DL-Lite.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Knowledge Forgetting in Circumscription: A Preliminary Report.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Query Abduction for ELH Ontologies.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
HermiT: An OWL 2 Reasoner.
J. Autom. Reasoning, 2014

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics.
Computational Intelligence, 2014

Rational Elimination of DL-Lite TBox Axioms.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Instance-driven TBox Revision in DL-Lite.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Contraction and Revision over DL-Lite TBoxes.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Distance-based Paraconsistent Semantics in DL-Lite
CoRR, 2013

2011
OntoRevision: A Plug-in System for Ontology Revision in Protégé.
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

2010
Forgetting for knowledge bases in DL-Lite.
Ann. Math. Artif. Intell., 2010

Revising General Knowledge Bases in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies.
Proceedings of the ECAI 2010, 2010

A New Approach to Knowledge Base Revision in DL-Lite.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Revision of DL-Lite Knowledge Bases.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Uniform Interpolation for ALC\mathcal{ALC} Revisited.
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008
Forgetting Concepts in DL-Lite.
Proceedings of the Semantic Web: Research and Applications, 2008


  Loading...