Published October 27, 2020
| Version v1
Dataset
Open
Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Authors/Creators
- 1. TU Dresden, Germany
- 2. University of Milano-Bicocca, Italy
Description
This repository contains results of empirical evaluation of the procedure described in article SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT, and input for this evaluation.
Files
all-times-SATPin.txt
Files
(171.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7b24f3d96e9ffa043cfa6b4d0660777b
|
26.2 kB | Preview Download |
|
md5:0d56016458003082f8f4202e492162b5
|
53.0 kB | Preview Download |
|
md5:50383f9d774874d58fb71efce73ded88
|
14.9 kB | Preview Download |
|
md5:00452ac33e3dcc531da5fb4d8aa36190
|
3.5 kB | Download |
|
md5:b13ed5e1902633028354e102ccf034be
|
15.9 kB | Preview Download |
|
md5:bb3631d474adcb7be1acb64369df8f20
|
30.4 kB | Preview Download |
|
md5:93510d2dc7e3aa5a742d6dd342e316a6
|
11.1 kB | Preview Download |
|
md5:022950394a92a4ba72886df8380ce4b0
|
16.5 kB | Preview Download |