Explaining Reasoning in Description Logics. McGuinness & L, D. Ph.D. Thesis, Rutgers University, 1996. bibtex @phdthesis{ mcguinness1996,
author = {McGuinness, Deborah L},
title = {{Explaining Reasoning in Description Logics}},
school = {Rutgers University},
year = {1996},
keywords = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory},
mendeley-tags = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory}
}
Downloads: 0
{"_id":{"_str":"5218856caa2f288d1f000276"},"__v":3,"authorIDs":[],"author_short":["McGuinness","L, D."],"bibbaseid":"mcguinness-l-explainingreasoningindescriptionlogics-1996","bibdata":{"author":["McGuinness","L, Deborah"],"author_short":["McGuinness","L, D."],"bibtex":"@phdthesis{ mcguinness1996,\n author = {McGuinness, Deborah L},\n title = {{Explaining Reasoning in Description Logics}},\n school = {Rutgers University},\n year = {1996},\n keywords = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory},\n mendeley-tags = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory}\n}","bibtype":"phdthesis","id":"mcguinness1996","key":"mcguinness1996","keywords":"#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory","mendeley-tags":"#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory","school":"Rutgers University","title":"Explaining Reasoning in Description Logics","type":"phdthesis","year":"1996","bibbaseid":"mcguinness-l-explainingreasoningindescriptionlogics-1996","role":"author","urls":{},"keyword":["#DescriptionLogic","#Entailment","#Explanation","#Justification","#proof_theory"],"downloads":0,"html":""},"bibtype":"phdthesis","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#descriptionlogic","#entailment","#explanation","#justification","#proof_theory"],"search_terms":["explaining","reasoning","description","logics","mcguinness","l"],"title":"Explaining Reasoning in Description Logics","title_words":["explaining","reasoning","description","logics"],"year":1996,"dataSources":["drTBSwRdnSo2Wujnd"]}