( en | de | ru )

 

Disambiguation of "Haarslev, Volker"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.

, , and . Description Logics, volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Volker Haarslev

Volker

Volker Nürnberg

Bildungsmanagement als Aufgabengebiet der Wirtschaftsdidaktik: zwischen Anspruch und Wirklichekit ; mit Schulleiterbefragung Baden-Württemberg. PädH Karlsruhe, (2009)

Volker Tympel

Untersuchungen zur Anwendung von mehrdimensionalen Korrelationsverfahren bei der Determination von Kanten mit hochauflösenden optischen Messmaschinen. TU Ilmenau, (2009)

Volker Korz

Zelluläre, systemische und Verhaltenskorrelate zu Lernen und Gedächtnisformierung. Uni Magdeburg, habilitation, (2009)
 

Other publications of authors with the same name

Racer: A Core Inference Engine for the Semantic Web, and . Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), page 27--36. Sanibel Island, Florida, USA, (October 2003)\\ http://www.cs.concordia.ca/~haarslev/publications/ \\ ISWC-2003.pdf.Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions., , and . Description Logics, volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)Description of the RACER System and its Applications., and . Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, volume 49 of CEUR Workshop Proceedings, (2001)Ontological Approach for the Semantic Recovery of Traceability Links between Software Artifacts, , , and . IET Software, 2 (3): 185--203 (June 2008)Special issue on Language Engineering.Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics, , and . IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 61--75. London, UK, Springer-Verlag, (2001)A Unified Ontology-Based Process Model for Software Maintenance and Comprehension, , , , , and . Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, volume 4364 of LNCS, page 56--65. Springer Berlin/Heidelberg, (2007)Semantic web infrastructure for fungal enzyme biotechnologists, , , , and . Web Semantics: Science, Services and Agents on the World Wide Web, 4 (3): 168-180 (September 2006)Abductive Conjunctive Query Answering w.r.t. Ontologies, , , , and . KI -- Künstliche Intelligenz, 30 (2): 177--182 (June 2016)Abductive Conjunctive Query Answering w.r.t. Ontologies, , , , and . KI - Künstliche Intelligenz, 30 (2): 177--182 (2016)Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners., , and . CoRR, (2019)