From knowledge represented in frame-based languages to declarative representation and reasoning via ASP
Chitta R. Baral, Shanshan Liang · Principles of Knowledge Representation and Reasoning · 2012
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.