Inproceedings1897

Paraconsistent Reasoning for Expressive and Tractable Description Logics

Yue Ma, Pascal Hitzler, Zuoquan Lin

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

ReaSem, NeOn, SmartWeb

Forschungsgebiet