Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

> Publ3 search

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	Genzen-like Proofs in Description Logic DL1
Citace	Lukasová, A. a Vajgl, M. Genzen-like Proofs in Description Logic DL1. In: Proceedings of the Tenth International Conference on Informatics 2009. Košice: Technical Univerzity of Košice, 2009. Technical Univerzity of Košice, 2009. s. 160-166. ISBN 978-80-8086-126-1.

Subtitle
Publication year:	2009
Obor:	Informatika
Number of pages:	350
Page from:	160
Page to:	166
Form of publication:
ISBN code:	978-80-8086-126-1
ISSN code:
Proceedings title:	Proceedings of the Tenth International Conference on Informatics 2009
Proceedings:	Mezinárodní
Publisher name:	Technical Univerzity of Košice
Place of publishing:	Košice
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	Informatics 2009
Místo konání konference:	Her'lany, Slovakia
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Evropská akce
WoS code:
EID:

Key words in English:	Decscription logic, DL1, Gentzen-like formal systems
Annotation in original language:	On the base of the binary tree representation of tableau proofs in description logic DL1 a dual Gentzen-like axiomatic system is defined. It is shown that the tree representation of tableau proofs gives besides a possibility of transparent creation of models in the cases of direct tableau proofs also a possibility to exploit the properties of indirect tableau proofs to define a formal system for direct generating of theories consisting of sentences corresponding to logical consequents of knowledge bases.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17610/09:A1000X3M

Complementary Content

${loading}