1544 search results - page 241 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
126
click to vote
AI
2010
Springer
14 years 12 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
112
click to vote
JSS
2006
14 years 11 months ago
2006
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
MKWI
2008
15 years 1 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
LREC
2010
15 years 1 months ago
2010
At present there is no publicly available data set to evaluate the performance of different summarization systems on the task of generating location-related extended image caption...