Publications

Export 38 results:
Filters: Author is David Carral  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Reasoning
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)
Rewriting
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)
Rules
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)
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)
Tractable Reasoning
D. Carral, Feier, C., Grau, B. Cuenca, Hitzler, P., and Horrocks, I., “Pushing the Boundaries of Tractable Ontology Reasoning”, in The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, 2014, pp. 148–163.PDF icon Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
D. Carral, Feier, C., Romero, A. Armas, Grau, B. Cuenca, Hitzler, P., and Horrocks, I., “Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs”, in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., 2014, pp. 128–140.PDF icon Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
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)
Trajectory
Y. Hu, Janowicz, K., Carral, D., Scheider, S., Kuhn, W., Berg-Cross, G., Hitzler, P., Dean, M., and Kolas, D., “A Geo-ontology Design Pattern for Semantic Trajectories”, in Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings, 2013, pp. 438–456.PDF icon A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)

Pages