Publications
, “Seed Patterns for Modeling Trees”, in Advances in Pattern-Based Ontology Engineering, IOS Press, 2021, pp. 48-67.
Seed_Patterns_for_Modeling_Trees.pdf (568.59 KB)
Seed_Patterns_for_Modeling_Trees.pdf (568.59 KB), “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017. PhD Dissertation Carral.pdf (578.29 KB)
PhD Dissertation Carral.pdf (578.29 KB), “On the Ontological Modeling of Trees”, in 8th Workshop on Ontology Design and Patterns - WOP2017, 2017. wop2017-trees.pdf (495.86 KB)
wop2017-trees.pdf (495.86 KB), “Rule-based OWL Modeling with ROWLTab Protege Plugin”. 2017. main.pdf (423.27 KB)
main.pdf (423.27 KB), “Collected Research Questions Concerning Ontology Design Patterns”, in Ontology Engineering with Ontology Design Patterns: Foundations and Applications, Amsterdam: IOS Press, 2016. 09-research-questions.pdf (309.67 KB)
09-research-questions.pdf (309.67 KB), “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.
, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, OH, USA, 2016. PhD-thesis-final.pdf (556 KB)
PhD-thesis-final.pdf (556 KB), “Modeling OWL with Rules: The ROWL Protege Plugin”, Kobe, Japan, 2016. ROWL.pdf (184.79 KB)
ROWL.pdf (184.79 KB), “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. 2016-iswc-acyclicity.pdf (425.83 KB)
2016-iswc-acyclicity.pdf (425.83 KB), “The Combined Approach to Query Answering Beyond the OWL 2 Profiles”, in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015. The Combined Approach and Beyond.pdf (360.46 KB)
The Combined Approach and Beyond.pdf (360.46 KB), “Extending the Combined Approach Beyond Lightweight Description Logics”, in Proceedings of the 28th International Workshop on Description Logics (DL), 2015. QA beyond Lightweight DLs.pdf (479.6 KB)
QA beyond Lightweight DLs.pdf (479.6 KB), “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.
, “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. WOP2015_pattern_abstract_5.pdf (285.11 KB)
WOP2015_pattern_abstract_5.pdf (285.11 KB), “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. All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB), “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. EL-ifying Ontologies.pdf (581.68 KB)
EL-ifying Ontologies.pdf (581.68 KB)