TY - GEN
T1 - From knowledge represented in frame-based languages to declarative representation and reasoning via ASP
AU - Baral, Chitta
AU - Liang, Shanshan
N1 - Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84893352473&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84893352473&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84893352473
SN - 9781577355601
T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning
SP - 413
EP - 423
BT - 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
Y2 - 10 June 2012 through 14 June 2012
ER -