Font Size:
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP
Last modified: 2012-05-17
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.
Full Text:
PDF