Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Inproceedings1779

Aus Aifbportal

Wechseln zu: Navigation, Suche


A Kernel Revision Operator in Description Logics




Published: 2008 Mai

Buchtitel: Proceedings of the 21st International Workshop on Description Logics (DL'08)
Ausgabe: 353
Verlag: CEUR
Referierte Veröffentlichung

BibTeX

ISSN: 1613-0073

Projekt

NeOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Ontology Engineering, Semantic Web, Logik