Racer Systems GmbH & Co. KG : Technology

Contributions:

Publications

The authors of RacerPro have published the results of their research work as academic papers as well as contributed to workshops and conferences. Please refer to the homepages of Volker Haarslev, Ralf Möller and Dr. Michael Wessel for a complete list.

The following list entrys refer to those publications covering RacerPro related work. Whenever possible we have included a link to the entry's BibTeX description, a link to an abstract, and the option of downloading the paper as an Adobe Acrobat PDF. This list ia also available as a Postscript document.

Overview: Contribution published in year:

2005
2004
2003
2002
2001
2000
1999
1998

2005

J. Galinski, A. Kaya, and R. Möller. Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. Description Logic Inference Technology: Lessions Learned in the Trenches. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry Abstract Paper (PDF)

M. Wessel and R. Möller. A High Performance Semantic Web Query Answering Engine. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry Abstract Paper (PDF)

2004

V. Haarslev and R. Möller. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, pages 163–173, 2004.
Bibtex entry Paper (PDF)

V. Haarslev, R. Möller, R. van der Straeten, and M. Wessel. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148–157, 2004.
Bibtex entry Abstract Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. Querying the Semantic Web with Racer + nRQL. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
Bibtex entry Abstract Paper (PDF)

2003

V. Haarslev and R. Möller. Description Logic Systems with Concrete Domains: Applications for the Semantic Web. In Proceedings of the International Workshop on Knowledge Representation meets Databases (KRDB-2003), Hamburg, Germany, September 15-1, 2003.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. The DIG Description Logic Interface. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, 2003.
Bibtex entry Paper (PS) Paper (PDF)

V. Haarslev and R. Möller. Incremental Query Answering for Implementing Document Retrieval Services. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, pages 85–94, 2003.
Bibtex entry Paper (PDF)

V. Haarslev and R. Möller. Racer: A Core Inference Engine for the Semantic Web. In Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference ISWC 2003, Sanibel Island, Florida, USA, October 20, pages 27–36, 2003.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. Racer: An OWL Reasoning Agent for the Semantic Web. In Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, in conjunction with the 2003 IEEE/WIC International Conference on Web Intelligence,Ê Halifax, Canada, October 13, pages 91–95, 2003.
Bibtex entry Paper (PDF)

R. Möller and V. Haarslev. Description Logic Systems. In F. Baader and D. Nardi P. Patel-Schneider D. Calvanese, D. McGuinness, editors, The Description Logic Handbook, chapter 8, pages 282–305. Cambridge University Press, 2003.
Bibtex entry

2002

V. Haarslev and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 83–90, 2002.
Bibtex entry

V. Haarslev and R. Möller. Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 91–98, 2002.
Bibtex entry Abstract Paper (PDF)

A. Kaplunova, V. Haarslev, and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 45–52, 2002.
Bibtex entry

2001

V. Haarslev and R. Möller. The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001.
Bibtex entry Abstract Paper (PDF) ©Springer-Verlag

V. Haarslev and R. Möller. Description of the RACER System and its Applications. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 131–141, 2001.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. In B. Nebel, editor, Proceedings of Seventeenth International JointÊ Conference on Artificial Intelligence, IJCAI-01, pages 161–166, 2001.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. Optimizing Reasoning in Description Logics with Qualified Number Restrictions. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 142–151, 2001.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. RACER System Description. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 701–705. Springer-Verlag, 2001.
Bibtex entry Abstract Paper (PDF) ©Springer-Verlag

V. Haarslev and R. Möller. RACER User's Guide and Reference Manual Version 1.6. Technical report, University of Hamburg, Computer Science Department, 2001.
Bibtex entry Paper (PDF)

V. Haarslev, R. Möller, and A.Y. Turhan. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001.
Bibtex entry Abstract Paper (PDF) ©Springer-Verlag

V. Haarslev, M. Timmann, and R. Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 152–161, 2001.
Bibtex entry Paper (PDF)

V. Haarslev, M. Timmann, and R. Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Proceedings of the International Workshop on Methods for Modalities 2 (M4M-2), Amsterdam, Netherlands, November 29-30, 2001.
Bibtex entry Abstract Paper (PDF)

R. Möller. Expressive Description Logics: Foundations for Practical Applications, Habilitation Thesis. University of Hamburg, Computer Science Department, July 2001.
Bibtex entry Paper (PDF)

2000

V. Haarslev and R. Möller. Consistency Testing: The RACE Experience. In Roy Dyckhoff, editor, Proc. of TABLEAUX'2000, International Conference, Automated Reasoning with Analytic Tableaux and Related Methods, St. Andrews, Scotland, UK, July 3-7, pages 57–61. Springer-Verlag, 2000.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In Fausto Giunchiglia and Bart Selman, editors, Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, 12-15 April, pages 273–284. Morgan Kaufmann, 2000.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. High Performance Reasoning with Very Large Knowledge Bases. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 143–152, 2000.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. Optimizing TBox and ABox Reasoning with Pseudo Models. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 153–162, 2000.
Bibtex entry Abstract Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. The Description Logic ALCNHR+ Extended with Concrete Domains. Technical Report FBI-HH-M-290/00, University of Hamburg, Computer Science Department, 2000.
Bibtex entry Abstract Paper (PDF)

1999

V. Haarslev and R. Möller. Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. In Neil Murray, editor, Proc. of TABLEAUX'99, The 6th International Conference on Theorem Proving with Analytic Tableaux andÊ Related Methods, Saratoga Springs, NY/USA, number 1617 in Lecture Notes in Artificial Intelligence, pages 24–28. Springer-Verlag, June 1999.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. In roc. of DL99, International Workshop on Description Logics, Linköping, pages 115–119, 1999.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. Technical report, University of Hamburg, Computer Science Department, Oct. 1999.
Bibtex entry Abstract Paper (PDF)

V. Haarslev and R. Möller. RACE System Description. In Proc. of DL99, International Workshop on Description Logics, Linköping, pages 130–132, 1999.
Bibtex entry Paper (PDF)

V. Haarslev, R. Möller, and A.-Y. Turhan. RACE User's Guide and Reference Manual Version 1.1. Technical report, University of Hamburg,Computer Science Department, 1999.
Bibtex entry Abstract

1998

V. Haarslev, R. Möller, and Anni-Yasmin Turhan. HAM-ALC - Performance Measurements. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 64–65, 1998.
Bibtex entry Abstract Paper (PDF)

V. Haarslev, R. Möller, and Anni-Yasmin Turhan. Implementing an ALCRP(D) ABox Reasoner - Progress Report -. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 82–86, 1998.
Bibtex entry Abstract Paper (PDF)

This list was generated on Friday, July 1st 2005 with the help of scripts courtesy by Sebastian Brandt (TU Dresden, Chair for Automata Theory).

	Products Downloads About us News Contact Impressum
Home Products Services Technology References Contributions Publications Further Reading Link collection In the press Company Website Expand menu [ English · German · Italian ] Last modified: 02/10/2010 9:48 AM [ <No JavaScript: webmaster at racer-systems dot com> ]	Contributions: Publications The authors of RacerPro have published the results of their research work as academic papers as well as contributed to workshops and conferences. Please refer to the homepages of Volker Haarslev, Ralf Möller and Dr. Michael Wessel for a complete list. The following list entrys refer to those publications covering RacerPro related work. Whenever possible we have included a link to the entry's BibTeX description, a link to an abstract, and the option of downloading the paper as an Adobe Acrobat PDF. This list ia also available as a Postscript document. Overview: Contribution published in year: 2005 2004 2003 2002 2001 2000 1999 1998 2005 J. Galinski, A. Kaya, and R. Möller. Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005. Bibtex entry Paper (PDF) V. Haarslev, R. Möller, and M. Wessel. Description Logic Inference Technology: Lessions Learned in the Trenches. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005. Bibtex entry Abstract Paper (PDF) M. Wessel and R. Möller. A High Performance Semantic Web Query Answering Engine. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005. Bibtex entry Abstract Paper (PDF) 2004 V. Haarslev and R. Möller. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, pages 163–173, 2004. Bibtex entry Paper (PDF) V. Haarslev, R. Möller, R. van der Straeten, and M. Wessel. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148–157, 2004. Bibtex entry Abstract Paper (PDF) V. Haarslev, R. Möller, and M. Wessel. Querying the Semantic Web with Racer + nRQL. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004. Bibtex entry Abstract Paper (PDF) 2003 V. Haarslev and R. Möller. Description Logic Systems with Concrete Domains: Applications for the Semantic Web. In Proceedings of the International Workshop on Knowledge Representation meets Databases (KRDB-2003), Hamburg, Germany, September 15-1, 2003. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. The DIG Description Logic Interface. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, 2003. Bibtex entry Paper (PS) Paper (PDF) V. Haarslev and R. Möller. Incremental Query Answering for Implementing Document Retrieval Services. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, pages 85–94, 2003. Bibtex entry Paper (PDF) V. Haarslev and R. Möller. Racer: A Core Inference Engine for the Semantic Web. In Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference ISWC 2003, Sanibel Island, Florida, USA, October 20, pages 27–36, 2003. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. Racer: An OWL Reasoning Agent for the Semantic Web. In Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, in conjunction with the 2003 IEEE/WIC International Conference on Web Intelligence,Ê Halifax, Canada, October 13, pages 91–95, 2003. Bibtex entry Paper (PDF) R. Möller and V. Haarslev. Description Logic Systems. In F. Baader and D. Nardi P. Patel-Schneider D. Calvanese, D. McGuinness, editors, The Description Logic Handbook, chapter 8, pages 282–305. Cambridge University Press, 2003. Bibtex entry 2002 V. Haarslev and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 83–90, 2002. Bibtex entry V. Haarslev and R. Möller. Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 91–98, 2002. Bibtex entry Abstract Paper (PDF) A. Kaplunova, V. Haarslev, and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 45–52, 2002. Bibtex entry 2001 V. Haarslev and R. Möller. The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001. Bibtex entry Abstract Paper (PDF) ©Springer-Verlag V. Haarslev and R. Möller. Description of the RACER System and its Applications. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 131–141, 2001. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. In B. Nebel, editor, Proceedings of Seventeenth International JointÊ Conference on Artificial Intelligence, IJCAI-01, pages 161–166, 2001. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. Optimizing Reasoning in Description Logics with Qualified Number Restrictions. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 142–151, 2001. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. RACER System Description. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 701–705. Springer-Verlag, 2001. Bibtex entry Abstract Paper (PDF) ©Springer-Verlag V. Haarslev and R. Möller. RACER User's Guide and Reference Manual Version 1.6. Technical report, University of Hamburg, Computer Science Department, 2001. Bibtex entry Paper (PDF) V. Haarslev, R. Möller, and A.Y. Turhan. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001. Bibtex entry Abstract Paper (PDF) ©Springer-Verlag V. Haarslev, M. Timmann, and R. Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 152–161, 2001. Bibtex entry Paper (PDF) V. Haarslev, M. Timmann, and R. Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Proceedings of the International Workshop on Methods for Modalities 2 (M4M-2), Amsterdam, Netherlands, November 29-30, 2001. Bibtex entry Abstract Paper (PDF) R. Möller. Expressive Description Logics: Foundations for Practical Applications, Habilitation Thesis. University of Hamburg, Computer Science Department, July 2001. Bibtex entry Paper (PDF) 2000 V. Haarslev and R. Möller. Consistency Testing: The RACE Experience. In Roy Dyckhoff, editor, Proc. of TABLEAUX'2000, International Conference, Automated Reasoning with Analytic Tableaux and Related Methods, St. Andrews, Scotland, UK, July 3-7, pages 57–61. Springer-Verlag, 2000. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In Fausto Giunchiglia and Bart Selman, editors, Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, 12-15 April, pages 273–284. Morgan Kaufmann, 2000. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. High Performance Reasoning with Very Large Knowledge Bases. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 143–152, 2000. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. Optimizing TBox and ABox Reasoning with Pseudo Models. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 153–162, 2000. Bibtex entry Abstract Paper (PDF) V. Haarslev, R. Möller, and M. Wessel. The Description Logic ALCNHR+ Extended with Concrete Domains. Technical Report FBI-HH-M-290/00, University of Hamburg, Computer Science Department, 2000. Bibtex entry Abstract Paper (PDF) 1999 V. Haarslev and R. Möller. Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. In Neil Murray, editor, Proc. of TABLEAUX'99, The 6th International Conference on Theorem Proving with Analytic Tableaux andÊ Related Methods, Saratoga Springs, NY/USA, number 1617 in Lecture Notes in Artificial Intelligence, pages 24–28. Springer-Verlag, June 1999. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. In roc. of DL99, International Workshop on Description Logics, Linköping, pages 115–119, 1999. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. Technical report, University of Hamburg, Computer Science Department, Oct. 1999. Bibtex entry Abstract Paper (PDF) V. Haarslev and R. Möller. RACE System Description. In Proc. of DL99, International Workshop on Description Logics, Linköping, pages 130–132, 1999. Bibtex entry Paper (PDF) V. Haarslev, R. Möller, and A.-Y. Turhan. RACE User's Guide and Reference Manual Version 1.1. Technical report, University of Hamburg,Computer Science Department, 1999. Bibtex entry Abstract 1998 V. Haarslev, R. Möller, and Anni-Yasmin Turhan. HAM-ALC - Performance Measurements. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 64–65, 1998. Bibtex entry Abstract Paper (PDF) V. Haarslev, R. Möller, and Anni-Yasmin Turhan. Implementing an ALCRP(D) ABox Reasoner - Progress Report -. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 82–86, 1998. Bibtex entry Abstract Paper (PDF) This list was generated on Friday, July 1st 2005 with the help of scripts courtesy by Sebastian Brandt (TU Dresden, Chair for Automata Theory).
	Copyright ©2004-2009 Racer Systems GmbH & Co. KG Blumenau 50 · 22089 Hamburg · Germany · http://www.racer-systems.com/technology/contributions/index.phtml