Pascale Hors, Marie-Christine Rousset. Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. In Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. pages 231-245, Universidad Politécnica de Madrid, 1993.
@inproceedings{HorsR93,
title = {Consistency of Structured Knowledge: A Formal Framework Based on Description Logics},
author = {Pascale Hors and Marie-Christine Rousset},
year = {1993},
tags = {rule-based, consistency, logic},
researchr = {https://researchr.org/publication/HorsR93},
cites = {0},
citedby = {0},
pages = {231-245},
booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain},
editor = {Jesús Cardeñosa and Pedro Meseguer},
publisher = {Universidad Politécnica de Madrid},
isbn = {84-604-5817-2},
}