Explaining Subsumption in Description Logics. McGuinness, L, D., & Borgida, A. In Proc. of the 14th International Joint Conference on Artificial Intelligence, pages 816--821, Montreal, Canada, August, 1995. Morgan Kaufmann.
bibtex   
@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}
}

Downloads: 0