Stage-oe-small.jpg

Inproceedings1897

Aus Aifbportal
(Weitergeleitet von Inproceedings1897/en)
Wechseln zu:Navigation, Suche


Paraconsistent Reasoning for Expressive and Tractable Description Logics


Paraconsistent Reasoning for Expressive and Tractable Description Logics



Published: 2008 April
Herausgeber: Franz Baader, Carsten Lutz, Boris Motik
Buchtitel: Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008
Ausgabe: 353
Reihe: CEUR Workshop Proceedings

Referierte Veröffentlichung

BibTeX

ISSN: 1613-0073
Download: Media:2008_1897_Ma_Paraconsistent__1.pdf,Media:2008_1897_Ma_Paraconsistent__2.pdf

Projekt

SmartWebReaSemNeOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet