This paper presents a system description of Pronto — the first probabilistic Description Logic reasoner capable of processing knowledge bases containing about a thousand of probabilistic axioms. We describe the design and architecture of the reasoner with an emphasis on the components that implement algorithms which are crucial for achieving such level of scalability. Finally, we present the re...

High reliability and operational safety are most important requirements of aerospace products. Structural Safety (Reliability) assessment techniques help to achieve safe designs and also identify effect of uncertainty occur in structural systems of aerospace products. In general the structural safety is evaluated using various statistical methods like Mean Value and Moment Methods. Currently se...

The FAA is conducting evaluations of Precision Runway Monitoring (PRM) surveillance techniques. This paper describes the evaluation results of the Multilateration/ADS-B system trials conducted at Atlanta-Hartsfield International Airport (ATL) in 1997. The performance of Time Difference of Arrival (TDOA) position multilateration of aircraft Mode S and Mode A/C transmissions was evaluated, in add...

We have developed a probabilistic reformulation of the Quick Medical Reference (QMR) system. In Part I of this two-part series, we described a two-level, multiply connected belief-network representation of the QMR knowledge base and a simulation algorithm to perform probabilistic inference on the reformulated knowledge base. In Part II of this series, we report on an evaluation of the probabili...

performance evaluation is one of the most important management agendas as key to achieving continuous improvement in the ability to evaluate the ongoing performance of the organization. many organizations have realized the importance of ongoing evaluation of performance and performance appraisal systems employ a variety of organizations. in this regard between 1850 and 1975, only on the basis o...

This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P-SHIQ(D). Since it is a new formalism for handling uncertainty in DL ontologies, no such methodology has been proposed. There are no sufficiently large probabilistic ontologies to be used as test suites. In addition, since the rea...

In this paper, a new high precision focused word sense disambiguation (WSD) approach is proposed, which not only attempts to identify the proper sense for a word but also provides the probabilistic evaluation for the identification confidence at the same time. A novel Instance Knowledge Network (IKN) is built to generate and maintain semantic knowledge at the word, type synonym set and instance...