Skip to main content
    • Aa
    • Aa

A survey of formalisms for representing and reasoning with scientific knowledge

  • Anthony Hunter (a1) and Weiru Liu (a2)

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.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

G. Antoniou , A. Bikakis 2007. DR-prolog: a system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Transactions on Knowledge and Data Engineering 19(2), 233246.

M. Bada , D. Turi , R. McEntire , R. Stevens 2004. Using reasoning to guide annotation with gene ontology terms in goat. SIGMOD Record 33(2), 2732.

C. Baral , S. Kraus , J. Minker 1991. Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering 3, 208220.

C. Baral , K. Chancellor , N. Tran , N. Tran , A. Joy , M. Berens 2004. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20, Supplement 1, i15i20.

T. Bench-Capon , P. Dunne 2007. Argumentation in artificial intelligence. Artificial Intelligence 171, 619641.

S. Bergamaschi , S. Castano , M. Vincini , D. Beneventano 2001. Semantic integration of heterogeneous information sources. Data and Knowledge Engineering 36, 215249.

P. Besnard , A. Hunter 2001. A logic-based theory of deductive arguments. Artificial Intelligence 128, 203235.

P. Besnard , A. Hunter 2008. Elements of Argumentation. MIT Press.

D. Calvanese , G. D. Lembo , M. Lenzerin , R. Rosati 2008. Inconsistency tolerance in P2P data integration: an epistemic logic approach. Information Systems 33(4–5), 360384.

C. Chesñevar , A. Maguitman , R. Loui 2000. Logical models of argument. ACM Computing Surveys 32, 337383.

N. Choi , I. Song , H. Han 2006. A survey on ontology mapping. Sigmod Record 35(3), 3441.

L. Cholvy 1998. Reasoning with data provided by federated databases. Journal of Intelligent Information Systems 10, 4980.

A. Clegg , A. Shepherd 2007. Benchmarking natural-language parsers for biological applications using dependency graphs. BMC Bioinformatics 8, 24.

J. Cowie , W. Lehnert 1996. Information extraction. Communications of ACM 39, 8191.

A. Dal Palu , A. Dovier , F. Fogolari 2004. Constraint logic programming approach to protein structure prediction. BMC Bioinformatics 5, 186.

P. Dung 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence 77, 321357.

S. Dworschak , S. Grell , V. Nikiforova , T. Schaub , J. Selbig 2008. Modeling biological networks by action languages via answer set programming. Constraints 13(1–2), 2165.

P. Finn , S. Muggleton , D. Page , A. Srinivasan 1998. Pharmacophore discovery using the inductive logic programming system progol. Machine Learning 30, 241271.

C. Friedman , P. Kra , H. Yu , M. Krauthammer , A. Rzhetsky 2001. GENIES: a natural-language processing system for the extraction of molecular pathways from journal articles. Bioinformatics 17, Supplement 1, S74S82.

N. Fuhr 2000. Probabilistic datalog: implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science 51(2), 95110.

K. Fukuda , T. Takagi 2001. Knowledge representation of signal transduction pathways. Bioinformatics 17(9), 829837.

D. Gaertner , F. Toni 2007. Computing arguments and attacks in assumption-based argumentation. IEEE Intelligent Systems 22(6), 2433.

A. García , G. Simari 2004. Defeasible logic programming: an argumentative approach. Theory and Practice of Logic Programming 4, 95138.

N. Gorogiannis , A. Hunter 2008a. Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning 49, 234251.

N. Gorogiannis , A. Hunter 2008b. Merging first-order knowledge using dilation operators. In Foundations of Information and Knowledge Systems (FOIKS’08), Lecture Notes in Computer Science, 4932, 132150. Springer.

G. Grahne , A. Mendelzon 1999. Tableau techniques for querying information sources through global schemas. In Proceedings of the 7th International Conference on Database Theory (ICDT’99), Lecture Notes in Computer Science, 1540, 332347. Springer.

U. Hahn , J. Wermter , R. Blasczyk , P. Horn 2007. Text mining: powering the database revolution. Nature 448, 130.

J. Halpern 1990. An analysis of first-order logics of probability. Artificial Intelligence 46, 311350.

J. Harmon 2007. The Scientific Literature: A Guided Tour. University of Chicago Press.

D. Heckerman , M. Wellman 1995. Bayesian networks. Communications of the ACM 38, 2730.

K. Hui , P. Gray 2000. Developing finite domain constraints—a data model approach. In Proceedings of Computation Logic 2000 Conference, Lecture Notes in Computer Science, 1861, 448462. Springer.

A. Hunter , R. Summerton 2006. A knowledge-based approach to merging information. Knowledge-Based Systems 19(8), 647674.

B. Jefferys , L. Kelley , M. Sergot , J. Fox , M. Sternberg 2006. Capturing expert knowledge with argumentation:a case study in bioinformatics. Bioinformatics 22, 924933.

C. Jonker , J. Snoep , J. Treur , H. Westerhoff , W. Winjgaards 2002. Putting intentions into cell biochemistry: an artificial intelligence perspective. Journal of Theoretical Biology 214, 105134.

R. King , S. Muggleton , A. Srinivasan , M. Sternberg 1996. Structure-activity relationships derived by machine learning: the use of atoms and their bond connectives to predict mutagenicity by inductive logic programming. Proceedings of the National Academy of Sciences 93, 438442.

R. King , K. Whelan , F. Jones , P. Reiser , C. Bryant , S. Muggleton , D. Kell , S. Oliver 2004. Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427, 247252.

S. Konieczny , J. Lang , P. Marquis 2004. DA2 merging operator. Artificial Intelligence 157, 4979.

P. Krause , S. Ambler , M. Elvang-Gorannson , J. Fox 1995a. A logic of argumentation for reasoning under uncertainty. Computational Intelligence 11, 113131.

P. Krause , J. Fox , P. Judson , M. Patel 1998. Qualitative risk assessment fulfils a need. In Applications of Uncertainty Formalisms, Lecture Notes in Computer Science, 1455, 138156. Springer.

M. Krötzsch , P. Hitzler , D. Vrandecic , M. Sintek 2006. How to reason with OWL in a logic programming system. In Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2006), 1726. IEEE Computer Society.

L. Laera , V. Tamma , T. Bench-Capon , G. Semeraro 2004. Sweetprolog: a system to integrate ontologies and rules. In Rules and Rule Mark-Up Languages for the Semantic Web, Lecture Notes in Computer Science, 3323, 188193. Springer.

L. Laera , I. Blacoe , V. Tamma , T. Payne , J. Euzenat , T. Bench-Capon 2007. Argumentation over ontology correspondences in mas. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007).

Y. Loyer , N. Spyratos , D. Stamate 2000. Integration of information in four-valued logics under non-uniform assumptions. In Proceedings of 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL2000). IEEE Press.

J. Ma , W. Liu , A. Hunter 2007. Incomplete statistical information fusion and its application to clinical trials data. In Scalable Uncertainty Management (SUM’07), Lecture Notes in Computer Science 4772, 89103. Springer.

J. Ma , W. Liu , A. Hunter , W. Zhang 2008. Performing meta-analysis with incomplete statistical information in clinical trials. BMC Medical Research Methodology 8, 56.

P. McBurney , S. Parsons 2001. Dialectical argumentation for reasoning about chemical carcinogenicity. Logic Journal of the IGPL 9(2), 191203.

S. Muggleton 1991. Inductive logic programming. New Generation Computing 8(4), 295318.

S. Muggleton 1999. Scientific knowledge discovery using inductive logic programming. Communications of the ACM 42, 4246.

N. Nilsson 1986. Probabilistic logic. Artificial Intelligence 28, 7187.

K. Oda , J. Kim , T. Ohta , D. Okanohara , T. Matsuzaki , Y. Tateisi , J. Tsujii 2008. New challenges for text mining: mapping between text and manually curated pathways. BMC Bioinformatics 9, 114; (Supplement 3), S5.

S. Parsons , A. Hunter 1998. A review of uncertainty handling formalisms. In Applications of Uncertainty Formalisms, Lecture Notes in Computer Science 1455, 837. Springer.

J. Pearl 1988. Probabilistic Reasoning in Intelligent Systems: Networks of plausible inference. Morgan Kaufmann.

A. Poulovassilis , P. McBrien 1998. A general formal framework for schema transformation. Data and Knowledge Engineering 28, 4771.

I. Rahwan , P. McBurney 2007. Argumentation technology. IEEE Intelligent Systems 22(6), 2123.

A. Tamaddoni-Nezhad , R. Chaleil , A. Kakas , M. Sternberg , J. Nicholson , S. Muggleton 2007. Modeling the effects of toxins in metabolic networks. IEEE Engineering in Medicine and Biology 26, 3746.

S. Teufel , M. Moens 2002. Summarising scientific articles: experiments with relevance and rhetorical status. Computational Linguistics 28, 409445.

N. Tran , C. Baral 2009. Hypothesizing about signaling networks. Journal of Applied Logic 7(3), 253274.

N. Tran , C. Baral 2007. Reasoning about non-immediate triggers in biochemical networks. Annals of Mathematics and Artificial Intelligence 51(2–4), 267293.

D. Walton 2006. Fundamentals of Critical Argumentation. Cambridge University Press.

R. Walton , C. Gierl , P. Yudkin , H. Mistry , M. Vessey , J. Fox 1997. Evaluation of computer support for prescribing (CAPSULE). British Medical Journal 315, 791795.

B. Zupan , I. Bratko , J. Demsar , J. Beck , A. Kuspa , G. Shaulsky 2001. Abductive inference of genetic networks. In Artificial Intelligence in Medicine, Lecture Notes in Computer Science 2101, 304313. Springer.

B. Zupan , I. Bratko , J. Demsar , P. Juvan , J. Halter , A. Kuspa , G. Shaulsky 2003. Genepath: a system for automated construction of genetic networks from mutant data. Bioinformatics 19(3), 383389.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Knowledge Engineering Review
  • ISSN: 0269-8889
  • EISSN: 1469-8005
  • URL: /core/journals/knowledge-engineering-review
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 3
Total number of PDF views: 5 *
Loading metrics...

Abstract views

Total abstract views: 52 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 30th May 2017. This data will be updated every 24 hours.