Inproceedings1922
Aus Aifbportal
Version vom 16. Oktober 2009, 23:04 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
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