Automatically assigned DDC number: 006332
Manually assigned DDC number: 006332

Number of references: 4

Title: Explaining Subsumption in Description Logics

Author:

Author:

Subject: Deborah L. Mcguinness,Alex Borgida Explaining Subsumption in Description Logics

Description: Description Logic-based systems include extensive, complex reasoning components that may produce results that surprise users, yet these systems typically provide little or no explanation support. In this paper, we explore the explanation of subsumption reasoning in Description Logics from one perspective---explanation for knowledge engineers. We adopt a deductive framework for presenting the variety of inferences supported in these systems, and thereby achieve a simple, uniform specification of the notion of explanation. We then address the problem of overly-long and overly-detailed explanations by introducing the notions of atomic descriptions and atomic explanations. We also provide an implementation perspective by discussing the design space and presenting some desiderata for explanation modules. We have implemented our approach in the Classic knowledge representation system. 1 Introduction Systems that represent complex domains or that perform extensive or intricate inferences o...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1994-10-12

Pubyear: 1995

Format: ps

Identifier: http://citeseer.ist.psu.edu/145342.html

Source: ftp://www.cs.rutgers.edu/pub/technical-reports/lcsr-tr-228.ps.Z

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

<rec ID="/431696.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="{CLASSIC}: a structural data model for objects,">

<identifier Org="ISBN:0387569790" Paper_ID="/431696.html" Extracted="0387569790" DDC="006.3/3/015115" Normalized_DDC="00633015115" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0387578250" Paper_ID="/431696.html" Extracted="0387578250" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0792378830" Paper_ID="/431696.html" Extracted="0792378830" />

<identifier Org="ISBN:1558604952" Paper_ID="/431696.html" Extracted="1558604952" />

<identifier Org="ISBN:3540204989" Paper_ID="/431696.html" Extracted="3540204989" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540285857" Paper_ID="/431696.html" Extracted="3540285857" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540414568" Paper_ID="/431696.html" Extracted="3540414568" />

<identifier Org="ISBN:3540441263" Paper_ID="/431696.html" Extracted="3540441263" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540541411" Paper_ID="/431696.html" Extracted="3540541411" />

<identifier Org="ISBN:354055033X" Paper_ID="/431696.html" Extracted="354055033X" />

<identifier Org="ISBN:354056974X" Paper_ID="/431696.html" Extracted="354056974X" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540575308" Paper_ID="/431696.html" Extracted="3540575308" />

<identifier Org="ISBN:3540612866" Paper_ID="/431696.html" Extracted="3540612866" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540634789" Paper_ID="/431696.html" Extracted="3540634789" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540636145" Paper_ID="/431696.html" Extracted="3540636145" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540654526" Paper_ID="/431696.html" Extracted="3540654526" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540664289" Paper_ID="/431696.html" Extracted="3540664289" />

<identifier Org="ISBN:3540672257" Paper_ID="/431696.html" Extracted="3540672257" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:4274077241" Paper_ID="/431696.html" Extracted="4274077241" />

<identifier Org="ISBN:905199334X" Paper_ID="/431696.html" Extracted="905199334X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />

</rec>

<rec ID="/437334.html" Type="article" CiteSeer_Book="Journal of Artificial Intelligence Research" CiteSeer_Volume="1" Title="A Semantics and Complete Algorithm for Subsumption in the {CLASSIC} Description Logic,">

<identifier Org="ISBN:0262510952" Paper_ID="/437334.html" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0387286888" Paper_ID="/437334.html" Extracted="0387286888" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0387983678" Paper_ID="/437334.html" Extracted="0387983678" DDC="302.23" Normalized_DDC="30223" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0792383028" Paper_ID="/437334.html" Extracted="0792383028" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1930708025" Paper_ID="/437334.html" Extracted="1930708025" DDC="025.06/3637" Normalized_DDC="025063637" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540005676" Paper_ID="/437334.html" Extracted="3540005676" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540232052" Paper_ID="/437334.html" Extracted="3540232052" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540411194" Paper_ID="/437334.html" Extracted="3540411194" DDC="006.3/31" Normalized_DDC="006331" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540438580" Paper_ID="/437334.html" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540572929" Paper_ID="/437334.html" Extracted="3540572929" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540637923" Paper_ID="/437334.html" Extracted="3540637923" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540664289" Paper_ID="/437334.html" Extracted="3540664289" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540665366" Paper_ID="/437334.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540672257" Paper_ID="/437334.html" Extracted="3540672257" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354067697X" Paper_ID="/437334.html" Extracted="354067697X" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540677976" Paper_ID="/437334.html" Extracted="3540677976" />

<identifier Org="ISBN:4274077241" Paper_ID="/437334.html" Extracted="4274077241" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:9051992173" Paper_ID="/437334.html" Extracted="9051992173" />

<identifier Org="ISBN:9051993544" Paper_ID="/437334.html" Extracted="9051993544" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/48067.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Tenth National Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Computing Least Common Subsumers in Description Logics,">

<identifier Org="ISBN:0262510634" Paper_ID="/48067.html" Extracted="0262510634" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0387286888" Paper_ID="/48067.html" Extracted="0387286888" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0444516905" Paper_ID="/48067.html" Extracted="0444516905" DDC="160" Normalized_DDC="16" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1586038915" Paper_ID="/48067.html" Extracted="1586038915" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1591402220" Paper_ID="/48067.html" Extracted="1591402220" DDC="658.4/038/028563" Normalized_DDC="6584038028563" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540201017" Paper_ID="/48067.html" Extracted="3540201017" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540210431" Paper_ID="/48067.html" Extracted="3540210431" DDC="511.3/3" Normalized_DDC="51133" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540232427" Paper_ID="/48067.html" Extracted="3540232427" />

<identifier Org="ISBN:3540250514" Paper_ID="/48067.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540287612" Paper_ID="/48067.html" Extracted="3540287612" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540405763" Paper_ID="/48067.html" Extracted="3540405763" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540426124" Paper_ID="/48067.html" Extracted="3540426124" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540663290" Paper_ID="/48067.html" Extracted="3540663290" DDC="004/.01/5114" Normalized_DDC="004015114" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540664955" Paper_ID="/48067.html" Extracted="3540664955" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540668225" Paper_ID="/48067.html" Extracted="3540668225" />

<identifier Org="ISBN:3540676899" Paper_ID="/48067.html" Extracted="3540676899" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354067795X" Paper_ID="/48067.html" Extracted="354067795X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540784683" Paper_ID="/48067.html" Extracted="3540784683" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.0625" />

</rec>

<rec ID="/659.html" Type="article" CiteSeer_Book="AI Magazine" CiteSeer_Volume="14" Title="A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at {AT}&T Network Systems," />

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Explaining Subsumption in Description Logics">

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

<identifier Org="ISBN:0387298150" Paper_ID="SELF" Extracted="0387298150" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1111111111111111" />

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

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

<identifier Org="ISBN:3540237984" Paper_ID="SELF" Extracted="3540237984" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540261249" Paper_ID="SELF" Extracted="3540261249" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540297545" Paper_ID="SELF" Extracted="3540297545" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540423974" Paper_ID="SELF" Extracted="3540423974" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.1111111111111111" />

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

<identifier Org="ISBN:3540637923" Paper_ID="SELF" Extracted="3540637923" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.1111111111111111" />

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

<identifier Org="ISBN:354067859X" Paper_ID="SELF" Extracted="354067859X" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.1111111111111111" />

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

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

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

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

</rec>

</references_metadata>