A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Abdelraouf Hecham 1 Madalina Croitoru 1 Pierre Bisquert 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In this paper we are interested in the task of a data engineer choosing what tool to use to perform defeasible reasoning with a first order logic knowledge base. To this end we propose the first benchmark in the literature that allows one to classify first order defeasible reasoning tools based on their semantics, expressiveness and performance.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894747
Contributor : Abdelraouf Hecham <>
Submitted on : Friday, October 12, 2018 - 5:54:25 PM
Last modification on : Friday, March 29, 2019 - 9:12:12 AM
Long-term archiving on : Sunday, January 13, 2019 - 3:39:55 PM

File

rr-bench-raouf.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. International Joint Conference on Rules and Reasoning (RuleML+RR), Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩. ⟨lirmm-01894747⟩

Share

Metrics

Record views

213

Files downloads

77