441 search results - page 33 / 89 » Automated Benchmarking of Description Logic Reasoners |
137
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
126
click to vote
DLOG
2007
15 years 4 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
120
click to vote
DLOG
2003
15 years 3 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
113
click to vote
DLOG
2008
15 years 4 months ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
128
click to vote
DLOG
2009
14 years 11 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...