Artificial intelligence publications
-
KB_Bio_101: A challenge for OWL Reasoners
We describe the axiomatic content of a biology knowledge base that poses both theoretical and empirical challenges for OWL reasoning.
-
Dead End Metabolites — Defining the Known Unknowns of the E. coli Metabolic Network
We have analysed the occurrence of dead end metabolites within the database – these are metabolites which lack the requisite reactions (either metabolic or transport) that would account for their…
-
A systematic comparison of the MetaCyc and KEGG pathway databases
We present a comparison of the compound, reaction, and pathway content of MetaCyc version 16.0 and a KEGG version downloaded on Feb-27-2012 to increase understanding of their relative sizes, their…
-
Groups: Knowledge Spreadsheets for symbolic biocomputing
Groups allows Pathway Tools users to define a group of objects (e.g. groups of genes or metabolites) from a Pathway/Genome Database.
-
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
We give a description of this KB and ASP programs for a suite of queries that have been of practical interest.
-
EcoCyc: Fusing Model Organism Databases with Systems Biology
Updates to EcoCyc content continue to improve the comprehensive picture of E. coli biology. The utility of EcoCyc is enhanced by new tools available on the EcoCyc web site, and…
-
On the Combination of Logical and Probabilistic Models for Information Analysis
We describe a framework for systems that incorporate the advantages of both Bayesian and logical systems. We define a formalism for the conversion of automatically generated natural deduction proof trees…
-
Regulatory Network Operations in the Pathway Tools Software
Pathway Tools provides a comprehensive environment for manipulating molecular regulatory interactions that integrates regulatory data with an organism’s genome and metabolic network.
-
The 2012 SESAME Multimedia Event Detection (MED) and Multimedia Event Recounting (MER) Systems
The SESAME team submitted four runs for the MED12 pre-specified events, two runs for the ad hoc events, and a run for multimedia event recounting.
-
A corpus of online discussions for research into linguistic memes
We describe a 460-million word corpus of online discussions.
-
Construction and completion of flux balance models from pathway databases
We present a multiple gap-filling method to accelerate the development of FBA models using a new tool, called MetaFlux, based on mixed integer linear programming (MILP).
-
Accurate Atom-Mapping Computation for Biochemical Reactions
We introduce a new method for computing atom mappings called the minimum weighted edit-distance (MWED) metric.