From knowledge represented in frame-based languages to declarative representation and reasoning via ASP

Chitta Baral, Shanshan Liang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

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 languageEnglish (US)
Title of host publication13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages413-423
Number of pages11
ISBN (Print)9781577355601
StatePublished - Jan 1 2012
Event13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 - Rome, Italy
Duration: Jun 10 2012Jun 14 2012

Publication series

NameProceedings of the International Workshop on Temporal Representation and Reasoning

Other

Other13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
CountryItaly
CityRome
Period6/10/126/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..