Publications

Export 4 results:
Filters: Author is David Carral and First Letter Of Keyword is R  [Clear All Filters]
2017
D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.PDF icon PhD Dissertation Carral.pdf (578.29 KB)
2014
D. Carral, Feier, C., Grau, B. Cuenca, Hitzler, P., and Horrocks, I., “EL-ifying Ontologies”, in 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, pp. 464–479.PDF icon EL-ifying Ontologies.pdf (581.68 KB)
2012
D. Carral and Hitzler, P., “Extending Description Logic Rules”, in The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, 2012, pp. 345–359.PDF icon Extending Description Logic Rules.pdf (360.84 KB)
M. Knorr, Carral, D., Hitzler, P., Krisnadhi, A., Maier, F., and Wang, C., “Recent Advances in Integrating OWL and Rules”, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.PDF icon Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)