DBLP:journals/jar/HustadtMS07

From Tetherless World Wiki

Jump to: navigation, search

Reasoning in Description Logics by a Reduction to Disjunctive Datalog +  Has identifier

DBLP:journals/jar/HustadtMS07 

 

Enter the name of the page to start browsing from.
Views
Personal tools