Publications

Export 1 results:
Filters: Keyword is EL++  [Clear All Filters]
2013
D. Carral, Wang, C., and Hitzler, P., “Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas”, in Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, 2013, pp. 65–79.PDF icon Towards an Efficient Algorithm to Reason over Description Logics extended with Nominal Schemas.pdf (327.39 KB)