Title | ||
---|---|---|
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. |
Abstract | ||
---|---|---|
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB_Bio_101 contains knowledge from a biology textbook, has been developed as part of Project Halo, and has recently become available for research use. KB_Bio_101 is one of the largest KBs available in ASP and the reasoning with it is undecidable in general. We give a description of this KB and ASP programs for a suite of queries that have been of practical interest. We explain why these queries pose significant practical challenges for the current ASP solvers. |
Year | Venue | Field |
---|---|---|
2013 | CoRR | Data mining,Suite,Object-oriented programming,Computer science,Artificial intelligence,Logic programming,Machine learning,Undecidable problem,Scalability |
DocType | Volume | Citations |
Journal | abs/1312.6138 | 3 |
PageRank | References | Authors |
0.40 | 13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vinay K. Chaudhri | 1 | 587 | 246.49 |
Stijn Heymans | 2 | 463 | 37.60 |
Michael A. Wessel | 3 | 23 | 2.63 |
Tran Cao Son | 4 | 1795 | 169.42 |