Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/dlog/KazakovN03
%A Kazakov, Yevgeny
%A de Nivelle, Hans
%B Description Logics
%D 2003
%E Calvanese, Diego
%E Giacomo, Giuseppe De
%E Franconi, Enrico
%I CEUR-WS.org
%K dblp
%T Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
%U http://dblp.uni-trier.de/db/conf/dlog/dlog2003.html#KazakovN03
%V 81
@inproceedings{conf/dlog/KazakovN03,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Kazakov, Yevgeny and de Nivelle, Hans},
biburl = {https://www.bibsonomy.org/bibtex/20b1f20f27fae638594b00179a290e1ce/dblp},
booktitle = {Description Logics},
crossref = {conf/dlog/2003},
editor = {Calvanese, Diego and Giacomo, Giuseppe De and Franconi, Enrico},
ee = {https://ceur-ws.org/Vol-81/kazakov.pdf},
interhash = {bd92df2ab96bfea5d2d355819e1e2b3e},
intrahash = {0b1f20f27fae638594b00179a290e1ce},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-10T00:59:59.000+0200},
title = {Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2003.html#KazakovN03},
volume = 81,
year = 2003
}
