Zhe Wang

Artificial Intelligence · with Glimm · 2014

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Zhe Wang trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Ian Horrocks

Papers from Zhe Wang's perspective

Ordered by how strongly the researchers Zhe Wang trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
  2. A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
  3. The Even More Irresistible SROIQ (International Conference on Principles of Knowledge Representation and Reasoning)
  4. Query Answering for OWL-DL with Rules (International Workshop on the Semantic Web)
  5. Pellet: A practical OWL-DL reasoner (Journal of Web Semantics)
  6. An Overview of Tableau Algorithms for Description Logics (Studia Logica: An International Journal for Symbolic Logic)
  7. Foundations of Semantic Web Technologies
  8. Hypertableau Reasoning for Description Logics (Journal of Artificial Intelligence Research)
  9. OWL 2 Web Ontology Language: structural specification and functional-style syntax
  10. A Structure-Preserving Clause Form Translation

Their papers