Inproceedings1923: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| − | |||
| − | |||
| − | |||
| − | |||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
| Zeile 10: | Zeile 6: | ||
|Rank=1 | |Rank=1 | ||
|Author=Boontawee Suntisrivaraporn | |Author=Boontawee Suntisrivaraporn | ||
| + | }} | ||
| + | {{Publikation Author | ||
| + | |Rank=2 | ||
| + | |Author=Guilin Qi | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
| Zeile 33: | Zeile 33: | ||
|Projekt=NeOn, | |Projekt=NeOn, | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
| + | }} | ||
| + | {{Forschungsgebiet Auswahl | ||
| + | |Forschungsgebiet=Logik | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| Zeile 39: | Zeile 42: | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet=Ontology Engineering | |Forschungsgebiet=Ontology Engineering | ||
| − | |||
| − | |||
| − | |||
}} | }} | ||
Version vom 15. August 2009, 19:57 Uhr
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
Published: 2008
Dezember
Herausgeber: John Domingue, Chutiporn Anutariya
Buchtitel: Proceedings of the 3rd Asian Semantic Web Conference (ASWC'08)
Reihe: LNCN 5367
Seiten: 1-15
Verlag: Springer
Referierte Veröffentlichung
BibTeX
ISBN: 978-3-540-89703-3
Projekt
Forschungsgebiet
Ontology Engineering, Logik, Semantic Web