Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Expressive probabilistic description logics
Artificial Intelligence
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Pronto: a non-monotonic probabilistic description logic reasoner
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
An OWL Ontology for Fuzzy OWL 2
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Fuzzy ontology representation using OWL 2
International Journal of Approximate Reasoning
Representing and reasoning on typicality in formal ontologies
Proceedings of the 7th International Conference on Semantic Systems
Formal ontologies, exemplars, prototypes
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
PossDL — a possibilistic DL reasoner for uncertainty reasoning and inconsistency handling
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P-${\ensuremath{\mathcal{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 reasoning services in P-${\ensuremath{\mathcal{SHIQ}}(D)}$ are mostly query oriented, there is no single problem (like classification or realization in classical DL) that could be an obvious candidate for benchmarking. All these issues make it hard to evaluate the performance of reasoners, reveal the complexity bottlenecks and assess the value of optimization strategies. This paper addresses these important problems by making the following contributions: First, it describes a probabilistic ontology that has been developed for the real-life domain of breast cancer which poses significant challenges for the state-of-art P-${\ensuremath{\mathcal{SHIQ}}(D)}$ reasoners. Second, it explains a systematic approach to generating a series of probabilistic reasoning problems that enable evaluation of the reasoning performance and shed light on what makes reasoning in P-${\ensuremath{\mathcal{SHIQ}}(D)}$ hard in practice. Finally, the paper presents an optimized algorithm for the non-monotonic entailment. Its positive impact on performance is demonstrated using our evaluation methodology.