A survey of formalisms for representing and reasoning with scientific knowledge

Anthony Hunter, Weiru Liu

Research output: Contribution to journalArticlepeer-review

11 Citations (Scopus)


With the rapid growth in the quantity and complexity of scientific knowledge available for scientists, and allied professionals, the problems associated with harnessing this knowledge are well recognized. Some of these problems are a result of the uncertainties and inconsistencies that arise in this knowledge. Other problems arise from heterogeneous and informal formats for this knowledge. To address these problems, developments in the application of knowledge representation and reasoning technologies can allow scientific knowledge to be captured in logic-based formalisms. Using such formalisms, we can undertake reasoning with the uncertainty and inconsistency to allow automated techniques to be used for querying and combining of scientific knowledge. Furthermore, by harnessing background knowledge, the querying and combining tasks can be carried out more intelligently. In this paper, we review some of the significant proposals for formalisms for representing and reasoning with scientific knowledge.
Original languageEnglish
Pages (from-to)199-222
Number of pages24
JournalKnowledge Engineering Review
Issue number2
Publication statusPublished - Jun 2010

ASJC Scopus subject areas

  • Artificial Intelligence
  • Software


Dive into the research topics of 'A survey of formalisms for representing and reasoning with scientific knowledge'. Together they form a unique fingerprint.

Cite this