Conference item icon

Conference item

Consequence−Driven Reasoning for Horn SHIQ Ontologies

Actions

Access Document

Files:

Authors


Publisher:
CEUR Workshop Proceedings
Host title:
Proceedings of the 22nd International Workshop on Description Logics (DL 2009)
Volume:
477
Publication date:
2009-07-01


UUID:
uuid:f1620e5f-6cf4-4273-b255-38f2641f9d6d
Local pid:
cs:3232
Deposit date:
2015-03-31
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP