ML Anthology

High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study

Volker Haarslev, Ralf Möller
IJCAI 2001 pp. 161-168
/ijcai/2001/haarslev2001ijcai-high/

Abstract

In this contribution we present an empirical analysis of the performance of the ALCN H R + description logic system RACE applied to TBoxes with a very large number of primitive concept definitions.Adaptions of previously known techniques as well as new optimization techniques for efficiently dealing with these kinds of knowledge bases are discussed. 1

Semantic Scholar

Cite

Text

Haarslev and Möller. "High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Haarslev and Möller. "High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/haarslev2001ijcai-high/)

BibTeX

@inproceedings{haarslev2001ijcai-high,
  title     = {{High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study}},
  author    = {Haarslev, Volker and Möller, Ralf},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {161-168},
  url       = {https://mlanthology.org/ijcai/2001/haarslev2001ijcai-high/}
}