Implementing the n-ary Description Logic GF1-

From International Center for Computational Logic

Toggle side column

Implementing the n-ary Description Logic GF1-

Jan HladikJan Hladik
Jan Hladik
Implementing the n-ary Description Logic GF1-
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000
  • KurzfassungAbstract
    GF1- is a description logic allowing for n-ary relations, for which satisfiability is decidable in PSPACE. In this paper, the implementation and optimization of a tableau algorithm deciding GF1- are presented, and the performance is compared with that of other solvers.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Hladik-DL-2000,
  address = {Aachen, Germany},
  author = {Jan {Hladik}},
  booktitle = {Proceedings of the International Workshop in Description Logics 2000 {(DL2000)}},
  title = {Implementing the n-ary Description Logic {GF1-}},
  year = {2000},
}