@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 = aug,
  publisher = {Morgan Kaufmann},
  keywords = {\#DescriptionLogic,\#Entailment,\#Explanation,\#Justification,\#proof\_theory},
  mendeley-tags = {\#DescriptionLogic,\#Entailment,\#Explanation,\#Justification,\#proof\_theory}
}

{"_id":{"_str":"534282a80e946d920a001bd0"},"__v":11,"authorIDs":["545781082abc8e9f3700048e"],"author_short":["McGuinness, D. L","Borgida, A."],"bibbaseid":"mcguinness-borgida-explainingsubsumptionindescriptionlogics-1995","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["McGuinness"],"firstnames":["Deborah","L"],"suffixes":[]},{"propositions":[],"lastnames":["Borgida"],"firstnames":["Alex"],"suffixes":[]}],"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","bibtex":"@INPROCEEDINGS{mcguinness1995:IJCAI,\r\n author = {McGuinness, Deborah L and Borgida, Alex},\r\n title = {{Explaining Subsumption in Description Logics}},\r\n booktitle = {Proc. of the 14th International Joint Conference on Artificial Intelligence},\r\n year = {1995},\r\n pages = {816--821},\r\n address = {Montreal, Canada},\r\n month = aug,\r\n publisher = {Morgan Kaufmann},\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","Borgida, A."],"key":"mcguinness1995:IJCAI","id":"mcguinness1995:IJCAI","bibbaseid":"mcguinness-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","borgida"],"title":"Explaining Subsumption in Description Logics","year":1995,"dataSources":["drTBSwRdnSo2Wujnd"]}