LATPub188

PublikationenPublications

• Nach AutorBy Author
  • Jan HladikJan Hladik
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Implementing the n-ary Description Logic GF1-

Jan HladikJan Hladik

Datei:Hladik-DL-2000.ps.gz

• Download

Jan Hladik
Implementing the n-ary Description Logic GF1-
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000

• Details
• Bibtex

• 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},
}