Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings1922

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

A Tableau Algorithm for Possibilistic Description Logic ALC


Guilin Qi, Jeff Pan



Published: 2008 Dezember
Herausgeber: John Domingue, Chutiporn Anutariya
Buchtitel: Proceedings of the 3rd Asian Semantic Web Conference (ASWC'08)
Reihe: LNCN 5367
Seiten: 61-75
Verlag: Springer
Referierte Veröffentlichung
BibTeX

ISBN: 978-3-540-89703-3

Projekt

NeOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Ontology Engineering, Semantic Web, Logik


-->