Representing States in a Biology Textbook

A biology textbook contains sentences such as “role of cytoskeleton is support and motility of a cell” and “NADH is an electron carrier that transfers electrons”. The first sentence explicitly uses the word role while in the second sentence the role of electron carrier is implicit. Role concepts have been defined in the context of upper ontologies for some time, but the word role has also been used in linguistics and description logics to denote related but different notions. In this paper, we consider the roles in a biology textbook, adapt a definition of roles based on upper ontologies, and relate it to the corresponding notions in linguistics and description logics. We consider our solutions to several conceptual modeling problems for roles as we have used them in representing the knowledge contained in a biology textbook. The primary contribution of this work is in applying the representation of roles to a complex and challenging domain, in giving definitions that can be applied by biologists, and in collecting several concrete examples that require such representation.

[1]  Daniel Elenius,et al.  KB_Bio_101: Content and Challenges , 2014, FOIS.

[2]  Peter Clark,et al.  Representing roles and purpose , 2001, K-CAP '01.

[3]  Michael Gelfond,et al.  Representing Biological Processes in Modular Action Language ALM , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[4]  John B. Lowe,et al.  The Berkeley FrameNet Project , 1998, ACL.

[5]  Franz Baader.  Description Logics , 2009, Reasoning Web.

[6]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[7]  Peter Clark,et al.  A library of generic concepts for composing knowledge bases , 2001, K-CAP '01.

[8]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[9]  Peter Clark,et al.  Inquire Biology: A Textbook that Answers Questions , 2013, AI Mag..

[10]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[11]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[12]  Giancarlo Guizzardi,et al.  Agent Roles, Qua Individuals and the Counting Problem , 2005, SELMAS.

[13]  Chitta Baral,et al.  Reasoning about Intended Actions , 2005, AAAI.

[14]  Stijn Heymans,et al.  Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP , 2013, ArXiv.

[15]  Neville Ryant,et al.  A Large-scale Classication of English Verbs , 2006 .

[16]  Vinay K. Chaudhri,et al.  User-Controlled, Robust Natural Language Generation from an Evolving Knowledge Base , 2013, ENLG.

[17]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[18]  Andrew D. Spear.  Ontology for the Twenty First Century: An Introduction with Recommendations , 2006 .

[19]  Robert Arp,et al.  Function, Role and Disposition in Basic Formal Ontology , 2008 .

[20]  Vinay K. Chaudhri,et al.  Enabling experts to build knowledge bases from science textbooks , 2007, K-CAP '07.

[21]  Friedrich Steimann,et al.  On the representation of roles in object-oriented and conceptual modelling , 2000, Data Knowl. Eng..

[22]  Stijn Heymans,et al.  KB_Bio_101 : A Challenge for OWL Reasoners , 2013, ORE.

[23]  Peter Clark,et al.  Project Halo Update - Progress Toward Digital Aristotle , 2010, AI Mag..

[24]  Sylvain Delisle,et al.  Systematic construction of a versatile case system , 1997, Natural Language Engineering.

[25]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[26]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[27]  Nicola Guarino,et al.  Sweetening WORDNET with DOLCE , 2003, AI Mag..

[28]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[29]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[30]  Nicola Guarino,et al.  The Ontological Level: Revisiting 30 Years of Knowledge Representation , 2009, Conceptual Modeling: Foundations and Applications.

[31]  Aldo Gangemi,et al.  Representing the Component Library into Ontology Design Patterns , 2009, WOP.

[32]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[33]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[34]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[35]  M. Gelfond,et al.  Yet Another Modular Action Language , 2009 .

[36]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[37]  Richard Dapoigny,et al.  A type-theoretical approach for ontologies: The case of roles , 2012, Appl. Ontology.

[38]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[39]  Stijn Heymans,et al.  Object-Oriented Knowledge Bases in Logic Programming , 2013, Theory Pract. Log. Program..