Count and Forget: Uniform Interpolation of SHQ-Ontologies

Patrick Koopmann; Renate A Schmidt

doi:10.1007/978-3-319-08587-6_34

Count and Forget: Uniform Interpolation of SHQ-Ontologies

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

Original language	English
Title of host publication	Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
Pages	434-448
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-319-08587-6_34
Publication status	Published - 2014

Access to Document

10.1007/978-3-319-08587-6_34

Cite this

@inproceedings{3cf03b07b03a4ab58839ab74e643fb50,

title = "Count and Forget: Uniform Interpolation of SHQ-Ontologies",

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

year = "2014",

doi = "10.1007/978-3-319-08587-6_34",

language = "English",

pages = "434--448",

booktitle = "Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings",

}

Count and Forget: Uniform Interpolation of SHQ-Ontologies. / Koopmann, Patrick; Schmidt, Renate A.
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. 2014. p. 434-448.

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

TY - GEN

T1 - Count and Forget: Uniform Interpolation of SHQ-Ontologies

AU - Koopmann, Patrick

AU - Schmidt, Renate A

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08587-6_34

DO - 10.1007/978-3-319-08587-6_34

M3 - Conference contribution

SP - 434

EP - 448

BT - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

ER -

Count and Forget: Uniform Interpolation of SHQ-Ontologies

Access to Document

Other files and links

Cite this