A Semi-Dedicable Semantic Tableau Proof System in a Description Logic DL1

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F08%3AA0900QLB" target="_blank" >RIV/61988987:17310/08:A0900QLB - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/08:A1000QLB
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A Semi-Dedicable Semantic Tableau Proof System in a Description Logic DL1
Original language description
In the article a description logic language DL1 with a modified semantics of the universal restriction constructor forall R .C is proposed. A proposed tableau decision-making procedure that shares with FOL its semi- decidability reflects in a corresponding manner the modification.
Czech name
Částečně rozhodnutelný důkazový systém sémantického tabla v deskripční logice DL1
Czech description
V článku se zavádí jazyk deskripční logiky DL1 s modifikovanou sémantikou konstruktoru forall R .C. Je též předložen modifikovaný tablový algoritmus, který sdílí s logikou prvního řásu její částečnou rozhodnutelnost.

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering
ISBN
978-80-8086-092-9
ISSN
—
e-ISSN
—
Number of pages
393
Pages from-to
—
Publisher name
Department of Computers and Informatics FEEI TU of Košice
Place of publication
Košice
Event location
Stara Lesna, Slovakia
Event date
Sep 24, 2008
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)