Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Inproceedings1922

Aus Aifbportal

Wechseln zu: Navigation, Suche


A Tableau Algorithm for Possibilistic Description Logic ALC




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