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 
Activity
A. Abdalla, Hu, Y., Carral, D., Li, N., and Janowicz, K., An Ontology Design Pattern for Activity Reasoning, in Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 19, 2014., 2014, pp. 78–81.PDF icon An Ontology Design Pattern for Activity Reasoning.pdf (197.64 KB)
Biodiversity
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.PDF icon A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB)
description logics
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, 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.PDF icon A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 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)
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)
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, Krisnadhi, A., Rudolph, S., and Hitzler, P., All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles, in Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014., 2014, vol. 1265, pp. 97-108.PDF icon All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 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)
Horn Logics
D. Carral, Krisnadhi, A., Rudolph, S., and Hitzler, P., All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles, in Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014., 2014, vol. 1265, pp. 97-108.PDF icon All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
Map Scaling
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.PDF icon An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)

Pages