Volker Haarslev
Loading Google Thumbnails...
| 2011 |
|---|
| 8 | Automated Reasoning in ALCQ\\mathcal{ALCQ} via SMT. Volker Haarslev, Roberto Sebastiani, Michele Vescovi. CADE 2011, 283-298. Web SearchBibTeXDownload |
| 2006 |
|---|
| 7 | Ontoligent Interactive Query Tool. Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev. CSWWS 2006, 155-169. Web SearchBibTeXDownload |
| 6 | Semantic web infrastructure for fungal enzyme biotechnologists. Christopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler. J. Web Sem. (4): 168-180 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 5 | The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. Arash Shaban-Nejad, Christopher J. O. Baker, Volker Haarslev, Greg Butler. International Semantic Web Conference 2005, 1063-1066. Web SearchBibTeXDownload |
| 2004 |
|---|
| 4 | OntoXpl: Exploration of OWL Ontologies. Volker Haarslev, Ying Lu, Nematollaah Shiri. Description Logics 2004. Web SearchBibTeXDownload |
| 3 | ONTOXPL - Intelligent Exploration of OWL Ontologies. Volker Haarslev, Ying Lu, Nematollaah Shiri. Web Intelligence 2004, 624-627. Web SearchBibTeXDownload |
| 1999 |
|---|
| 2 | A Description Logic with Concrete Domains and a Role-forming Predicate Operator. Volker Haarslev, Carsten Lutz, Ralf Möller. J. Log. Comput. (9): 351-384 (1999). Web SearchBibTeXDownload |
| 1998 |
|---|
| 1 | Foundations of Spatioterminological Reasoning with Description Logics. Volker Haarslev, Carsten Lutz, Ralf Möller. KR 1998, 112-123. Web SearchBibTeX |
from DBLP and Google Scholar
