Stage-oe-small.jpg

Inproceedings1921

Aus Aifbportal
Version vom 16. Oktober 2009, 22:58 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche


Tableau Algorithm for Possibilistic Description Logic ALC: First Results


Tableau Algorithm for Possibilistic Description Logic ALC: First Results



Published: 2008 November
Herausgeber: Diego Calvanese, Georg Lausen
Buchtitel: Proceedings of the Second International Conference on Web Reasoning and Rule Systems (RR'08)
Reihe: LNCS 5341
Seiten: 238-239
Verlag: Springer

Referierte Veröffentlichung

BibTeX

ISBN: 978-3-540-88736-2

Projekt

NeOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Ontology Engineering, Logik, Semantic Web