Reasoning in Description Logics by a Reduction to Disjunctive Datalog.

As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a novel reasoning algorithm that reduces a SHIQ knowledge base to a disjunctive datalog program while preserving the set of...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Hustadt, U, Motik, B, Sattler, U
Formatua: Journal article
Hizkuntza:English
Argitaratua: 2007