Stage-oe-small.jpg

Inproceedings1922: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Added from ontology)
Zeile 30: Zeile 30:
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Logik
+
|Forschungsgebiet=Semantic Web
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantic Web
+
|Forschungsgebiet=Logik
 
}}
 
}}

Version vom 11. September 2009, 04:29 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

NeOn



Forschungsgebiet

Ontology Engineering, Logik, Semantic Web