598 search results - page 10 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
DLOG
2007
15 years 2 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
116
click to vote
DLOG
2000
15 years 1 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
CADE
2006
Springer
16 years 4 days 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...