4617 search results - page 129 / 924 » Automation of Diagrammatic Reasoning |
121
click to vote
DLOG
2011
14 years 9 months ago
2011
Abstract. We consider the problem of characterising relational constraints under which TBox reasoning in EL is tractable. We obtain P vs. coNP-hardness dichotomies for tabular cons...
191
click to vote
DLOG
2011
14 years 9 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
198
click to vote
DLOG
2011
14 years 9 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
184
click to vote
ICECCS
2009
IEEE
16 years 29 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...