| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Volker Haarslev, Roberto Sebastiani, Michele Vescovi |
Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT.  |
CADE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
An abstract representation model for evolutionary analysis of multi-agent interactions. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data. |
BIBM Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nasim Farsiniamarj, Volker Haarslev |
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyne Faddoul, Volker Haarslev |
Algebraic tableau reasoning for the description logic SHOQ. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mina Aslani, Volker Haarslev |
Parallel TBox Classification in Description Logics - First Experimental Results. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Strategic Health Information Management and Forecast: The Birdwatching Approach. |
ICCCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, David Toman, Grant E. Weddell (eds.) |
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mina Aslani, Volker Haarslev |
TBox Classification in Parallel: Design and First Evaluation. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jocelyne Faddoul, Volker Haarslev |
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri |
An empirical comparison of ontology matching techniques. |
J. Information Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
A formal framework for description logics with uncertainty. |
Int. J. Approx. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Bio-medical Ontologies Maintenance and Change Management. |
Biomedical Data and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyne Faddoul, Volker Haarslev, Ralf Möller |
Algebraic Tableau Algorithm for ALCOQ. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nasim Farsinia, Volker Haarslev |
Optimizing Reasoning with Qualified Number Restrictions in SHQ. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev |
Ontological approach for the semantic recovery of traceability links between software artefacts. |
IET Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
On the Scalability of Description Logic Instance Retrieval. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Instance retrieval, Description logics |
| 1 | Arash Shaban-Nejad, Volker Haarslev |
An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. |
IRI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic e-learning, ontology learning, ontology population, lexical chaining |
| 1 | Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller |
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri |
An Effective Ontology Matching Technique. |
ISMIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Möller, Volker Haarslev, Sebastian Wandelt |
The Revival of Structural Subsumption in Tableau-based Reasoners. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mina Aslani, Volker Haarslev |
Towards Parallel Classifcation of TBoxes. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Francis Gasse, Ulrike Sattler, Volker Haarslev |
Rewriting Rules into SROIQ Axioms. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jiewen Wu, Volker Haarslev |
Planning of Axiom Absorption. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller |
A Hybrid Tableau Algorithm for ALCQ. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. |
BIBE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Incremental Biomedical Ontology Change Management through Learning Agents. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
Bio-Ontologies, Learning, Multi-Agent, Change Management, Category Theory |
| 1 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
Using Patterns to Explain Inferences in. |
Computational Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
Measuring Inconsistencies in Ontologies. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Ding, Volker Haarslev, Jiewen Wu |
A New Mapping from ALCI to ALC. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (eds.) |
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Amineh Fadhil, Volker Haarslev |
OntoVQL: A Graphical Query Language for OWL Ontologies. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Optimizing Tableau Reasoning in ALC Extended with Uncertainty. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yu Ding, Volker Haarslev |
An ExpTime Tableau Decision Procedure for ALCQI. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Managing Conceptual Revisions in a Temporal Fungal Taxonomy. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Towards a framework for requirement change management in healthcare software applications. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
ontology, agent, change management, software requirement |
| 1 | Arash Shaban-Nejad, Volker Haarslev |
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. |
AIME |
2007 |
DBLP DOI BibTeX RDF |
Bio-Ontologies, Fungal Genomics, Change Management, Category Theory |
| 1 | Christopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler |
Semantic web infrastructure for fungal enzyme biotechnologists. |
J. Web Sem. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
Resolution Based Explanations for Reasoning in the Description Logic ALC. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Completion Rules for Uncertainty Reasoning with the Description Logic ALC. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev |
Ontoligent Interactive Query Tool. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri |
A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. |
ODBIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Möller, Volker Haarslev, Michael Wessel |
On the Scalability of Description Logic Instance Retrieval. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ming Zuo, Volker Haarslev |
High Performance Absorption Algorithms for Terminological Reasoning. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yu Ding, Volker Haarslev |
Tableau Caching for Description Logics with Inverse and Transitive Roles. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yonggang Zhang, Juergen Rilling, Volker Haarslev |
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amineh Fadhil, Volker Haarslev |
GLOO: A Graphical Query Language for OWL Ontologies. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Qing Lu, Volker Haarslev |
OntoKBEval: DL-based Evaluation of OWL Ontologies. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
text mining, Software maintenance, process modeling, traceability, software comprehension, ontological reasoning |
| 1 | Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev |
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. |
WSE |
2006 |
DBLP DOI BibTeX RDF |
Ontology, Software Evolution, Program Comprehension, Automated Reasoning |
| 1 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Uncertainty Reasoning in Description Logics: A Generic Approach. |
FLAIRS Conference |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ralf Möller, Volker Haarslev, Michael Wessel |
On the Scalability of Description Logic Instance Retrieval. |
KI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
A Resolution Based Framework to Explain Reasoning in Description Logics. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yu Ding, Volker Haarslev |
Towards Efficient Reasoning for Description Logics with Inverse Roles. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Michael Wessel |
Description Logic Inference Technology: Lessions Learned in the Trenches. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kruthi Bhoopalam, Volker Haarslev |
Fire Extending Racer by an Engine for SWRL Rules. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | CuiMing Chen, Volker Haarslev, JiaoYue Wang |
LAS: Extending Racer by a Large ABox Store. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
A Generic Framework for Description Logics with Uncertainty. |
ISWC-URSW |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
A Framework for Explaining Reasoning in Description Logics. |
ExaCt |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ying Lu 0003, Nematollaah Shiri |
OntoXpl: Exploration of OWL Ontologies. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller (eds.) |
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ying Lu 0003, Nematollaah Shiri |
ONTOXPL - Intelligent Exploration of OWL Ontologies. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Amar Isli, Volker Haarslev, Ralf Möller |
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ralf Möller, Volker Haarslev |
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. |
KI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Incremental Query Answering for Implementing Document Retrieval Services. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ralf Möller, Ronald Cornet, Volker Haarslev |
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ralf Möller, Volker Haarslev |
Description Logic Systems. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Racer: A Core Inference Engine for the Semantic Web. |
EON |
2003 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Description Logic Systems with Concrete Domains: Applications for the Semantic Web. |
KRDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mary Hegarty, Volker Haarslev, N. Hari Narayanan |
Diagrammatic Reasoning. |
KI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
RACER System Description. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Michael Wessel |
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan |
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Optimizing Reasoning in Description Logics with Qualified Number Restrictions. |
Description Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Martina Timmann, Ralf Möller |
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. |
Description Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Description of the RACER System and its Applications. |
Description Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
High Performance Reasoning with Very Large Knowledge Bases. |
Description Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Wessel, Volker Haarslev, Ralf Möller |
ALCRA - ALC with Role Axioms. |
Description Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anni-Yasmin Turhan, Volker Haarslev |
Adapting Optimization Techniques to Description Logics with Concrete Domains. |
Description Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Optimizing TBox and ABox Reasoning with Pseudo Models. |
Description Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Anderson, Peter Cheng, Volker Haarslev (eds.) |
Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings |
Diagrams |
2000 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Consistency Testing: The RACE Experience. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Carsten Lutz, Ralf Möller |
A Description Logic with Concrete Domains and a Role-forming Predicate Operator. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev |
A Logic-based Formalism for Reasoning about Visual Representations. |
J. Vis. Lang. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Michael Wessel |
On Specifying Semantics of Visual Spatial Query Languages. (PDF / PS) |
VL |
1999 |
DBLP DOI BibTeX RDF |
visual spatial query languages, semantics of visual spatial query languages, query subsumption, description logic |
| 1 | Volker Haarslev, Ralf Möller |
RACE System Description. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel |
On Terminological Default Reasoning about Spatial Information: Extended Abstract. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller |
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wessel, Volker Haarslev |
VISCO: Bringing Visual Spatial Querying to Reality. |
VL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan |
HAM-ALC. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan |
Implementing an ALCRP(D) ABox Reasoner - Progress Report. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")