Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings1921

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Tableau Algorithm for Possibilistic Description Logic ALC: First Results


Guilin Qi, Jeff Pan



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, Semantic Web, Logik