xiaowangzhang@tju.edu.cn
未公开
副教授
面向异构数据库的查询语言设计及其基础理论研究

---

国家科技部“精准医学研究”重点专项-中国重大疾病与罕见病临床与生命组学数据库子课题

---

RDF知识图谱数据上的分布式，大规模知识并行推理框架研究

---

技术培训(北京翱翔嘉业科技有限公司)
一种面向大数据的多范型融合分析处理方法

---

一种基于RDF图数据和关系数据的路径查询框架
本发明公开了一种面向大数据的多范型融合分析处理方法，该方法包括以下步骤：数据预处理阶段；配置文件阶段：数据查询分析阶段；用户反馈阶段。本发明提出的基于GBase数据库的大数据多范型融合分析处理是可以有效满足大数据分析市场需求的解决方案。

---

对于那些不能用正则表达式表达的导航查询，例如，需要同时查询RDF图数据和关系数据，我们提出这样一种RDF图数据和关系数据的联邦路径查询框架，从数据异构的角度增强SPARQL的导航能力，消除部分基于SPARQL的扩展语言的查询能力的限制
On the primitivity of SPARQL 1.1 operators

---

ComR: A combined OWL reasoner for ontology classification

---

Context-free path queries on RDF graphs

---

A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite

---

Forgetting for distance-based reasoning and repair in DL-Lite

---

On the satisfiability problem for SPARQL patterns

---

On the power of SPARQL in expressing navigational queries

---

On the statistical analysis of practical SPARQL queries

---

Inconsistency-tolerant reasoning with OWL DL

---

On the primitivity of operators in SPARQL

---

Quasi-classical description logic

---

An approach to generating arguments over DL-Lite ontologies

---

An argumentation framework for description logic ontology reasoning and management

---

On the satisfiability of quasi-classical description logics.

---

Walk Logic as a framework for path query languages on graph databases

---

A tableau algorithm for handling inconsistency in OWL

---

Tableau-based forgetting in ALC ontologies

---

Argumentation-based reasoning with inconsistent knowledge bases

---

A distance-based paraconsistent semantics for DL-Lite.

---

Towards a paradoxical description logic for the Semantic Web

---

Quasi-classical semantics for expressive description logics

---

A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system

---

An argumentative semantics for paraconsistent reasoning in description logic ALC

---

Paraconsistent reasoning with quasi-classical semantic in ALC

---

An argumentation-based approach to handling inconsistencies in DL-lite

---

Updating direct graph for incremental reasoning in OWL 2 QL ontology.

---

PROSE: A plugin-based paraconsistent OWL reasoner.

---

From Datalog reasoning to modular structure of an ontology

---

一种基于符号变换的描述逻辑ALC超协调推理算法

---

Updating ontologies and general rules