1544 search results - page 48 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
173
click to vote
OTM
2007
Springer
16 years 12 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
170
click to vote
FTP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
184
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
173
click to vote
ECSQARU
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and r...
183
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...