Default reasoning on top of ontologies with dl-programs / by Dao Tran Minh. 2008
Inhalt