Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/kr/CateCMV06
AU - Cate, Balder ten
AU - Conradie, Willem
AU - Marx, Maarten
AU - Venema, Yde
TI - Definitorially Complete Description Logics.
BT - Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006
SP - 79
EP - 89
PY - 2006//
UR - http://www.aaai.org/Library/KR/2006/kr06-011.php
ER -
