Abstract
In this paper we encode some of the reasoning methods used in frame based knowledge representation languages in answer set programming (ASP). In particular, we show how "cloning" and "unification" in frame based systems can be encoded in ASP. We then show how some of the types of queries with respect to a biological knowledge base can be encoded using our methodology. We also provide insight on how the reasoning can be done more efficiently when dealing with a huge knowledge base.
| Original language | English (US) |
|---|---|
| Title of host publication | 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 413-423 |
| Number of pages | 11 |
| ISBN (Print) | 9781577355601 |
| State | Published - Jan 1 2012 |
| Event | 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 - Rome, Italy Duration: Jun 10 2012 → Jun 14 2012 |
Publication series
| Name | Proceedings of the International Workshop on Temporal Representation and Reasoning |
|---|
Other
| Other | 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 |
|---|---|
| Country | Italy |
| City | Rome |
| Period | 6/10/12 → 6/14/12 |
ASJC Scopus subject areas
- Software
Fingerprint Dive into the research topics of 'From knowledge represented in frame-based languages to declarative representation and reasoning via ASP'. Together they form a unique fingerprint.
Cite this
Baral, C., & Liang, S. (2012). From knowledge represented in frame-based languages to declarative representation and reasoning via ASP. In 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (pp. 413-423). (Proceedings of the International Workshop on Temporal Representation and Reasoning). Institute of Electrical and Electronics Engineers Inc..