The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Volker Haarslev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Volker Haarslev, Ralf Möller
    RACER System Description. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:701-706 [Conf]
  2. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:61-75 [Conf]
  3. Volker Haarslev, Ralf Möller, Michael Wessel
    The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:29-44 [Conf]
  4. Yonggang Zhang, Juergen Rilling, Volker Haarslev
    An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:333-342 [Conf]
  5. Helmut Faasch, Volker Haarslev
    Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung. [Citation Graph (0, 0)][DBLP]
    DAGM-Symposium, 1985, pp:191-195 [Conf]
  6. Volker Haarslev, Ralf Möller
    Eine graphische Umgebung zur experimentellen Bildverarbeitung. [Citation Graph (0, 0)][DBLP]
    DAGM-Symposium, 1988, pp:319-325 [Conf]
  7. CuiMing Chen, Volker Haarslev, JiaoYue Wang
    LAS: Extending Racer by a Large ABox Store. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  8. Xi Deng, Volker Haarslev, Nematollaah Shiri
    A Resolution Based Framework to Explain Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  9. Yu Ding, Volker Haarslev
    Towards Efficient Reasoning for Description Logics with Inverse Roles. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  10. Kruthi Bhoopalam, Volker Haarslev
    Fire – Extending Racer by an Engine for SWRL Rules. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  11. Volker Haarslev
    Using Description Logic for Reasoning about Diagrammatical Notations. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:124-128 [Conf]
  12. Volker Haarslev, Ying Lu, Nematollaah Shiri
    OntoXpl: Exploration of OWL Ontologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  13. Volker Haarslev, Ralf Möller
    High Performance Reasoning with Very Large Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:143-152 [Conf]
  14. Volker Haarslev, Ralf Möller
    Optimizing TBox and ABox Reasoning with Pseudo Models. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:153-162 [Conf]
  15. Volker Haarslev, Ralf Möller
    Description of the RACER System and its Applications. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  16. Volker Haarslev, Ralf Möller
    Optimizing Reasoning in Description Logics with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  17. Volker Haarslev, Ralf Möller
    Incremental Query Answering for Implementing Document Retrieval Services. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  18. Volker Haarslev, Ralf Möller
    Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  19. Volker Haarslev, Ralf Möller
    An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  20. Volker Haarslev, Ralf Möller
    RACE System Description. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  21. Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  22. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    HAM-ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  23. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    Implementing an ALCRP(D) ABox Reasoner - Progress Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  24. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
    On Terminological Default Reasoning about Spatial Information: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  25. Volker Haarslev, Ralf Möller, Michael Wessel
    Description Logic Inference Technology: Lessions Learned in the Trenches. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  26. Volker Haarslev, Martina Timmann, Ralf Möller
    Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  27. Ralf Möller, Ronald Cornet, Volker Haarslev
    Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  28. Ralf Möller, Volker Haarslev
    Description Logic Systems. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:282-305 [Conf]
  29. Anni-Yasmin Turhan, Volker Haarslev
    Adapting Optimization Techniques to Description Logics with Concrete Domains. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:247-256 [Conf]
  30. Michael Wessel, Volker Haarslev, Ralf Möller
    ALCRA - ALC with Role Axioms. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:267-276 [Conf]
  31. Volker Haarslev, Ralf Möller
    Racer: A Core Inference Engine for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    EON, 2003, pp:- [Conf]
  32. Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
    Uncertainty Reasoning in Description Logics: A Generic Approach. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2006, pp:818-823 [Conf]
  33. Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev
    Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1991, pp:427-436 [Conf]
  34. Ralf Möller, Volker Haarslev
    Layoutspezifikationen für komplexe graphische Objekte. [Citation Graph (0, 0)][DBLP]
    Graphik und KI, 1990, pp:78-91 [Conf]
  35. Volker Haarslev, Ralf Möller
    High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:161-168 [Conf]
  36. Volker Haarslev, Ralf Möller, Carsten Schröder
    Combining Spatial and Terminological Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:142-153 [Conf]
  37. Volker Haarslev, Ralf Möller
    Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:273-284 [Conf]
  38. Volker Haarslev, Carsten Lutz, Ralf Möller
    Foundations of Spatioterminological Reasoning with Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:112-123 [Conf]
  39. Volker Haarslev, Ralf Möller
    Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:163-174 [Conf]
  40. Volker Haarslev, Ralf Möller
    Description Logic Systems with Concrete Domains: Applications for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KRDB, 2003, pp:- [Conf]
  41. Juergen Rilling, Yonggang Zhang, Wen Jun Meng, René Witte, Volker Haarslev, Philippe Charland
    A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:56-65 [Conf]
  42. Volker Haarslev, Ralf Möller
    A Framework for Visualizing Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:237-244 [Conf]
  43. Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
    A Generic Framework for Description Logics with Uncertainty. [Citation Graph (0, 0)][DBLP]
    ISWC-URSW, 2005, pp:77-86 [Conf]
  44. Arash Shaban-Nejad, Christopher Baker, Volker Haarslev, Greg Butler
    The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:1063-1066 [Conf]
  45. Volker Haarslev
    Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. [Citation Graph (0, 0)][DBLP]
    Software-Ergonomie, 1987, pp:176-186 [Conf]
  46. Volker Haarslev, Ralf Möller
    Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. [Citation Graph (0, 0)][DBLP]
    Software-Ergonomie, 1989, pp:427-436 [Conf]
  47. Volker Haarslev, Ralf Möller
    Consistency Testing: The RACE Experience. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:57-61 [Conf]
  48. Volker Haarslev, Ralf Möller
    Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:24-28 [Conf]
  49. Volker Haarslev, Ralf Möller
    Visualisierung und Animation in der experimentellen Bildauswertung. [Citation Graph (0, 0)][DBLP]
    Visualisierungstechniken und Algorithmen, 1988, pp:213-223 [Conf]
  50. Dietrich Fahrenholtz, Volker Haarslev
    Visualization of Strand(tm) Processes. [Citation Graph (0, 0)][DBLP]
    VL, 1995, pp:114-115 [Conf]
  51. Volker Haarslev
    Formal Semantics of Visual Languages using Spatial Reasoning. [Citation Graph (0, 0)][DBLP]
    VL, 1995, pp:156-163 [Conf]
  52. Volker Haarslev, Ralf Möller
    A Declarative Formalism for Specifying Graphical Layout. [Citation Graph (0, 0)][DBLP]
    VL, 1990, pp:54-59 [Conf]
  53. Volker Haarslev, Ralf Möller, Michael Wessel
    On Specifying Semantics of Visual Spatial Query Languages. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:4-11 [Conf]
  54. Volker Haarslev, Michael Wessel
    GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. [Citation Graph (0, 0)][DBLP]
    VL, 1996, pp:204-211 [Conf]
  55. Volker Haarslev, Michael Wessel
    Querying GIS with Animated Spatial Sketches. [Citation Graph (0, 0)][DBLP]
    VL, 1997, pp:201-208 [Conf]
  56. Michael Wessel, Volker Haarslev
    VISCO: Bringing Visual Spatial Querying to Reality. [Citation Graph (0, 0)][DBLP]
    VL, 1998, pp:170-177 [Conf]
  57. Volker Haarslev, Ying Lu, Nematollaah Shiri
    ONTOXPL - Intelligent Exploration of OWL Ontologies. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2004, pp:624-627 [Conf]
  58. Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev
    Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. [Citation Graph (0, 0)][DBLP]
    WSE, 2006, pp:41-49 [Conf]
  59. Amar Isli, Volker Haarslev, Ralf Möller
    Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  60. Mary Hegarty, Volker Haarslev, N. Hari Narayanan
    Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:4, pp:38-39 [Journal]
  61. Ralf Möller, Volker Haarslev
    Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. [Citation Graph (0, 0)][DBLP]
    KI, 2003, v:17, n:3, pp:10-0 [Journal]
  62. Volker Haarslev, Carsten Lutz, Ralf Möller
    A Description Logic with Concrete Domains and a Role-forming Predicate Operator. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:351-384 [Journal]
  63. Leonie S. Dreschler-Fischer, Volker Haarslev
    Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung. [Citation Graph (0, 0)][DBLP]
    Robotersysteme, 1985, v:1, n:, pp:29-34 [Journal]
  64. Volker Haarslev
    A Logic-based Formalism for Reasoning about Visual Representations. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 1999, v:10, n:4, pp:421-445 [Journal]
  65. Christopher Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler
    Semantic web infrastructure for fungal enzyme biotechnologists. [Citation Graph (0, 0)][DBLP]
    J. Web Sem., 2006, v:4, n:3, pp:168-180 [Journal]
  66. Arash Shaban-Nejad, Volker Haarslev
    Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:277-286 [Conf]
  67. Arash Shaban-Nejad, Volker Haarslev
    Managing Conceptual Revisions in a Temporal Fungal Taxonomy. [Citation Graph (0, 0)][DBLP]
    CBMS, 2007, pp:624-632 [Conf]
  68. Ming Zuo, Volker Haarslev
    High Performance Absorption Algorithms for Terminological Reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  69. Ralf Möller, Volker Haarslev, Michael Wessel
    On the Scalability of Description Logic Instance Retrieval. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  70. Yu Ding, Volker Haarslev
    Tableau Caching for Description Logics with Inverse and Transitive Roles. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  71. Xi Deng, Volker Haarslev, Nematollaah Shiri
    Measuring Inconsistencies in Ontologies. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:326-340 [Conf]
  72. Ralf Möller, Volker Haarslev, Michael Wessel
    On the Scalability of Description Logic Instance Retrieval. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:188-201 [Conf]
  73. Arash Shaban-Nejad, Volker Haarslev
    Towards a framework for requirement change management in healthcare software applications. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:807-808 [Conf]
  74. Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri
    A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. [Citation Graph (0, 0)][DBLP]
    ODBIS, 2006, pp:1-17 [Conf]
  75. Christopher Baker, Xiao Su, Greg Butler, Volker Haarslev
    Ontoligent Interactive Query Tool. [Citation Graph (0, 0)][DBLP]
    CSWWS, 2006, pp:155-169 [Conf]
  76. Xi Deng, Volker Haarslev, Nematollaah Shiri
    Resolution Based Explanations for Reasoning in the Description Logic ALC. [Citation Graph (0, 0)][DBLP]
    CSWWS, 2006, pp:189-204 [Conf]
  77. Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
    Completion Rules for Uncertainty Reasoning with the Description Logic ALC. [Citation Graph (0, 0)][DBLP]
    CSWWS, 2006, pp:205-225 [Conf]
  78. Xi Deng, Volker Haarslev, Nematollaah Shiri
    A Framework for Explaining Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
    ExaCt, 2005, pp:55-61 [Conf]

  79. Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. [Citation Graph (, )][DBLP]


  80. Optimizing Tableau Reasoning in ALC Extended with Uncertainty. [Citation Graph (, )][DBLP]


  81. An ExpTime Tableau Decision Procedure for ALCQI. [Citation Graph (, )][DBLP]


  82. A New Mapping from ALCI to ALC. [Citation Graph (, )][DBLP]


  83. OntoVQL: A Graphical Query Language for OWL Ontologies. [Citation Graph (, )][DBLP]


  84. A Hybrid Tableau Algorithm for ALCQ. [Citation Graph (, )][DBLP]


  85. The Revival of Structural Subsumption in Tableau-based Reasoners. [Citation Graph (, )][DBLP]


  86. Planning of Axiom Absorption. [Citation Graph (, )][DBLP]


  87. Towards Parallel Classifcation of TBoxes. [Citation Graph (, )][DBLP]


  88. Rewriting Rules into SROIQ Axioms. [Citation Graph (, )][DBLP]


  89. Optimizing Reasoning with Qualified Number Restrictions in SHQ. [Citation Graph (, )][DBLP]


  90. Algebraic Tableau Algorithm for ALCOQ. [Citation Graph (, )][DBLP]


  91. A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. [Citation Graph (, )][DBLP]


  92. Parallel TBox Classification in Description Logics - First Experimental Results. [Citation Graph (, )][DBLP]


  93. An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. [Citation Graph (, )][DBLP]


  94. An Effective Ontology Matching Technique. [Citation Graph (, )][DBLP]


  95. Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. [Citation Graph (, )][DBLP]


  96. Incremental Biomedical Ontology Change Management through Learning Agents. [Citation Graph (, )][DBLP]


  97. Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. [Citation Graph (, )][DBLP]


  98. GLOO: A Graphical Query Language for OWL Ontologies. [Citation Graph (, )][DBLP]


  99. OntoKBEval: DL-based Evaluation of OWL Ontologies. [Citation Graph (, )][DBLP]


  100. Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. [Citation Graph (, )][DBLP]


  101. Using Patterns to Explain Inferences in. [Citation Graph (, )][DBLP]


  102. Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002