Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Inproceedings1897

Aus Aifbportal

Wechseln zu: Navigation, Suche


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