Standard

Approximate unification in the description logic FL0. / Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander.

In: Lecture Notes in Computer Science, Vol. 10021, 2016, p. 49-63.

Research output: Contribution to journal › Article › peer-review

Harvard

Baader, F, Marantidis, P & Okhotin, A 2016, 'Approximate unification in the description logic FL0', Lecture Notes in Computer Science, vol. 10021, pp. 49-63. https://doi.org/10.1007/978-3-319-48758-8_4

APA

Baader, F., Marantidis, P., & Okhotin, A. (2016). Approximate unification in the description logic FL0. Lecture Notes in Computer Science, 10021, 49-63. https://doi.org/10.1007/978-3-319-48758-8_4

Vancouver

Baader F, Marantidis P, Okhotin A. Approximate unification in the description logic FL0. Lecture Notes in Computer Science. 2016;10021:49-63. https://doi.org/10.1007/978-3-319-48758-8_4

Author

Baader, Franz ; Marantidis, Pavlos ; Okhotin, Alexander. / Approximate unification in the description logic FL0. In: Lecture Notes in Computer Science. 2016 ; Vol. 10021. pp. 49-63.

BibTeX

@article{dcc9bc87496640b1aebe3b35ca9793c1,
title = "Approximate unification in the description logic FL0",
author = "Franz Baader and Pavlos Marantidis and Alexander Okhotin",
year = "2016",
doi = "10.1007/978-3-319-48758-8_4",
language = "English",
volume = "10021",
pages = "49--63",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Nature",

}

RIS

TY - JOUR

T1 - Approximate unification in the description logic FL0

AU - Baader, Franz

AU - Marantidis, Pavlos

AU - Okhotin, Alexander

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-48758-8_4

DO - 10.1007/978-3-319-48758-8_4

M3 - Article

VL - 10021

SP - 49

EP - 63

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

ID: 7661264