An ABox Revision Algorithm for the Description Logic EL_bot

Liang Chang, Uli Sattler, Tianlong Gu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Informal Proc. of the 27th International Workshop on Description Logics (DL 2014)
Publisher	RWTH Aachen University
Pages	459-470
Number of pages	12
Volume	1193
Publication status	Published - 2014

Name	CEUR Workshop Proceedings

Access to Document

@inproceedings{e5a48cb260be4eb0bb06e9ab5aeb3e90,

title = "An ABox Revision Algorithm for the Description Logic EL_bot",

author = "Liang Chang and Uli Sattler and Tianlong Gu",

year = "2014",

language = "English",

volume = "1193",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

pages = "459--470",

booktitle = "Informal Proc. of the 27th International Workshop on Description Logics (DL 2014)",

address = "Germany",

}

An ABox Revision Algorithm for the Description Logic EL_bot. / Chang, Liang; Sattler, Uli; Gu, Tianlong.
Informal Proc. of the 27th International Workshop on Description Logics (DL 2014). Vol. 1193 RWTH Aachen University, 2014. p. 459-470 (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review