Backtracking and Qualified Number Restrictions: Some Preliminary Results

Abstract

Description Logics (DLs) are useful in the database domain, where they can be used to reason, e.g., about conceptual schemas and query containment. DL knowledge bases derived from relatively small UML diagrams have, however, proven difficult of impossible for state of the art DL systems to solve. We show that in the FaCT system this problem results from the… (More)

Topics

1 Figure or Table

Cite this paper

@inproceedings{Horrocks2002BacktrackingAQ, title={Backtracking and Qualified Number Restrictions: Some Preliminary Results}, author={Ian Horrocks}, booktitle={Description Logics}, year={2002} }