Object-Oriented Knowledge Bases in Logic Programming

Citation

Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Son Cao Tran. Object-Oriented Knowledge Bases in Logic Programming, in Technical Communication of International Conference in Logic Programming, 2013.

Abstract

We describe the axiomatic content of a biology knowledge base that poses both theoretical and empirical challenges for knowledge intensive reasoning. The knowledge base is organized hierarchically as a set of classes with necessary and sufficient properties. The class hierarchy also contains disjointness axioms. The relations have domain and range constraints, are organized into a hierarchy, can have cardinality constraints and can have composition axioms stated for them. The necessary and sufficient properties of classes induce general graphs for which there are no known decidable reasoners. The knowledge content is practically motivated by an education application and has been extensively tested to be of high quality.

↓ Download

Read more from SRI

  • surgeons around a surgical robot

    The SRI research behind today’s surgical robotics

    Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.

  • a collage of digital graphs

    A banner year for quantum

    SRI-managed QED-C’s annual report on quantum trends captures an industry accelerating rapidly from technical promise toward major global impact.

  • ICE Cube containing SRI’s aerogel experiment, photographed prior to launch. Source: Aerospace Applications North America

    An SRI carbon capture experiment launches into space

    By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.