Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1669 Publications
2013 | Conference Paper | LibreCat-ID: 56541
Introductions to Description Logics - A Guided Tour
A.-Y. Turhan, in: S. Rudolph, G. Gottlob, I. Horrocks, F. van Harmelen (Eds.), Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings, Springer, 2013, pp. 150–161.
LibreCat
| DOI
A.-Y. Turhan, in: S. Rudolph, G. Gottlob, I. Horrocks, F. van Harmelen (Eds.), Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings, Springer, 2013, pp. 150–161.
2013 | Conference Paper | LibreCat-ID: 56538
Computing Role-Depth Bounded Generalizations in the Description Logic
A. Ecke, R. Peñaloza, A.-Y. Turhan, in: I.J. Timm, M. Thimm (Eds.), KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, Springer, 2013, pp. 49–60.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, in: I.J. Timm, M. Thimm (Eds.), KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, Springer, 2013, pp. 49–60.
2013 | Conference Paper | LibreCat-ID: 56540
Situation recognition for service management systems using OWL 2 reasoners
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, A.-Y. Turhan, in: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, IEEE Computer Society, 2013, pp. 31–36.
LibreCat
| DOI
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, A.-Y. Turhan, in: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, IEEE Computer Society, 2013, pp. 31–36.
2013 | Conference Paper | LibreCat-ID: 56539
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
S. Goetz, J. Mendez, V. Thost, A.-Y. Turhan, in: M. Rodriguez-Muro, S. Jupp, K. Srinivas (Eds.), Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) Co-Located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, CEUR-WS.org, 2013.
LibreCat
S. Goetz, J. Mendez, V. Thost, A.-Y. Turhan, in: M. Rodriguez-Muro, S. Jupp, K. Srinivas (Eds.), Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) Co-Located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, CEUR-WS.org, 2013.
2013 | Conference Paper | LibreCat-ID: 56536
Most Specific Generalizations w.r.t. General EL-TBoxes
B. Zarrieß, A.-Y. Turhan, in: F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, 2013, pp. 1191–1197.
LibreCat
B. Zarrieß, A.-Y. Turhan, in: F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, 2013, pp. 1191–1197.
2013 | Conference Paper | LibreCat-ID: 55046
SAIM–One step closer to zero-configuration link discovery
K. Lyko, K. Höffner, R. Speck, A.-C.N. Ngomo, J. Lehmann, in: The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers 10, 2013, pp. 167–172.
LibreCat
K. Lyko, K. Höffner, R. Speck, A.-C.N. Ngomo, J. Lehmann, in: The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers 10, 2013, pp. 167–172.
2013 | Conference Paper | LibreCat-ID: 55048
On Caching for Local Graph Clustering Algorithms
R. Speck, A.-C. Ngonga Ngomo, in: AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings 26, 2013, pp. 56–67.
LibreCat
R. Speck, A.-C. Ngonga Ngomo, in: AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings 26, 2013, pp. 56–67.
2013 | Journal Article | LibreCat-ID: 55050
Annotation Tool
A.-C.N. Ngomo, N. Heino, R. Speck, T. Ermilov, G. Tsatsaronis, BioASQ Deliverable D 3 (2013) 3.
LibreCat
A.-C.N. Ngomo, N. Heino, R. Speck, T. Ermilov, G. Tsatsaronis, BioASQ Deliverable D 3 (2013) 3.
2013 | Book Chapter | LibreCat-ID: 57273
Students’ use of variables and examples in their transition from generic proof to formal proof
R. Biehler, L. Kempen, in: B. Ubuz (Ed.), Proceedings of the 8th Congress of the European Society for Research in Mathematics Education (CERME 8) Antalya February 2013, 2013, pp. 86–95.
LibreCat
| Download (ext.)
R. Biehler, L. Kempen, in: B. Ubuz (Ed.), Proceedings of the 8th Congress of the European Society for Research in Mathematics Education (CERME 8) Antalya February 2013, 2013, pp. 86–95.