Stage-oe-small.jpg

Inproceedings3184: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
 
Zeile 14: Zeile 14:
 
|Booktitle=Proceedings of the 24th International Workshop on Description Logics (DL2011)
 
|Booktitle=Proceedings of the 24th International Workshop on Description Logics (DL2011)
 
|Publisher=CEUR Workshop Proceedings
 
|Publisher=CEUR Workshop Proceedings
|Note=to appear.
 
 
}}
 
}}
 
{{Publikation Details
 
{{Publikation Details
 +
|Download=Dl2011 EQUIKA.pdf,
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}

Aktuelle Version vom 18. Juli 2011, 11:06 Uhr


Practical Epistemic Entailment Checking in SROIQ


Practical Epistemic Entailment Checking in SROIQ



Published: 2011 Juli

Buchtitel: Proceedings of the 24th International Workshop on Description Logics (DL2011)
Verlag: CEUR Workshop Proceedings

Nicht-referierte Veröffentlichung

BibTeX

Download: Media:Dl2011 EQUIKA.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet