Volker Haarslev, Ralf Möller  Home/Search
Context Related
| SunSITE.Informatik...oeller132start.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: SunSITE.Informatik.RWTHA...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: RACER implements a TBox and ABox reasoner for the logic SHIQ. (Update)
Cited by: More
Open World Reasoning in Semantics-Aware - Access Control Preliminary (Correct)
Nonmonotonic Ontological and Rule-Based Reasoning.. - Heymans, Van.. (2005) (Correct)
The DIG Description Logic Interface - Bechhofer, Möller, Crowther (2003) (Correct)
Similar documents (at the sentence level):
35.7%: RACER System Description - Haarslev, Möller (2001) (Correct)
11.0%: The Description Logic ALCNHR+ Extended with Concrete.. - Haarslev, Möller, Wessel (2001) (Correct)
Active bibliography (related documents): More All
3.2: Description of the RACER System and its Applications - Haarslev, Möller (2001) (Correct)
0.6: Practical Reasoning in Racer with a Concrete Domain for.. - Haarslev, Möller (2002) (Correct)
0.5: A Suggestion for an n-ary Description Logic - Sattler, Sattler, Tobies (1999) (Correct)
Similar documents based on text: More All
0.6: Graphical Interfaces for Racer: Querying DAML+OIL and RDF.. - Möller, Cornet, Haarslev (Correct)
0.5: Combining Tableaux and Algebraic Methods for Reasoning.. - Haarslev, Timmann.. (2001) (Correct)
0.5: Racer: A Core Inference Engine for the Semantic Web - Haarslev, Möller (2003) (Correct)
Related documents from co-citation: More All
7: Description Logic Handbook: Theory (context) - Baader, Calvanese et al. - 2002
6: OilEd: A Reason-able Ontology Editor for the Semantic Web - Bechhofer, Horrocks et al. - 2001
6: FaCT and iFaCT - Horrocks
BibTeX entry: (Update)
V. Haarslev and Ralf Moller. Description of the racer system and its applications. In Proceedings of the International Workshop in Description Logics 2001 (DL2001), Stanford, USA, August 2001. http://citeseer.ist.psu.edu/article/haarslev01description.html More
@inproceedings{ haarslev01description,
author = "Volker Haarslev and Ralf Moller",
title = "Description of the {RACER} System and its Applications",
booktitle = "Description Logics",
year = "2001",
url = "citeseer.ist.psu.edu/article/haarslev01description.html" }
Citations (may not include all citations):155 Forward reasoning and dependencydirected backtracking in a s.. (context) - Stallman, Sussman - 1977
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991
80 Improvements to propositional satisfiability search algorith.. - Freeman - 1995
57 Optimising Tableaux Decision Procedures for Description Logi.. (context) - Horrocks - 1997
38 Optimising description logic subsumption - Horrocks, Patel-Schneider - 1999
34 High performance reasoning with very large knowledge bases: .. - Haarslev, Moller - 2001
31 Extensions of concept languages for a mechanical engineering.. (context) - Baader, Hanschke - 1992
30 Expressive ABox reasoning with number restrictions - Haarslev, Moller
28 Reasoning with individuals for the description logic SHIQ - Horrocks, Sattler et al. - 2000
19 The complexity of reasoning with concrete domains - Lutz - 1999
17 Benchmark analysis with fact - Horrocks - 2000
13 RACER user's guide and reference manual version (context) - Haarslev, Moller - 2001
13 An empirical evaluation of optimization strategies for ABox .. - Haarslev, Moller
12 Description logics and feature interaction - Areces, Bouma et al.
12 Consistency testing: The RACE experience - Haarslev, Moller - 2000
11 Reasoning with axioms: Theory and practice - Horrocks, Tobies
11 com tool for intelligent conceptual modelling - Franconi, Ng - 2000
11 Exploiting pseudo models for TBox and ABox reasoning in expr.. - Haarslev, Moller et al.
10 The description logic ALCNHR+ extended with concrete domains (context) - Haarslev, Moller et al.
7 Optimizing reasoning in description logics with qualified nu.. - Haarslev, Moller
6 Combining tableaux and algebraic methods for reasoning with .. - Haarslev, Timmann et al.
3 Adapting optimization techniques to description logics with .. - Turhan, Haarslev
3 Tbox acquisition and information theory - Alvarez
3 International Conference on Principles of Knowledge Represen.. (context) - Cohn, Giunchiglia et al. - 2000
2 RACER -- ein Beschreibungslogiksystem fur Wissensmanagement-.. (context) - Haarslev, Moller - 2001
2 A PSpace-algorithm for deciding ALCNI R +-satisfiability (context) - Horrocks, Sattler et al. - 1998
2 chapter Description Logics for Conceptual Data Modeling (context) - Calvanese, Lenzerini et al. - 1998
1 International Joint Conference on Automated Reasoning (context) - Massacci - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-49/index.html): More
On Attributes, Roles, and Dependencies in Description Logics.. - Toman, Weddell (Correct)
The DLR_US Temporal Description Logic - Artale, Franconi, Mosurovic, al. (Correct)
A Note on Concepts and Distances - Kutz, Wolter, Zakharyaschev (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC