David Carral
David Carral
LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France
Geverifieerd e-mailadres voor inria.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A geo-ontology design pattern for semantic trajectories
Y Hu, K Janowicz, D Carral, S Scheider, W Kuhn, G Berg-Cross, P Hitzler, ...
International conference on spatial information theory, 438-456, 2013
1402013
An ontology design pattern for cartographic map scaling
D Carral, S Scheider, K Janowicz, C Vardeman, AA Krisnadhi, P Hitzler
Extended Semantic Web Conference, 76-93, 2013
492013
-ifying Ontologies
D Carral, C Feier, BC Grau, P Hitzler, I Horrocks
International Joint Conference on Automated Reasoning, 464-479, 2014
332014
An Ontology Design Pattern for Activity Reasoning.
A Abdalla, Y Hu, D Carral, N Li, K Janowicz
WOP, 78-81, 2014
232014
Collected research questions concerning ontology design patterns
E Blomqvist, M van Erp, A Fokkens, A Gangemi, WR van Hage, ...
Ontology Engineering with Ontology Design Patterns: Foundations and …, 2016
222016
Restricted Chase (Non) Termination for Existential Rules with Disjunctions.
D Carral, I Dragoste, M Krötzsch
IJCAI, 922-928, 2017
212017
Efficient model construction for horn logic with VLog
J Urbani, M Krötzsch, C Jacobs, I Dragoste, D Carral
International Joint Conference on Automated Reasoning, 680-688, 2018
202018
A logical geo-ontology design pattern for quantifying over types
DC Martínez, K Janowicz, P Hitzler
Proceedings of the 20th International Conference on Advances in Geographic …, 2012
202012
Extending description logic rules
DC Martinez, P Hitzler
Extended Semantic Web Conference, 345-359, 2012
192012
Vlog: A rule engine for knowledge graphs
D Carral, I Dragoste, L González, C Jacobs, M Krötzsch, J Urbani
International Semantic Web Conference, 19-35, 2019
182019
The combined approach to query answering in Horn-ALCHOIQ
D Carral, I Dragoste, M Krötzsch
KR, 339-348, 2018
182018
Rule-based OWL modeling with ROWLTab Protégé plugin
MK Sarker, A Krisnadhi, D Carral, P Hitzler
European Semantic Web Conference, 419-433, 2017
172017
Pushing the boundaries of tractable ontology reasoning
D Carral, C Feier, BC Grau, P Hitzler, I Horrocks
International Semantic Web Conference, 148-163, 2014
152014
From Horn-SRIQ to Datalog: A data-independent transformation that preserves assertion entailment
D Carral, L González, P Koopmann
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2736-2743, 2019
132019
The combined approach to query answering beyond the OWL 2 profiles
C Feier, D Carral, G Stefanoni, BC Grau, I Horrocks
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
102015
An ontology design pattern for particle physics analysis
D Carral, M Cheatham, S Dallmeier-Tiessen, P Herterich, MD Hildreth, ...
CEUR Workshop Proceedings 1461, 2015
102015
Chasing sets: How to use existential rules for expressive reasoning
D Carral, I Dragoste, M Krötzsch, C Lewe
Description Logics, 2019
82019
Preserving constraints with the stable chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolph
21st International Conference on Database Theory (ICDT 2018), 2018
82018
Towards an efficient algorithm to reason over description logics extended with nominal schemas
D Carral, C Wang, P Hitzler
International Conference on Web Reasoning and Rule Systems, 65-79, 2013
82013
Modeling OWL with rules: The ROWL protege plugin
M Sarker, D Carral, AA Krisnadhi, P Hitzler
arXiv preprint arXiv:1808.10104, 2018
72018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20