DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web CS566 – Διαχειριση Γνώσης στο Διαδίκτυο Άνοιξη…
Towards Parallel Nonmonotonic Reasoning with Billions of Facts Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce Ilias Tachmazidis1,2, Grigoris Antoniou1,2,3,…