@inproceedings{3212d7fb69dc4e7a84cf9ed1d8703f82,
title = "From knowledge represented in frame-based languages to declarative representation and reasoning via ASP",
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.",
author = "Chitta Baral and Shanshan Liang",
year = "2012",
month = jan,
day = "1",
language = "English (US)",
isbn = "9781577355601",
series = "Proceedings of the International Workshop on Temporal Representation and Reasoning",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "413--423",
booktitle = "13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012",
note = "13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 ; Conference date: 10-06-2012 Through 14-06-2012",
}