Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Inproceedings3184

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

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


-->