Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Answering regular path queries in expressive description logics via alternating tree-automata
Calvanese D., Eiter T., Ortiz M. Information and Computation237 12-55,2014.Type:Article
Date Reviewed: Feb 2 2015

Description logic (DL) is a formal knowledge representation language family. It exhibits more efficient decision problems than first-order predicate logic, and is amply relevant to semantic web efforts. DL uses formal reasoning on the concepts of terminological knowledge. Expressive DL answers complex queries beyond retrieval, based on constraints in the knowledgebase.

The expressive DL ZIQ is used to consider the task of 2-way regular path queries in this paper. The main result of this extensive research is that the authors “have shown that query entailment for a very rich class of queries beyond ... conjunctive queries ... is decidable ... in the DL ZIQ,” and the results are applicable to the World Wide Web Consortium (W3C) Web ontology language (OWL) 2 ontology standard. A positive theoretical movement is exhibited here, with a potential to advance the movement toward Web 3.0.

Details of the problem, with multiple theorems, ample proofs (many of which define algorithms), and examples to support these statements, are presented. It is a paper well worth reading by any computer scientist, as it is indeed a standalone textbook-chapter-like elaboration on the characterization and use of one powerful DL.

Reviewer:  Goran Trajkovski Review #: CR143131 (1505-0418)
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Question-Answering (Fact Retrieval) Systems (H.3.4 ... )
 
 
Complexity Hierarchies (F.1.3 ... )
 
 
Trees (E.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Question-Answering (Fact Retrieval) Systems": Date
A natural language information retrieval system with extentions towards fuzzy reasoning
Bolc L. (ed), Kowalski A., Kozlowska M., Strzalkowski T. International Journal of Man-Machine Studies 23(4): 335-367, 1985. Type: Article
Jun 1 1986
Reasoning about naming systems
Bowman M., Debray S., Peterson L. ACM Transactions on Programming Languages and Systems 15(5): 795-825, 1993. Type: Article
Sep 1 1994
Data-driven answer selection in community QA systems
Nie L., Wei X., Zhang D., Wang X., Gao Z., Yang Y. IEEE Transactions on Knowledge and Data Engineering 29(6): 1186-1198, 2017. Type: Article
Oct 24 2017

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