Reasoning in description logics using resolution and deductive databases

http://digbib.ubka.uni-karlsruhe.de/volltexte/1000003797

Keine Beschreibung vorhanden.