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
/ijcai/1993/dionne1993ijcai-equivalence/
PDF IJCAI 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.

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/)

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},
  url       = {https://mlanthology.org/ijcai/1993/dionne1993ijcai-equivalence/}
}