Matches in SemOpenAlex for { <https://semopenalex.org/work/W132668885> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W132668885 endingPage "115" @default.
- W132668885 startingPage "111" @default.
- W132668885 abstract "AProp osalforaGlass-BoxApproachSubsumptionCheckingQuentinElhaik,Marie-ChristineRousset,Marie-ClaudeGaudelL.R.IU.R.AC.N.R.S,UniversityofParis-SudBuilding490,91405OrsayCedex,Francemcr@lri.lri.fr1MotivationDescriptionlogicshavego o drepresentationalprop-ertiesandtheircomputationalprop ertiesarewellundersto o d.However,oneoftheirmaindrawbackisthattheircurrentreasoningalgorithmshaveaninherentblack-b oxnature,i.etheydon'tmakeex-plicithowsubsumptioninferencesareobtained.Thisisanimp ortantdrawbackforprovidingex-planationordebuggingservices.Descriptionlogicswithareasonableexpressivep owercontaindi erentconstructorsthecombinationofwhichcanleadtonumerous,complexandvariedformsofsubsump-tionrelation.Consequently,somesubsumptionre-lationsarecomplexandneedtob eexplainedauserortoaterminologydesigner.Thep ointisnottoexplainusersordesignershowsubsumptioniscomputedbuthowacomplexsubsumptioninfer-encecanb edecomp osedintodi erentsimplerinfer-encesteps.ForKBS,ruleshaveshowntob eafor-malismthatiswellappropriatetosupp orttraceca-pabilitiesforb othexplanationanddebuggingpur-p oses.Moregenerally,aspreviouslyadvo catedby[1]and[6],sp ecifyingthesubsumptionrelationwithasetofinferenceruleswouldhavemanyadvantagesforcharacterizing,customizingoroptimizingimple-mentationsofsubsumptionalgorithms.Inaddition,itcouldb ethebasisforde ningdi erentkindsofrelevance(e.g,ofafacttoquery)andnewwaysofreasoning(e.g,ab ductivereasoning)inadescriptionlogicssetting.Thema jordicultyistoobtainacompletesetofinferencerulesharac-terizingthesubsumptionrelation.Inthispap er,weconsideraratherexpressivde-scriptionlogicslanguage,includingthetwodesig-natedprimitiveconcepts>(top)and?(b ottom),1corresp ondencehastob esentthisauthorandtheconstructorsu(conjunctionofconcepts),:(negation,forprimitiveconceptsonly),8(uni-versalrolequanti cation),9(existentalquan-ti cation)andquali ednumberrestrictions.Thep ossibilitytoexpressquali ednumb errestrictions(denoted(n R C)and))hasb eenveryusefulforarealapplicationofmo delingcomp onentsofnuclearplants([5]).Notethatquali edumb errestrictionsaremoreexpressivethansimplenumb errestrictions.Insection2,wesummarizetheglass-b oxconsis-tencycheckingmetho dthatweprop osedin[5],ordertoprovideatraceofsomethesubsump-tionstepsleadingtoaninconsistencyasatrace-tre.Inthesections3and4wdescrib earecentwork[2],basedonestablishingacorresp ondenceb e-tweencomplexconceptsinourlanguageandrecordtyp es,whichenabledustoobtainasoundandcom-pletesetofinferencerulestocharacterizesubsump-tioninourlanguage.2Aglass-b oxconsistencycheckingmetho dbasedonrulesTheglass-b oxapproachthatweprop osedin[5]isquitesimilarinspiritto[3]providingexplanationsforinferencesinCLASSIC.Ourapproachcanb eusedasacomplementofexistingsubsumptional-gorithms,b othtop ossiblycompleteexistingsub-sumptionalgorithmsandtoprovidetracesforthemostsubtlesubsumptioninferences.Thebasicas-sumptionofourapproachisthatthesubsumptionrelationsthatarethemostdiculttounderstandforaterminologydesignerarethesubsumptionre-lationsthatarenotstructural,inparticularthosestatingthataconjunctionofconceptsissubsumedbyaconceptthatdo esnotsubsumeanofthe" @default.
- W132668885 created "2016-06-24" @default.
- W132668885 creator A5017971059 @default.
- W132668885 creator A5030687097 @default.
- W132668885 creator A5067647847 @default.
- W132668885 date "1996-01-01" @default.
- W132668885 modified "2023-09-26" @default.
- W132668885 title "A Proposal for a Glass-Box Approach for Subsumption Checking" @default.
- W132668885 cites W1492175084 @default.
- W132668885 cites W2051476306 @default.
- W132668885 cites W2148583679 @default.
- W132668885 cites W300698695 @default.
- W132668885 cites W80737574 @default.
- W132668885 cites W90144283 @default.
- W132668885 hasPublicationYear "1996" @default.
- W132668885 type Work @default.
- W132668885 sameAs 132668885 @default.
- W132668885 citedByCount "0" @default.
- W132668885 crossrefType "journal-article" @default.
- W132668885 hasAuthorship W132668885A5017971059 @default.
- W132668885 hasAuthorship W132668885A5030687097 @default.
- W132668885 hasAuthorship W132668885A5067647847 @default.
- W132668885 hasConcept C114614502 @default.
- W132668885 hasConcept C33923547 @default.
- W132668885 hasConceptScore W132668885C114614502 @default.
- W132668885 hasConceptScore W132668885C33923547 @default.
- W132668885 hasLocation W1326688851 @default.
- W132668885 hasOpenAccess W132668885 @default.
- W132668885 hasPrimaryLocation W1326688851 @default.
- W132668885 hasRelatedWork W1951041764 @default.
- W132668885 hasRelatedWork W1983548132 @default.
- W132668885 hasRelatedWork W2021337234 @default.
- W132668885 hasRelatedWork W2043241309 @default.
- W132668885 hasRelatedWork W2049128941 @default.
- W132668885 hasRelatedWork W2091266084 @default.
- W132668885 hasRelatedWork W2318177188 @default.
- W132668885 hasRelatedWork W2320527152 @default.
- W132668885 hasRelatedWork W2332390575 @default.
- W132668885 hasRelatedWork W2367502783 @default.
- W132668885 hasRelatedWork W2642407270 @default.
- W132668885 hasRelatedWork W2681462356 @default.
- W132668885 hasRelatedWork W3090860638 @default.
- W132668885 hasRelatedWork W33736844 @default.
- W132668885 hasRelatedWork W581945309 @default.
- W132668885 hasRelatedWork W1953156609 @default.
- W132668885 hasRelatedWork W2179752700 @default.
- W132668885 hasRelatedWork W2188834644 @default.
- W132668885 hasRelatedWork W2307761291 @default.
- W132668885 hasRelatedWork W3146123915 @default.
- W132668885 isParatext "false" @default.
- W132668885 isRetracted "false" @default.
- W132668885 magId "132668885" @default.
- W132668885 workType "article" @default.