Inproceedings,

A Resolution Based Description Logic Calculus.

, and .
Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews