Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2013
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1312.6138 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908587708645376 |
|---|---|
| author | Chaudhri, Vinay K. Heymans, Stijn Wessel, Michael Son, Tran Cao |
| author_facet | Chaudhri, Vinay K. Heymans, Stijn Wessel, Michael Son, Tran Cao |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1312_6138 |
| institution | arXiv |
| publishDate | 2013 |
| record_format | arxiv |
| spellingShingle | Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP Chaudhri, Vinay K. Heymans, Stijn Wessel, Michael Son, Tran Cao Artificial Intelligence 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. |
| title | Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/1312.6138 |