91 search results - page 1 / 19 » Towards Implementing Finite Model Reasoning in Description L... |
DLOG
2004
14 years 7 months ago
2004
DLOG
1996
14 years 7 months ago
1996
ER
2007
Springer
15 years 6 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
DLOG
2000
14 years 7 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
CADE
2006
Springer
15 years 6 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...