Inproceedings1921: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 30: | Zeile 30: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Semantic Web |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
Version vom 11. September 2009, 02:38 Uhr
Tableau Algorithm for Possibilistic Description Logic ALC: First Results
Tableau Algorithm for Possibilistic Description Logic ALC: First Results
Published: 2008
November
Herausgeber: Diego Calvanese, Georg Lausen
Buchtitel: Proceedings of the Second International Conference on Web Reasoning and Rule Systems (RR'08)
Reihe: LNCS 5341
Seiten: 238-239
Verlag: Springer
Referierte Veröffentlichung
BibTeX
ISBN: 978-3-540-88736-2
Projekt
Forschungsgebiet
Ontology Engineering, Logik, Semantic Web