Robert Dionne, Eric Mays, Frank J. Oles. The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. In IJCAI. pages 710-717, 1993.
@inproceedings{DionneMO93,
title = {The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics},
author = {Robert Dionne and Eric Mays and Frank J. Oles},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/DionneMO93},
cites = {0},
citedby = {0},
pages = {710-717},
booktitle = {IJCAI},
}