Explaining Reasoning in Description Logics. McGuinness, D. L 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":"534282a80e946d920a001bce"},"__v":10,"authorIDs":["545781082abc8e9f3700048e"],"author_short":["McGuinness, D. L"],"bibbaseid":"mcguinness-explainingreasoningindescriptionlogics-1996","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["McGuinness"],"firstnames":["Deborah","L"],"suffixes":[]}],"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","bibtex":"@PHDTHESIS{mcguinness1996,\r\n author = {McGuinness, Deborah L},\r\n title = {{Explaining Reasoning in Description Logics}},\r\n school = {Rutgers University},\r\n year = {1996},\r\n keywords = {\\#DescriptionLogic,\\#Entailment,\\#Explanation,\\#Justification,\\#proof\\_theory},\r\n mendeley-tags = {\\#DescriptionLogic,\\#Entailment,\\#Explanation,\\#Justification,\\#proof\\_theory}\r\n}\r\n\r\n","author_short":["McGuinness, D. L"],"key":"mcguinness1996","id":"mcguinness1996","bibbaseid":"mcguinness-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"],"title":"Explaining Reasoning in Description Logics","year":1996,"dataSources":["drTBSwRdnSo2Wujnd"]}