An ABox Revision Algorithm for the Description Logic EL_bot

Liang Chang, Uli Sattler, Tianlong Gu

Research output: Chapter in Book/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",

}