Inproceedings1779
Aus Aifbportal
A Kernel Revision Operator in Description Logics
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
Forschungsgruppe
Forschungsgebiet
Ontology Engineering, Logik, Semantic Web