Consistency Testing: The RACE Experience

@inproceedings{Haarslev2000ConsistencyTT,
  title={Consistency Testing: The RACE Experience},
  author={Volker Haarslev and Ralf M{\"o}ller},
  booktitle={TABLEAUX},
  year={2000}
}
This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discussed in detail: (i) techniques involving caching and (ii) techniques for dealing with individuals. 

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
Showing 1-10 of 37 extracted citations

Semantic web reasoners and languages

Artificial Intelligence Review • 2010
View 5 Excerpts
Highly Influenced

An Overview of Tableau Algorithms for Description Logics

Studia Logica • 2001
View 4 Excerpts
Highly Influenced

Inferring over functionally equivalent ontologies

2015 Fifth International Conference on Digital Information Processing and Communications (ICDIPC) • 2015
View 2 Excerpts

A cluster based multiple ontology parallel merge method

2013 International Conference on Recent Trends in Information Technology (ICRTIT) • 2013
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science • 1998
View 5 Excerpts
Highly Influenced

Improvements to propositional satisfiability search algorithms

J. W. Freeman
PhD thesis, University of Pennsylvania, Computer and Information Science, • 1995
View 1 Excerpt
Highly Influenced

Proceedings of the InternationalWorkshop on Description Logics (DL’99)

P. Lambrix et al, editor
July 30 - August • 1999

Turhan. RACE User’s guide and reference manual version 1.1

V. Haarslev, R. Möller, A.-Y
Technical Report FBI-HH-M-289/99, • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…