Publications
, “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.
An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 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), “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), “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. Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB), “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. Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
Recent Advances in Integrating OWL and Rules.pdf (175.88 KB), “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.
, “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. Towards an Efficient Algorithm to Reason over Description Logics extended with Nominal Schemas.pdf (327.39 KB)
Towards an Efficient Algorithm to Reason over Description Logics extended with Nominal Schemas.pdf (327.39 KB), “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. Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB), “Rule-based OWL Modeling with ROWLTab Protege Plugin”. 2017. main.pdf (423.27 KB)
main.pdf (423.27 KB), “Reasoning Approaches for Nominal Schemas”, vol. Poster and Demonstration Proceedings. JIST, Nara, Japan, 2012.
, “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), “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)