Inproceedings1922

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