Automatically assigned DDC number: 00633
Manually assigned DDC number: 00633
Title: Verification of Knowledge Bases based on Containment Checking
Author:
Author:
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
Identifier: http://citeseer.ist.psu.edu/140339.html
Source: http://portal.research.bell-labs.com/orgs/ssr/people/levy/aaai96-vvt.ps.Z
Language: en
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<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" />
</rec>
</references_metadata>