2414 search results - page 195 / 483 » Reasoning Support for OWL-E |
192
click to vote
TSMC
2010
15 years 28 days ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
302
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
153
click to vote
SEMWEB
2007
Springer
16 years 10 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
177
click to vote
NDQA
2003
15 years 7 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
184
click to vote
AIL
2008
15 years 6 months ago
2008
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...