DRAGO

MaRDI QIDQ26926swMATHFDO

Official website http://link.springer.com/chapter/10.1007/11431053_25

Cited in

(5)

• Towards resolution-based reasoning for connected logics
• Composing Modular Ontologies with Distributed Description Logics
• C-SPARQL
• nSPARQL
• CORON

This page was built for software: DRAGO