Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Tableau reasoning for description logics and its extension to probabilities
Zese R., Bellodi E., Riguzzi F., Cota G., Lamma E. Annals of Mathematics and Artificial Intelligence82 (1-3):101-130,2018.Type:Article
Date Reviewed: Jun 28 2018

Zese et al. present Prolog implementations of some reasoning algorithms for description logics (DL). They describe two principal algorithms, TRILL and TRILLp; each implements the tableau algorithm. TRILL is able to return explanations for query results, and TRILLp “is able to compute a Boolean formula representing the set of explanations for a query.” Furthermore, both algorithms are capable of computing the probabilities of queries according to the DISPONTE “distribution semantics of probabilistic logic programming.”

The two TRILL algorithms are compared on simulated knowledge bases (KBs) of increasing size to Pellet, an algorithm based on Reiter’s hitting set algorithm written in Java. Both TRILL algorithms proved to be superior. For probabilistic reasoning, the authors compared the TRILL algorithms to BUNDLE and PRONTO using four existing KBs. In this case, the TRILL algorithms were competitive, but not always better; however, their memory usage was substantially smaller.

The algorithms are clearly explained with substantial details on the implementations. Readers should be able to reproduce the implementations based on the information provided. The authors provide a web-based application (http://trill.lamping.unife.it) that “allows users to write a KB in the RDF/XML format” and query the KB. It is gratifying to see a Prolog implementation that is both efficient and lucid.

Reviewer:  J. P. E. Hodgson Review #: CR146117 (1809-0507)
Bookmark and Share
  Featured Reviewer  
 
Nondeterministic Languages (D.3.2 ... )
 
 
Applications And Expert Systems (I.2.1 )
 
 
Knowledge Representation Formalisms And Methods (I.2.4 )
 
Would you recommend this review?
yes
no

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy