Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes

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

46 Downloads (Pure)

Original language	English
Title of host publication	Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.
Pages	245-257
Number of pages	13
Publication status	Published - 2014

Access to Document

@inproceedings{a6321323e37a4f64bb83820e18ce5bc7,

title = "Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes",

author = "Patrick Koopmann and Schmidt, \{Renate A\}",

year = "2014",

language = "English",

pages = "245--257",

booktitle = "Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.",

}