dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Volker Haarslev (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: A formal framework for description logics with uncertainty. Int. J. Approx. Reasoning 50(9): 1399-1415 (2009)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: An empirical comparison of ontology matching techniques. J. Information Science 35(4): 379-397 (2009)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: An Effective Ontology Matching Technique. ISMIS 2008: 585-590
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) 2008: 385-402
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics 2007
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: Measuring Inconsistencies in Ontologies. ESWC 2007: 326-340
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: Using Patterns to Explain Inferences in. Computational Intelligence 23(3): 373-392 (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: Resolution Based Explanations for Reasoning in the Description Logic ALC. CSWWS 2006: 189-204
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Completion Rules for Uncertainty Reasoning with the Description Logic ALC. CSWWS 2006: 205-225
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning in Description Logics: A Generic Approach. FLAIRS Conference 2006: 818-823
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. ODBIS 2006: 1-17
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: A Resolution Based Framework to Explain Reasoning in Description Logics. Description Logics 2005
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: A Framework for Explaining Reasoning in Description Logics. ExaCt 2005: 55-61
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: A Generic Framework for Description Logics with Uncertainty. ISWC-URSW 2005: 77-86
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ying Lu, Nematollaah Shiri: OntoXpl: Exploration of OWL Ontologies. Description Logics 2004
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ying Lu, Nematollaah Shiri: ONTOXPL - Intelligent Exploration of OWL Ontologies. Web Intelligence 2004: 624-627

Selection of 16 from 123 records - Volker Haarslev has 62 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page