Automatically assigned DDC number: 00633

Manually assigned DDC number: 00633

Title: Verification of Knowledge Bases based on Containment Checking



Subject: Alon Y. Levy,Marie-christine Rousset Verification of Knowledge Bases based on Containment Checking

Description: Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. We consider the problem of verifying hybrid knowledge bases that contain both Horn rules and a terminology in a description logic. Our approach to the verification problem is based on showing a close relationship to the problem of query containment. Our first contribution, based on this relationship, is presenting a thorough analysis of the decidability and complexity of the verification problem, for knowledge bases containing recursive rules and the interpreted predicates =, , ! and 6=. Second, we show that important new classes of constraints on correct inputs and outputs can be expressed in a hybrid setting, in which a description logic class hierarchy is also considered, and we present the first complete algorithm for verifying su...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-06-19

Pubyear: 1996

Format: ps



Language: en

Rights: unrestricted


<?xml   version="1.0"   encoding="UTF-8"?>


      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Verification   of   Knowledge   Bases   based   on   Containment   Checking">

            <identifier   Org="ISBN:026251091X"   Paper_ID="SELF"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0262510952"   Paper_ID="SELF"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1581131658"   Paper_ID="SELF"   Extracted="1581131658"   />

            <identifier   Org="ISBN:1605661708"   Paper_ID="SELF"   Extracted="1605661708"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1848002858"   Paper_ID="SELF"   Extracted="1848002858"   DDC="003.54"   Normalized_DDC="00354"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540229361"   Paper_ID="SELF"   Extracted="3540229361"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540231668"   Paper_ID="SELF"   Extracted="3540231668"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540423443"   Paper_ID="SELF"   Extracted="3540423443"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540664289"   Paper_ID="SELF"   Extracted="3540664289"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354067795X"   Paper_ID="SELF"   Extracted="354067795X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.1111111111111111"   />