List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the Satisfiability of Quasi-Classical Description Logics Computing and Informatics | 2018-11-29 | Paper |
| An approach to generating arguments over DL-Lite ontologies | 2018-04-05 | Paper |
| A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite International Journal of Approximate Reasoning | 2017-11-16 | Paper |
| On the satisfiability problem for SPARQL patterns The Journal of Artificial Intelligence Research (JAIR) | 2016-09-07 | Paper |
| Inconsistency-tolerant reasoning with OWL DL International Journal of Approximate Reasoning | 2015-07-10 | Paper |
| On the primitivity of operators in SPARQL Information Processing Letters | 2014-05-05 | Paper |
| Quasi-classical description logic | 2012-04-26 | Paper |
| Tableau-based forgetting in \(\mathcal {ALC}\) ontologies | 2011-05-11 | Paper |
Research outcomes over time
This page was built for person: Xiaowang Zhang
