Inproceedings1922: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Qi | ||
+ | |ErsterAutorVorname=Guilin | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Jeff Pan | |Author=Jeff Pan | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 27: | Zeile 27: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Ontology Engineering |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Semantic Web |
}} | }} |
Version vom 8. September 2009, 09:46 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
Forschungsgebiet
Ontology Engineering, Logik, Semantic Web