ML Anthology

The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics

Robert Dionne, Eric Mays, Frank J. Oles
IJCAI 1993 pp. 710-717
doi:10.4137/cmwh.s10979 /ijcai/1993/dionne1993ijcai-equivalence/

Abstract

Although general obesity may prevent osteoporosis, these findings suggest that abdominal obesity (ie, trunk weight) specifically and independently may adversely influence bone mass.

PDF Semantic Scholar

Cite

Text

Dionne et al. "The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics." International Joint Conference on Artificial Intelligence, 1993. doi:10.4137/cmwh.s10979

Markdown

[Dionne et al. "The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/dionne1993ijcai-equivalence/) doi:10.4137/cmwh.s10979

BibTeX

@inproceedings{dionne1993ijcai-equivalence,
  title     = {{The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics}},
  author    = {Dionne, Robert and Mays, Eric and Oles, Frank J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {710-717},
  doi       = {10.4137/cmwh.s10979},
  url       = {https://mlanthology.org/ijcai/1993/dionne1993ijcai-equivalence/}
}