$\mathcal{EL}$ -ifying Ontologies

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08587-6_36 ◽

2014 ◽

pp. 464-479 ◽

Cited By ~ 6

Author(s):

David Carral ◽

Cristina Feier ◽

Bernardo Cuenca Grau ◽

Pascal Hitzler ◽

Ian Horrocks

Download Full-text