Publications of David Carral

From International Center for Computational Logic
Toggle side column

Publications of David Carral


Proceedings Articles

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), to appear
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract
Proceedings of the 30st International Workshop on Description Logics (DL 2017), July 2017
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
In Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig, eds., The Semantic Web, 14th International Conference, ESWC 2017, Portorovz, Slovenia. Proceedings., volume 10249 of Lecture Notes in Computer Science, 419--433, 2017. Springer
Details Download

David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer
Details Download

David Carral, Michelle Cheatham, Sunje Dallmeier-Tiessen, Patricia Herterich, Michael Hildreth, Pascal Hitzler, Adila Krisnadhi, Kati Lassila-Perini, Elizabeth Sexton-Kennedy, Charles Vardeman, Gordon Watts
An Ontology Design Pattern for Particle Physics Analysis
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., 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., volume 1461 of CEUR Workshop Proceedings, October 2015. CERU-WS.org
Details Download

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina., 2971--2977, July 2015. AAAI Press
Details Download

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
Extending the Combined Approach Beyond Lightweight Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, Athens, Greece., volume 1350 of CEUR Workshop Proceedings, June 2015. CEUR-WS.org
Details Download

Patrick O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
An Ontology Design Pattern for Data Integration in the Library Domain
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., 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., volume 1461 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

Kamruzzaman Sarker, David Carral, Adila Krisnadhi, Pascal Hitzler
Modeling OWL with Rules: The ROWL Protege Plugin
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan., volume 1690 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

Amin Abdalla, Yingjie Hu, David Carral, Naicong Li, Krzysztof Janowicz
An Ontology Design Pattern for Activity Reasoning
In Victor de Boer, Aldo Gangemi, Krzysztof Janowicz, Agnieszka Lawrynowicz, eds., 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., volume 1302 of CEUR Workshop Proceedings, 78--81, October 2014. CEUR-WS.org
Details Download

David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
EL-ifying Ontologies
In Stephane Demri, Deepak Kapur, Christoph Weidenbach, eds., Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria. Proceedings, volume 8562 of Lecture Notes in Computer Science, 464--479, July 2014. Springer
Details Download

David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Pushing the Boundaries of Tractable Ontology Reasoning.
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandecic, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy. Proceedings, Part {II}, volume 8797 of Lecture Notes in Computer Science, 148--163, October 2014. Springer
Details Download

David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
In Maria Keet, Valentina Tamma, eds., 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., volume 1265 of CEUR Workshop Proceedings, 97--108, October 2014. CEUR-WS.org
Details Download

David Carral, Cristina Feier, Ana Armas-Romero, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, eds., Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria., volume 1193 of CEUR Workshop Proceedings, 128--140, July 2014. CEUR-WS.org
Details Download

David Carral, Cong Wang, Pascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
In Wolfgang Faber, Domenico Lembo, eds., Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany. Proceedings, volume 7994 of Lecture Notes in Computer Science, 65--79, July 2013. Springer
Details Download

David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Krisnadhi, Pascal Hitzler
An Ontology Design Pattern for Cartographic Map Scaling
In Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph, eds., The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France. Proceedings, volume 7882 of Lecture Notes in Computer Science, 76--93, May 2013. Springer
Details Download

Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
A Geo-ontology Design Pattern for Semantic Trajectories
In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood, eds., Spatial Information Theory - 11th International Conference, {COSIT} 2013, Scarborough, UK, . Proceedings, volume 8116 of Lecture Notes in Computer Science, 438-456, September 2013. Springer
Details Download

Cong Wang, David Carral, Pascal Hitzler
SROIQ Syntax Approximation by Using Nominal Schemas
In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds., Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany., volume 1014 of {CEUR} Workshop Proceedings, 988--999, July 2013. CEUR-WS.org
Details Download

David Carral, Pascal Hitzler
Extending Description Logic Rules
In Elena Simperl and Philipp Cimiano and Axel Polleres and Óscar Corcho and Valentina Presutti, eds., The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece. Proceedings, volume 7295 of Lecture Notes in Computer Science, 345--359, May 2012. Springer
Details Download

David Carral, Krzysztof Janowicz, Pascal Hitzler
A Logical Geo-Ontology Design Pattern for Quantifying over Types
In Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer, eds., SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL 12, Redondo Beach, CA, USA. Proceedings., 239-248, November 2012. ACM
Details Download

David Carral, Adila Krisnadhi, Pascal Hitzler
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
In Pavel Klinov, Matthew Horridge, eds., Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings, volume 849, May 2012. CEUR-WS.org
Details Download

Matthias Knorr, David Carral, Pascal Hitzler, Adila Krisnadhi, Frederick Maier, Cong Wang
Recent Advances in Integrating OWL and Rules
In Markus Krötzsch and Umberto Straccia, eds., Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria. Proceedings, volume 7497 of Lecture Notes in Computer Science, 225--228, September 2012. Springer
Details Download


Edited Proceedings

Eva Blomqvist, Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017)
Volume 2043 of CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details


Talks and Miscellaneous

David Carral
Reasoning with Horn DL Ontologies and Knowledge Graphs
Invited Talk at VU University Amsterdam, October 2018
Details

David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited talk, December 2018
Details