David Carral

2021
A. Eberhart, Carral, D., Hitzler, P., Lapp, H., and Rudolph, S., “Seed Patterns for Modeling Trees”, in Advances in Pattern-Based Ontology Engineering, IOS Press, 2021, pp. 48-67.PDF icon Seed_Patterns_for_Modeling_Trees.pdf (568.59 KB)
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)
D. Carral, Hitzler, P., Lapp, H., and Rudolph, S., “On the Ontological Modeling of Trees”, in 8th Workshop on Ontology Design and Patterns - WOP2017, 2017.PDF icon wop2017-trees.pdf (495.86 KB)
M. K. Sarker, Krisnadhi, A., Carral, D., and Hitzler, P., “Rule-based OWL Modeling with ROWLTab Protege Plugin”. 2017.PDF icon main.pdf (423.27 KB)
2016
K. Hammar, Blomqvist, E., Carral, D., van Erp, M., Fokkens, A., Gangemi, A., van Hage, W. Robert, Hitzler, P., Janowicz, K., Karima, N., Krisnadhi, A., Narock, T., Segers, R., Solanki, M., and Svatek, V., “Collected Research Questions Concerning Ontology Design Patterns”, in Ontology Engineering with Ontology Design Patterns: Foundations and Applications, Amsterdam: IOS Press, 2016.PDF icon 09-research-questions.pdf (309.67 KB)
G. Watts, Vardeman, C., Carral, D., and Hitzler, P., “The Detector Final State pattern: Using the Web Ontology Language to describe a Physics Analysis”, in Presented at the 17th International workshop on Advanced Computing and Analysis Techniques in physics research (ACAT), Valparaiso, Chile, January 2016., 2016.
D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, OH, USA, 2016.PDF icon PhD-thesis-final.pdf (556 KB)
M. K. Sarker, Carral, D., Krisnadhi, A., and Hitzler, P., “Modeling OWL with Rules: The ROWL Protege Plugin”, Kobe, Japan, 2016.PDF icon ROWL.pdf (184.79 KB)
D. Carral, Feier, C., and Hitzler, P., “A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies”, in The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part {I}, 2016, pp. 70–85.PDF icon 2016-iswc-acyclicity.pdf (425.83 KB)
2015
C. Feier, Carral, D., Stefanoni, G., Grau, B. Cuenca, and Horrocks, I., “The Combined Approach to Query Answering Beyond the OWL 2 Profiles”, in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015.PDF icon The Combined Approach and Beyond.pdf (360.46 KB)
C. Feier, Carral, D., Stefanoni, G., Grau, B. Cuenca, and Horrocks, I., “Extending the Combined Approach Beyond Lightweight Description Logics”, in Proceedings of the 28th International Workshop on Description Logics (DL), 2015.PDF icon QA beyond Lightweight DLs.pdf (479.6 KB)
P. Obrien, Carral, D., Mixter, J., and Hitzler, P., “An Ontology Design Pattern for Data Integration in the Library Domain”, in Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, PA, USA, October 11, 2015, 2015.
D. Carral, Cheatham, M., Dallmeir-Tiessen, S., Herterich, P., Hildreth, M. D., Hitzler, P., Krisnadhi, A., Lassila-Perini, K., Sexton-Kennedy, E., Vardeman, C., and Watts, G., “An Ontology Design Pattern for Particle Physics Analysis”, in Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA, October 11, 2015, 2015, vol. 1461.PDF icon WOP2015_pattern_abstract_5.pdf (285.11 KB)
2014
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., 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)

Pages