Publications

Found 27 results
Filters: Author is David Carral  [Clear All Filters]
2014
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.
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.
2013
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.
D. Carral, Scheider, S., Janowicz, K., Vardeman, C., Krisnadhi, A., and Hitzler, P., An Ontology Design Pattern for Cartographic Map Scaling, in The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings, 2013, vol. 7882, pp. 76–93.
C. Wang, Carral, D., and Hitzler, P., SROIQ Syntax Approximation by Using Nominal Schemas, in Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013, pp. 988–999.
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.
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.
D. Carral, Krisnadhi, A., and Hitzler, P., Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas, in Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, 2012, vol. 849.
D. Carral, Joshi, A. Krishna, Krisnadhi, A., Mutharaju, R., Sengupta, K., and Wang, C., Konf Connect, in Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012), Lyon, France, 2012.
D. Carral, Janowicz, K., and Hitzler, P., A logical geo-ontology design pattern for quantifying over types, in SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012, 2012, pp. 239–248.
C. Wang, Krisnadhi, A., Carral, D., and Hitzler, P., Reasoning Approaches for Nominal Schemas, vol. Poster and Demonstration Proceedings. JIST, Nara, Japan, 2012.
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.

Pages