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

6 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 - 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 Conference on Knowledge Representation and Reasoning
ISSN (Print)2334-1025
ISSN (Electronic)2334-1033

Other

Other13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
Country/TerritoryItaly
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