Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)


Publications


2003


S. Bechhofer, R. Möller, and P. Crowther. 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 (PDF)


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  Paper (PDF)

Abstract

The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been proposed (RDF, DAML+OIL, OWL). We briefly discuss the logical basis of these representation languages by referring to description logic inferences systems. Then, we argue from a practical perspective that current representation languages for the Semantic Web are not sufficient for simple and well-defined representation problems that naturally arise in the context of Semantic Web applications. In particular, we mention different kinds of algebraic constraints over various domains such as the reals or the natural numbers. We report on practical experiences with description logic reasoning systems (e.g. Racer) already supporting these representation means.


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  Paper (PDF)

Abstract

In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at least three different network clients, i.e., the ontology editor OilEd, the visualization tool RICE, and the ontology development environment Protege 2. The Racer server supports the standard DIG protocol via HTTP and a TCP based protocol with extensive query facilities. Racer currently supports the web ontology languages DAML+OIL, RDF, and OWL.


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


R. Möller and V. Haarslev. Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. Künstliche Intelligenz, pages 10–15, 2003.
Bibtex entry  Paper (PDF)


Acknowledgments
Generated at Mo 3 Feb 2014 11:21:22 CET.