Volker Haarslev

International Joint Conference on Automated Reasoning · 2001–2003

A researcher in the Science corpus: 3 papers; trusts 4 researchers and is trusted by 30 researchers here, as inferred from the citation graph.

Whom Volker Haarslev trusts overall

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

  1. Sean Bechhofer
  2. Ian Horrocks
  3. Franz Baader
  4. Carole A. Goble

Who trusts Volker Haarslev overall

  1. Ian Horrocks
  2. Franz Baader
  3. Boris Motik
  4. Matthew Horridge
  5. Moritz Tenorth
  6. Lei Li
  7. Harry Chen
  8. U. Sattler
  9. Céline Hudelot
  10. Antonio De Nicola

Papers from Volker Haarslev's perspective

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

  1. RACER System Description (International Joint Conference on Automated Reasoning)
  2. OilEd: a Reason-able Ontology Editor for the Semantic Web (Description Logics)
  3. Rdf vocabulary description language 1.0 : Rdf schema
  4. Resource Description Framework (RDF) Model and Syntax Specification
  5. Description Logics as Ontology Languages for the Semantic Web (Mechanizing Mathematical Reasoning)
  6. The Semantic Web: The Roles of XML and RDF (IEEE Internet Computing)
  7. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
  8. Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
  9. The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications (International Workshop on the Semantic Web)
  10. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)

Their papers