Zhe Wang

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Query Answering with Guarded Existential Rules under Stable Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Comparative Analysis of Requirement Change Management Challenges Between in-House and Global Software Development: Findings of Literature and Industry Survey.

[BibT_eX]

[DOI]

IEEE Access, 2019

Learning Ontology Axioms over Knowledge Graphs via Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

A System for Reasoning-based Link Prediction in Large Knowledge Graphs.

[BibT_eX]

[DOI]

Hong Wu

Xiaowang Zhang

Zhiyong Feng

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Ontology-Based Event Detection for Wastewater Treatment.

[BibT_eX]

[DOI]

Yi Sun

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Knowledge Graph Rule Mining via Transfer Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2019

Formalising Process Assessment and Capability Determination: An Ontology Approach.

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2019

A Systematic Approach for Identifying Requirement Change Management Challenges: Preliminary Results.

[BibT_eX]

[DOI]

Sajid Anwer

Lian Wen

Proceedings of the Evaluation and Assessment on Software Engineering, 2019

Practical Datalog Rewriting for Existential Rules.

[BibT_eX]

[DOI]

Peng Xiao

Proceedings of the 32nd International Workshop on Description Logics, 2019

Learning Temporal Rules from Knowledge Graph Streams.

[BibT_eX]

[DOI]

Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Knowledge Compilation in Multi-Agent Epistemic Logics.

[BibT_eX]

[DOI]

CoRR, 2018

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Scalable Rule Learning via Learning Representation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Integrating Culture Awareness and Formalisation in Software Process Assessment and Improvement for Very Small Entities (VSEs).

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2018

On the Satisfiability Problem of Patterns in SPARQL 1.1.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Forgetting and Unfolding for Existential Rules.

[BibT_eX]

[DOI]

Xiaowang Zhang

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.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement and Capability Determination, 2017

Incosistency-Tolerant Forgetting in DL-lite.

[BibT_eX]

[DOI]

Peng Xiao

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.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement and Capability Determination, 2016

Revising Possibilistic Knowledge Bases via Compatibility Degrees.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Transfer Learning in Probabilistic Logic Models.

[BibT_eX]

[DOI]

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2015

A Distance-Based Paraconsistent Semantics for DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2015

Extending AGM Contraction to Arbitrary Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Possibilistic Inferences in Answer Set Programming.

[BibT_eX]

[DOI]

Yifan Jin

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Instance-Driven Ontology Evolution in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Knowledge Forgetting in Circumscription: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Query Abduction for ELH Ontologies.

[BibT_eX]

[DOI]

Mahsa Chitsaz

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

HermiT: An OWL 2 Reasoner.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics.

[BibT_eX]

[DOI]

Comput. Intell., 2014

Rational Elimination of DL-Lite TBox Axioms.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Instance-driven TBox Revision in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Contraction and Revision over DL-Lite TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

2012

The HermiT OWL Reasoner.

[BibT_eX]

[DOI]

Ian Horrocks

Boris Motik

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

OntoRevision: A Plug-in System for Ontology Revision in Protégé.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

2010

Forgetting for knowledge bases in DL-Lite.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

Revising General Knowledge Bases in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A New Approach to Knowledge Base Revision in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Concept and Role Forgetting in <i>ALC</i>{\mathcal {ALC}} Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Revision of DL-Lite Knowledge Bases.

[BibT_eX]

[DOI]