@inproceedings{ mcguinness1995:IJCAI,
  author = {McGuinness, Deborah L and Borgida, Alex},
  title = {{Explaining Subsumption in Description Logics}},
  booktitle = {Proc. of the 14th International Joint Conference on Artificial Intelligence},
  year = {1995},
  pages = {816--821},
  address = {Montreal, Canada},
  month = {August},
  publisher = {Morgan Kaufmann},
  keywords = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory},
  mendeley-tags = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory}
}

{"_id":{"_str":"5218856caa2f288d1f000291"},"__v":3,"authorIDs":[],"author_short":["McGuinness","L, D.","Borgida, A."],"bibbaseid":"mcguinness-l-borgida-explainingsubsumptionindescriptionlogics-1995","bibdata":{"address":"Montreal, Canada","author":["McGuinness","L, Deborah","Borgida, Alex"],"author_short":["McGuinness","L, D.","Borgida, A."],"bibtex":"@inproceedings{ mcguinness1995:IJCAI,\n author = {McGuinness, Deborah L and Borgida, Alex},\n title = {{Explaining Subsumption in Description Logics}},\n booktitle = {Proc. of the 14th International Joint Conference on Artificial Intelligence},\n year = {1995},\n pages = {816--821},\n address = {Montreal, Canada},\n month = {August},\n publisher = {Morgan Kaufmann},\n keywords = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory},\n mendeley-tags = {#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory}\n}","bibtype":"inproceedings","booktitle":"Proc. of the 14th International Joint Conference on Artificial Intelligence","id":"mcguinness1995:IJCAI","key":"mcguinness1995:IJCAI","keywords":"#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory","mendeley-tags":"#DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory","month":"August","pages":"816--821","publisher":"Morgan Kaufmann","title":"Explaining Subsumption in Description Logics","type":"inproceedings","year":"1995","bibbaseid":"mcguinness-l-borgida-explainingsubsumptionindescriptionlogics-1995","role":"author","urls":{},"keyword":["#DescriptionLogic","#Entailment","#Explanation","#Justification","#proof_theory"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#descriptionlogic","#entailment","#explanation","#justification","#proof_theory"],"search_terms":["explaining","subsumption","description","logics","mcguinness","l","borgida"],"title":"Explaining Subsumption in Description Logics","title_words":["explaining","subsumption","description","logics"],"year":1995,"dataSources":["drTBSwRdnSo2Wujnd"]}