Documents DR-Prolog : A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web CS566 – Διαχειριση Γνώσης στο Διαδίκτυο Άνοιξη…

Documents Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce

Towards Parallel Nonmonotonic Reasoning with Billions of Facts Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce Ilias Tachmazidis1,2, Grigoris Antoniou1,2,3,…