Takip et
David Carral
David Carral
Inria, LIRMM, University of Montpellier, CNRS
inria.fr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
A geo-ontology design pattern for semantic trajectories
Y Hu, K Janowicz, D Carral, S Scheider, W Kuhn, G Berg-Cross, P Hitzler, ...
Spatial Information Theory: 11th International Conference, COSIT 2013 …, 2013
1752013
Vlog: A rule engine for knowledge graphs
D Carral, I Dragoste, L González, C Jacobs, M Krötzsch, J Urbani
The Semantic Web–ISWC 2019: 18th International Semantic Web Conference …, 2019
842019
An ontology design pattern for cartographic map scaling
D Carral, S Scheider, K Janowicz, C Vardeman, AA Krisnadhi, P Hitzler
The Semantic Web: Semantics and Big Data: 10th International Conference …, 2013
632013
Restricted Chase (Non) Termination for Existential Rules with Disjunctions.
D Carral, I Dragoste, M Krötzsch
IJCAI, 922-928, 2017
422017
-ifying ontologies
D Carral, C Feier, B Cuenca Grau, P Hitzler, I Horrocks
International Joint Conference on Automated Reasoning, 464-479, 2014
382014
Efficient model construction for Horn logic with VLog: System description
J Urbani, M Krötzsch, C Jacobs, I Dragoste, D Carral
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
322018
An Ontology Design Pattern for Activity Reasoning.
A Abdalla, Y Hu, D Carral, N Li, K Janowicz
WOP, 78-81, 2014
292014
Materializing knowledge bases via trigger graphs
E Tsamoura, D Carral, E Malizia, J Urbani
arXiv preprint arXiv:2102.02753, 2021
262021
The combined approach to query answering in Horn-ALCHOIQ
D Carral, I Dragoste, M Krötzsch
KR, 339-348, 2018
262018
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
252012
Collected research questions concerning ontology design patterns
K Hammar, E Blomqvist, D Carral, M Van Erp, A Fokkens, A Gangemi, ...
Ontology Engineering with Ontology Design Patterns, 189-198, 2016
242016
Rule-based OWL modeling with ROWLTab Protégé plugin
MK Sarker, A Krisnadhi, D Carral, P Hitzler
The Semantic Web: 14th International Conference, ESWC 2017, Portorož …, 2017
212017
Extending description logic rules
D Carral Martínez, P Hitzler
Extended Semantic Web Conference, 345-359, 2012
212012
Chasing sets: How to use existential rules for expressive reasoning
D Carral, I Dragoste, M Krötzsch, C Lewe
Description Logics, 2019
202019
Pushing the boundaries of tractable ontology reasoning
D Carral, C Feier, BC Grau, P Hitzler, I Horrocks
The Semantic Web–ISWC 2014: 13th International Semantic Web Conference, Riva …, 2014
192014
The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
C Feier, D Carral, G Stefanoni, BC Grau, I Horrocks
IJCAI, 2971-2977, 2015
172015
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
152019
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), 12: 1-12: 19, 2018
152018
Capturing homomorphism-closed decidable queries with existential rules
C Bourgaux, D Carral, M Krötzsch, S Rudolph, M Thomazo
arXiv preprint arXiv:2107.07811, 2021
132021
An ontology design pattern for particle physics analysis
D Carral, M Cheatham, S Dallmeier-Tiessen, P Herterich, MD Hildreth, ...
CEUR Workshop Proceedings 1461, 2015
132015
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20