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>

www.000webhost.com