[DL] T98-sat File Naming

[Roberto Sebastiani]

Dear THomas,
they are all explained in the techrep

@techreport{heuerding2,
author = "A. Heuerding and S. Schwendimann",
title = "A benchmark method for the propositional modal logics {K}, {KT}, {S4}.",
institution = "University of Bern",
address = "Switzerland",
number = "IAM-96-015",
year = "1996"}

As far as I remember
- "branch" are Halpern&Moses formulae in

@article{halpern4,
author= "J.Y. Halpern and Y. Moses",
title= "A guide to the completeness and complexity for modal logics of
                   knowledge and belief",
   journal = AI,
   volume = "54",
   number= "3",
   year = "1992",
   pages = "319--379"}

- "ph" are pigeonhole's SAt problem disguised as a modal K problem.

Roberto

On Fri, 4 Aug 2006, T.Herchenroeder at sms.ed.ac.uk wrote:

> Is anybody on the list knowledgeable about the DL'98 test suite 
> (http://dl.kr.org/dl98/comparison/data.html)?
>
> I'm particularly interested in the T98-sat tests. They are distributed over 9 
> pairs of files,
>
> k_branch_n.alc
> k_branch_p.alc
> k_d4_n.alc
> k_d4_p.alc
> k_dum_n.alc
> k_dum_p.alc
> k_grz_n.alc
> k_grz_p.alc
> k_lin_n.alc
> k_lin_p.alc
> k_path_n.alc
> k_path_p.alc
> k_ph_n.alc
> k_ph_p.alc
> k_poly_n.alc
> k_poly_p.alc
> k_t4p_n.alc
> k_t4p_p.alc
>
> It appears that the author of the test has given some thought towards the 
> naming of the files ('k_branch*', 'k_d4*', 'k_dum*',...), which might 
> indicate a common theme for the contained queries.
>
> I know _n.* and _p.* signify consistency/inconsistency. But can anybody 
> elaborate on the middle parts of the names 'branch', 'd4', 'dum', etc. ?
>
> Thanks,
> =Thomas
>
> ---
> **  You received this mail via the description logic mailing list; for more 
> **
> **  information, visit the description logic homepage at http://dl.kr.org/. 
> **
>

-- 
------------------------------------------------------------------
Prof. ROBERTO SEBASTIANI
Dip. Informatica e Telecomunicazioni
Fac. Scienze M.F.N., Universita` di Trento    Tel: +39 0461 881514
Via Sommarive 14, I-38050, Trento, Italy      Fax: +39 0461 882093
roberto.sebastiani at dit.unitn.it     http://www.dit.unitn.it/~rseba
------------------------------------------------------------------