Inproceedings1922: Unterschied zwischen den Versionen
Aus Aifbportal
K (Wikipedia python library) |
(kein Unterschied)
|
Aktuelle Version vom 16. Oktober 2009, 23:04 Uhr
A Tableau Algorithm for Possibilistic Description Logic ALC
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
Forschungsgruppe
Forschungsgebiet
Ontology Engineering, Logik, Semantic Web