Search the dblp DataBase
Volker Haarslev :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Volker Haarslev , Ralf Möller RACER System Description. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:701-706 [Conf ] 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 ] 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 ] 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 ] 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 ] Volker Haarslev , Ralf Möller Eine graphische Umgebung zur experimentellen Bildverarbeitung. [Citation Graph (0, 0)][DBLP ] DAGM-Symposium, 1988, pp:319-325 [Conf ] CuiMing Chen , Volker Haarslev , JiaoYue Wang LAS: Extending Racer by a Large ABox Store. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] 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 ] Yu Ding , Volker Haarslev Towards Efficient Reasoning for Description Logics with Inverse Roles. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Kruthi Bhoopalam , Volker Haarslev Fire Extending Racer by an Engine for SWRL Rules. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Volker Haarslev Using Description Logic for Reasoning about Diagrammatical Notations. [Citation Graph (0, 0)][DBLP ] Description Logics, 1996, pp:124-128 [Conf ] Volker Haarslev , Ying Lu , Nematollaah Shiri OntoXpl: Exploration of OWL Ontologies. [Citation Graph (0, 0)][DBLP ] Description Logics, 2004, pp:- [Conf ] 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 ] 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 ] Volker Haarslev , Ralf Möller Description of the RACER System and its Applications. [Citation Graph (0, 0)][DBLP ] Description Logics, 2001, pp:- [Conf ] Volker Haarslev , Ralf Möller Optimizing Reasoning in Description Logics with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP ] Description Logics, 2001, pp:- [Conf ] Volker Haarslev , Ralf Möller Incremental Query Answering for Implementing Document Retrieval Services. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Volker Haarslev , Ralf Möller Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. [Citation Graph (0, 0)][DBLP ] Description Logics, 1997, pp:- [Conf ] 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 ] Volker Haarslev , Ralf Möller RACE System Description. [Citation Graph (0, 0)][DBLP ] Description Logics, 1999, pp:- [Conf ] 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 ] Volker Haarslev , Ralf Möller , Anni-Yasmin Turhan HAM-ALC. [Citation Graph (0, 0)][DBLP ] Description Logics, 1998, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Ralf Möller , Volker Haarslev Description Logic Systems. [Citation Graph (0, 0)][DBLP ] Description Logic Handbook, 2003, pp:282-305 [Conf ] 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 ] Michael Wessel , Volker Haarslev , Ralf Möller ALCRA - ALC with Role Axioms. [Citation Graph (0, 0)][DBLP ] Description Logics, 2000, pp:267-276 [Conf ] Volker Haarslev , Ralf Möller Racer: A Core Inference Engine for the Semantic Web. [Citation Graph (0, 0)][DBLP ] EON, 2003, pp:- [Conf ] 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 ] 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 ] Ralf Möller , Volker Haarslev Layoutspezifikationen für komplexe graphische Objekte. [Citation Graph (0, 0)][DBLP ] Graphik und KI, 1990, pp:78-91 [Conf ] 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 ] Volker Haarslev , Ralf Möller , Carsten Schröder Combining Spatial and Terminological Reasoning. [Citation Graph (0, 0)][DBLP ] KI, 1994, pp:142-153 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Volker Haarslev , Ralf Möller A Framework for Visualizing Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] OOPSLA/ECOOP, 1990, pp:237-244 [Conf ] 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 ] 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 ] Volker Haarslev Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. [Citation Graph (0, 0)][DBLP ] Software-Ergonomie, 1987, pp:176-186 [Conf ] Volker Haarslev , Ralf Möller Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. [Citation Graph (0, 0)][DBLP ] Software-Ergonomie, 1989, pp:427-436 [Conf ] Volker Haarslev , Ralf Möller Consistency Testing: The RACE Experience. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2000, pp:57-61 [Conf ] 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 ] 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 ] Dietrich Fahrenholtz , Volker Haarslev Visualization of Strand(tm) Processes. [Citation Graph (0, 0)][DBLP ] VL, 1995, pp:114-115 [Conf ] Volker Haarslev Formal Semantics of Visual Languages using Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] VL, 1995, pp:156-163 [Conf ] Volker Haarslev , Ralf Möller A Declarative Formalism for Specifying Graphical Layout. [Citation Graph (0, 0)][DBLP ] VL, 1990, pp:54-59 [Conf ] 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 ] 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 ] Volker Haarslev , Michael Wessel Querying GIS with Animated Spatial Sketches. [Citation Graph (0, 0)][DBLP ] VL, 1997, pp:201-208 [Conf ] Michael Wessel , Volker Haarslev VISCO: Bringing Visual Spatial Querying to Reality. [Citation Graph (0, 0)][DBLP ] VL, 1998, pp:170-177 [Conf ] Volker Haarslev , Ying Lu , Nematollaah Shiri ONTOXPL - Intelligent Exploration of OWL Ontologies. [Citation Graph (0, 0)][DBLP ] Web Intelligence, 2004, pp:624-627 [Conf ] 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 ] 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 ] Mary Hegarty , Volker Haarslev , N. Hari Narayanan Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP ] KI, 2002, v:16, n:4, pp:38-39 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Arash Shaban-Nejad , Volker Haarslev Managing Conceptual Revisions in a Temporal Fungal Taxonomy. [Citation Graph (0, 0)][DBLP ] CBMS, 2007, pp:624-632 [Conf ] Ming Zuo , Volker Haarslev High Performance Absorption Algorithms for Terminological Reasoning. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] 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 ] Yu Ding , Volker Haarslev Tableau Caching for Description Logics with Inverse and Transitive Roles. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Xi Deng , Volker Haarslev , Nematollaah Shiri Measuring Inconsistencies in Ontologies. [Citation Graph (0, 0)][DBLP ] ESWC, 2007, pp:326-340 [Conf ] 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 ] 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 ] 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 ] Christopher Baker , Xiao Su , Greg Butler , Volker Haarslev Ontoligent Interactive Query Tool. [Citation Graph (0, 0)][DBLP ] CSWWS, 2006, pp:155-169 [Conf ] 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 ] 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 ] 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 ] Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. [Citation Graph (, )][DBLP ] Optimizing Tableau Reasoning in ALC Extended with Uncertainty. [Citation Graph (, )][DBLP ] An ExpTime Tableau Decision Procedure for ALCQI. [Citation Graph (, )][DBLP ] A New Mapping from ALCI to ALC. [Citation Graph (, )][DBLP ] OntoVQL: A Graphical Query Language for OWL Ontologies. [Citation Graph (, )][DBLP ] A Hybrid Tableau Algorithm for ALCQ. [Citation Graph (, )][DBLP ] The Revival of Structural Subsumption in Tableau-based Reasoners. [Citation Graph (, )][DBLP ] Planning of Axiom Absorption. [Citation Graph (, )][DBLP ] Towards Parallel Classifcation of TBoxes. [Citation Graph (, )][DBLP ] Rewriting Rules into SROIQ Axioms. [Citation Graph (, )][DBLP ] Optimizing Reasoning with Qualified Number Restrictions in SHQ. [Citation Graph (, )][DBLP ] Algebraic Tableau Algorithm for ALCOQ. [Citation Graph (, )][DBLP ] A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. [Citation Graph (, )][DBLP ] Parallel TBox Classification in Description Logics - First Experimental Results. [Citation Graph (, )][DBLP ] An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. [Citation Graph (, )][DBLP ] An Effective Ontology Matching Technique. [Citation Graph (, )][DBLP ] Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. [Citation Graph (, )][DBLP ] Incremental Biomedical Ontology Change Management through Learning Agents. [Citation Graph (, )][DBLP ] Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. [Citation Graph (, )][DBLP ] GLOO: A Graphical Query Language for OWL Ontologies. [Citation Graph (, )][DBLP ] OntoKBEval: DL-based Evaluation of OWL Ontologies. [Citation Graph (, )][DBLP ] Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H . [Citation Graph (, )][DBLP ] Using Patterns to Explain Inferences in. [Citation Graph (, )][DBLP ] Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications [Citation Graph (, )][DBLP ] Search in 0.028secs, Finished in 0.035secs