 | 2009 |
|---|
| 105 |       | Jocelyne Faddoul,
Volker Haarslev,
Ralf Möller:
Algebraic Tableau Algorithm for ALCOQ.
Description Logics 2009 |
| 104 | | Nasim Farsinia,
Volker Haarslev:
Optimizing Reasoning with Qualified Number Restrictions in SHQ.
Description Logics 2009 |
| 103 | | Arash Shaban-Nejad,
Volker Haarslev:
Bio-medical Ontologies Maintenance and Change Management.
Biomedical Data and Applications 2009: 143-168 |
| 102 | | Arash Shaban-Nejad,
Olga Ormandjieva,
Mohamad Kassab,
Volker Haarslev:
Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications
CoRR abs/0906.1842: (2009) |
| 2008 |
|---|
| 101 | | Arash Shaban-Nejad,
Volker Haarslev:
Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics.
BIBE 2008: 1-7 |
| 100 | | Jocelyne Faddoul,
Nasim Farsinia,
Volker Haarslev,
Ralf Möller:
A Hybrid Tableau Algorithm for ALCQ.
Description Logics 2008 |
| 99 | | Jiewen Wu,
Volker Haarslev:
Planning of Axiom Absorption.
Description Logics 2008 |
| 98 | | Francis Gasse,
Ulrike Sattler,
Volker Haarslev:
Rewriting Rules into SROIQ Axioms.
Description Logics 2008 |
| 97 | | Ralf Möller,
Volker Haarslev,
Sebastian Wandelt:
The Revival of Structural Subsumption in Tableau-based Reasoners.
Description Logics 2008 |
| 96 | | Mina Aslani,
Volker Haarslev:
Towards Parallel Classifcation of TBoxes.
Description Logics 2008 |
| 95 | | Jocelyne Faddoul,
Nasim Farsinia,
Volker Haarslev,
Ralf Möller:
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].
ECAI 2008: 725-726 |
| 94 | | Arash Shaban-Nejad,
Volker Haarslev:
An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast.
IRI 2008: 357-362 |
| 93 | | Ahmed Alasoud,
Volker Haarslev,
Nematollaah Shiri:
An Effective Ontology Matching Technique.
ISMIS 2008: 585-590 |
| 92 | | Arash Shaban-Nejad,
Volker Haarslev:
Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education.
ITiCSE 2008: 375 |
| 91 | | Arash Shaban-Nejad,
Volker Haarslev:
Incremental Biomedical Ontology Change Management through Learning Agents.
KES-AMSTA 2008: 526-535 |
| 90 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.
URSW (LNCS Vol.) 2008: 385-402 |
| 89 | | Yonggang Zhang,
René Witte,
Juergen Rilling,
Volker Haarslev:
Ontological approach for the semantic recovery of traceability links between software artefacts.
IET Software 2(3): 185-203 (2008) |
| 88 | | Volker Haarslev,
Ralf Möller:
On the Scalability of Description Logic Instance Retrieval.
J. Autom. Reasoning 41(2): 99-142 (2008) |
| 2007 |
|---|
| 87 |  | Diego Calvanese,
Enrico Franconi,
Volker Haarslev,
Domenico Lembo,
Boris Motik,
Anni-Yasmin Turhan,
Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
CEUR-WS.org 2007 |
| 86 | | Arash Shaban-Nejad,
Volker Haarslev:
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus.
AIME 2007: 277-286 |
| 85 | | Arash Shaban-Nejad,
Volker Haarslev:
Managing Conceptual Revisions in a Temporal Fungal Taxonomy.
CBMS 2007: 624-632 |
| 84 | | Yu Ding,
Volker Haarslev,
Jiewen Wu:
A New Mapping from ALCI to ALC.
Description Logics 2007 |
| 83 | | Yu Ding,
Volker Haarslev:
An ExpTime Tableau Decision Procedure for ALCQI.
Description Logics 2007 |
| 82 | | Amineh Fadhil,
Volker Haarslev:
OntoVQL: A Graphical Query Language for OWL Ontologies.
Description Logics 2007 |
| 81 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Optimizing Tableau Reasoning in ALC Extended with Uncertainty.
Description Logics 2007 |
| 80 | | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
Measuring Inconsistencies in Ontologies.
ESWC 2007: 326-340 |
| 79 | | Arash Shaban-Nejad,
Volker Haarslev:
Towards a framework for requirement change management in healthcare software applications.
OOPSLA Companion 2007: 807-808 |
| 2006 |
|---|
| 78 | | Yonggang Zhang,
Juergen Rilling,
Volker Haarslev:
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns.
COMPSAC (1) 2006: 333-342 |
| 77 | | Christopher J. O. Baker,
Xiao Su,
Greg Butler,
Volker Haarslev:
Ontoligent Interactive Query Tool.
CSWWS 2006: 155-169 |
| 76 | | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
Resolution Based Explanations for Reasoning in the Description Logic ALC.
CSWWS 2006: 189-204 |
| 75 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Completion Rules for Uncertainty Reasoning with the Description Logic ALC.
CSWWS 2006: 205-225 |
| 74 | | Ming Zuo,
Volker Haarslev:
High Performance Absorption Algorithms for Terminological Reasoning.
Description Logics 2006 |
| 73 | | Ralf Möller,
Volker Haarslev,
Michael Wessel:
On the Scalability of Description Logic Instance Retrieval.
Description Logics 2006 |
| 72 | | Yu Ding,
Volker Haarslev:
Tableau Caching for Description Logics with Inverse and Transitive Roles.
Description Logics 2006 |
| 71 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
Uncertainty Reasoning in Description Logics: A Generic Approach.
FLAIRS Conference 2006: 818-823 |
| 70 | | Ralf Möller,
Volker Haarslev,
Michael Wessel:
On the Scalability of Description Logic Instance Retrieval.
KI 2006: 188-201 |
| 69 | | Juergen Rilling,
Yonggang Zhang,
Wen Jun Meng,
René Witte,
Volker Haarslev,
Philippe Charland:
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension.
MoDELS Workshops 2006: 56-65 |
| 68 | | Ahmed Alasoud,
Volker Haarslev,
Nematollaah Shiri:
A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration.
ODBIS 2006: 1-17 |
| 67 | | Amineh Fadhil,
Volker Haarslev:
GLOO: A Graphical Query Language for OWL Ontologies.
OWLED 2006 |
| 66 | | Qing Lu,
Volker Haarslev:
OntoKBEval: DL-based Evaluation of OWL Ontologies.
OWLED 2006 |
| 65 | | Yonggang Zhang,
René Witte,
Juergen Rilling,
Volker Haarslev:
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution.
WSE 2006: 41-49 |
| 64 | | Christopher J. O. Baker,
Arash Shaban-Nejad,
Xiao Su,
Volker Haarslev,
Greg Butler:
Semantic web infrastructure for fungal enzyme biotechnologists.
J. Web Sem. 4(3): 168-180 (2006) |
| 2005 |
|---|
| 63 | | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
A Resolution Based Framework to Explain Reasoning in Description Logics.
Description Logics 2005 |
| 62 | | Volker Haarslev,
Ralf Möller,
Michael Wessel:
Description Logic Inference Technology: Lessions Learned in the Trenches.
Description Logics 2005 |
| 61 | | Kruthi Bhoopalam,
Volker Haarslev:
Fire – Extending Racer by an Engine for SWRL Rules.
Description Logics 2005 |
| 60 | | CuiMing Chen,
Volker Haarslev,
JiaoYue Wang:
LAS: Extending Racer by a Large ABox Store.
Description Logics 2005 |
| 59 | | Yu Ding,
Volker Haarslev:
Towards Efficient Reasoning for Description Logics with Inverse Roles.
Description Logics 2005 |
| 58 | | Xi Deng,
Volker Haarslev,
Nematollaah Shiri:
A Framework for Explaining Reasoning in Description Logics.
ExaCt 2005: 55-61 |
| 57 | | Volker Haarslev,
Hsueh-Ieng Pai,
Nematollaah Shiri:
A Generic Framework for Description Logics with Uncertainty.
ISWC-URSW 2005: 77-86 |
| 56 | | Arash Shaban-Nejad,
Christopher J. O. Baker,
Volker Haarslev,
Greg Butler:
The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics.
International Semantic Web Conference 2005: 1063-1066 |
| 2004 |
|---|
| 55 | | Volker Haarslev,
Ralf Möller:
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004
CEUR-WS.org 2004 |
| 54 | | Volker Haarslev,
Ralf Möller,
Ragnhild Van Der Straeten,
Michael Wessel:
Extended Query Facilities for Racer and an Application to Software-Engineering Problems.
Description Logics 2004 |
| 53 | | Volker Haarslev,
Ying Lu,
Nematollaah Shiri:
OntoXpl: Exploration of OWL Ontologies.
Description Logics 2004 |
| 52 | | Volker Haarslev,
Ralf Möller:
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.
KR 2004: 163-174 |
| 51 | | Volker Haarslev,
Ying Lu,
Nematollaah Shiri:
ONTOXPL - Intelligent Exploration of OWL Ontologies.
Web Intelligence 2004: 624-627 |
| 2003 |
|---|
| 50 | | Ralf Möller,
Volker Haarslev:
Description Logic Systems.
Description Logic Handbook 2003: 282-305 |
| 49 | | Ralf Möller,
Ronald Cornet,
Volker Haarslev:
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.
Description Logics 2003 |
| 48 | | Volker Haarslev,
Ralf Möller:
Incremental Query Answering for Implementing Document Retrieval Services.
Description Logics 2003 |
| 47 | | Volker Haarslev,
Ralf Möller:
Racer: A Core Inference Engine for the Semantic Web.
EON 2003 |
| 46 | | Volker Haarslev,
Ralf Möller:
Description Logic Systems with Concrete Domains: Applications for the Semantic Web.
KRDB 2003 |
| 45 | | Amar Isli,
Volker Haarslev,
Ralf Möller:
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning
CoRR cs.AI/0307048: (2003) |
| 44 | | Ralf Möller,
Volker Haarslev:
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.
KI 17(3): 10- (2003) |
| 2002 |
|---|
| 43 | | Mary Hegarty,
Volker Haarslev,
N. Hari Narayanan:
Diagrammatic Reasoning.
KI 16(4): 38-39 (2002) |
| 2001 |
|---|
| 42 | | Volker Haarslev,
Martina Timmann,
Ralf Möller:
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.
Description Logics 2001 |
| 41 | | Volker Haarslev,
Ralf Möller:
Description of the RACER System and its Applications.
Description Logics 2001 |
| 40 | | Volker Haarslev,
Ralf Möller:
Optimizing Reasoning in Description Logics with Qualified Number Restrictions.
Description Logics 2001 |
| 39 | | Volker Haarslev,
Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.
IJCAI 2001: 161-168 |
| 38 | | Volker Haarslev,
Ralf Möller,
Michael Wessel:
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach.
IJCAR 2001: 29-44 |
| 37 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.
IJCAR 2001: 61-75 |
| 36 | | Volker Haarslev,
Ralf Möller:
RACER System Description.
IJCAR 2001: 701-706 |
| 2000 |
|---|
| 35 | | Michael Anderson,
Peter Cheng,
Volker Haarslev:
Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings
Springer 2000 |
| 34 | | Volker Haarslev,
Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases.
Description Logics 2000: 143-152 |
| 33 | | Volker Haarslev,
Ralf Möller:
Optimizing TBox and ABox Reasoning with Pseudo Models.
Description Logics 2000: 153-162 |
| 32 | | Anni-Yasmin Turhan,
Volker Haarslev:
Adapting Optimization Techniques to Description Logics with Concrete Domains.
Description Logics 2000: 247-256 |
| 31 | | Michael Wessel,
Volker Haarslev,
Ralf Möller:
ALCRA - ALC with Role Axioms.
Description Logics 2000: 267-276 |
| 30 | | Volker Haarslev,
Ralf Möller:
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.
KR 2000: 273-284 |
| 29 | | Volker Haarslev,
Ralf Möller:
Consistency Testing: The RACE Experience.
TABLEAUX 2000: 57-61 |
| 1999 |
|---|
| 28 | | Volker Haarslev,
Ralf Möller:
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.
Description Logics 1999 |
| 27 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan,
Michael Wessel:
On Terminological Default Reasoning about Spatial Information: Extended Abstract.
Description Logics 1999 |
| 26 | | Volker Haarslev,
Ralf Möller:
RACE System Description.
Description Logics 1999 |
| 25 | | Volker Haarslev,
Ralf Möller:
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.
TABLEAUX 1999: 24-28 |
| 24 | | Volker Haarslev,
Ralf Möller,
Michael Wessel:
On Specifying Semantics of Visual Spatial Query Languages.
VL 1999: 4-11 |
| 23 | | Volker Haarslev,
Carsten Lutz,
Ralf Möller:
A Description Logic with Concrete Domains and a Role-forming Predicate Operator.
J. Log. Comput. 9(3): 351-384 (1999) |
| 22 | | Volker Haarslev:
A Logic-based Formalism for Reasoning about Visual Representations.
J. Vis. Lang. Comput. 10(4): 421-445 (1999) |
| 1998 |
|---|
| 21 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
HAM-ALC.
Description Logics 1998 |
| 20 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Description Logics 1998 |
| 19 | | Volker Haarslev,
Carsten Lutz,
Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics.
KR 1998: 112-123 |
| 18 | | Michael Wessel,
Volker Haarslev:
VISCO: Bringing Visual Spatial Querying to Reality.
VL 1998: 170-177 |
| 1997 |
|---|
| 17 | | Volker Haarslev,
Ralf Möller:
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.
Description Logics 1997 |
| 16 | | Volker Haarslev,
Michael Wessel:
Querying GIS with Animated Spatial Sketches.
VL 1997: 201-208 |
| 1996 |
|---|
| 15 | | Volker Haarslev:
Using Description Logic for Reasoning about Diagrammatical Notations.
Description Logics 1996: 124-128 |
| 14 | | Volker Haarslev,
Michael Wessel:
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations.
VL 1996: 204-211 |
| 1995 |
|---|
| 13 | | Dietrich Fahrenholtz,
Volker Haarslev:
Visualization of Strand(tm) Processes.
VL 1995: 114-115 |
| 12 | | Volker Haarslev:
Formal Semantics of Visual Languages using Spatial Reasoning.
VL 1995: 156-163 |
| 1994 |
|---|
| 11 | | Volker Haarslev,
Ralf Möller,
Carsten Schröder:
Combining Spatial and Terminological Reasoning.
KI 1994: 142-153 |
| 1991 |
|---|
| 10 | | Kenneth M. Kahn,
Vijay A. Saraswat,
Volker Haarslev:
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung.
GI Jahrestagung 1991: 427-436 |
| 1990 |
|---|
| 9 | | Ralf Möller,
Volker Haarslev:
Layoutspezifikationen für komplexe graphische Objekte.
Graphik und KI 1990: 78-91 |
| 8 | | Volker Haarslev,
Ralf Möller:
A Framework for Visualizing Object-Oriented Systems.
OOPSLA/ECOOP 1990: 237-244 |
| 7 | | Volker Haarslev,
Ralf Möller:
A Declarative Formalism for Specifying Graphical Layout.
VL 1990: 54-59 |
| 1989 |
|---|
| 6 | | Volker Haarslev,
Ralf Möller:
Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme.
Software-Ergonomie 1989: 427-436 |
| 1988 |
|---|
| 5 | | Volker Haarslev,
Ralf Möller:
Eine graphische Umgebung zur experimentellen Bildverarbeitung.
DAGM-Symposium 1988: 319-325 |
| 4 | | Volker Haarslev,
Ralf Möller:
Visualisierung und Animation in der experimentellen Bildauswertung.
Visualisierungstechniken und Algorithmen 1988: 213-223 |
| 1987 |
|---|
| 3 | | Volker Haarslev:
Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung.
Software-Ergonomie 1987: 176-186 |
| 1985 |
|---|
| 2 | | Helmut Faasch,
Volker Haarslev:
Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung.
DAGM-Symposium 1985: 191-195 |
| 1 | | 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.
Robotersysteme 1: 29-34 (1985) |
