Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

26 résultats
Image document

Simple Schemas for Unordered XML

Iovka Boneva , Radu Ciucanu , Slawomir Staworko
16th International Workshop on the Web and Databases (WebDB), Jun 2013, New York, United States
Communication dans un congrès hal-00824459v1
Image document

Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés

Iovka Boneva
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français. ⟨NNT : ⟩
Thèse tel-00613198v1
Image document

Relational to RDF Data Exchange in Presence of a Shape Expression Schema

Iovka Boneva , Jose Martin Lozano Aparicio , Sławek Staworko
AMW 2018 - 12th Alberto Mendelzon International Workshop on Foundations of Data Management, May 2018, Cali, Colombia. pp.1-16
Communication dans un congrès hal-01775199v1
Image document

Semantics and Validation of Shapes Schemas for RDF

Iovka Boneva , Jose G Labra Gayo , Eric G Prud 'Hommeaux
ISWC2017 - 16th International semantic web conference, Oct 2017, Vienna, Austria
Communication dans un congrès hal-01590350v1
Image document

Semi Automatic Construction of ShEx and SHACL Schemas

Iovka Boneva , Jérémie Dusart , Daniel Fernández Alvarez , Jose Emilio Labra Gayo
2019
Pré-publication, Document de travail hal-02193275v1
Image document

When Ambients Cannot be Opened

Iovka Boneva , Jean-Marc Talbot
Proceedings of Sixth International Conference on Foundations of Software Science and Computation Structures, 2003, Warsaw, Poland. pp.169 -- 184
Communication dans un congrès inria-00536732v1
Image document

Static Analysis of Graph Database Transformations

Iovka Boneva , Benoit Groz , Jan Hidders , Filip Murlak , Slawomir Staworko
Symposium on Principles of Database Systems, Jun 2023, Seattle, United States
Communication dans un congrès hal-03937274v2
Image document

Comparative expressiveness of ShEx and SHACL (Early working draft)

Iovka Boneva
2016
Pré-publication, Document de travail hal-01288285v1
Image document

Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata

Iovka Boneva , Joachim Niehren , Momar Sakho
CSR 2020 - 15th International Computer Science Symposium in Russia, Jun 2020, Ekaterinburg, Russia
Communication dans un congrès hal-02532706v2
Image document

Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints

Iovka Boneva , Lawek Staworko , Jose Lozano
2021
Pré-publication, Document de travail hal-03474916v1

ShExML: improving the usability of heterogeneous data mapping languages for first-time users

Herminio García-González , Iovka Boneva , Sławek Staworko , José Emilio Labra-Gayo , Juan Manuel Cueva Lovelle
PeerJ Computer Science, 2020, 6, pp.27. ⟨10.7717/peerj-cs.318⟩
Article dans une revue hal-03110745v1
Image document

Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints

Iovka Boneva , Sławek Staworko , Jose Martin Lozano Aparicio
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints, pp.97-107, 2020, ADBIS 2020: New Trends in Databases and Information Systems, ⟨10.1007/978-3-030-54623-6_9⟩
Chapitre d'ouvrage hal-03110741v1
Image document

View update translation for XML

Iovka Boneva , Benoit Groz , Sophie Tison , Anne-Cécile Caron , Yves Roos , et al.
14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden
Communication dans un congrès inria-00534857v2
Image document

The view update problem for XML

Slawomir Staworko , Iovka Boneva , Benoit Groz
2010 EDBT/ICDT Workshops, Mar 2010, Lausanne, Switzerland. ⟨10.1145/1754239.1754262⟩
Communication dans un congrès inria-00536503v1
Image document

Automata and Logics for Unranked and Unordered Trees

Iovka Boneva , Jean-Marc Talbot
20th International Conference on Rewriting Techniques and Applications, 2005, Nara, Japan. pp.500--515
Communication dans un congrès inria-00536694v1
Image document

Graph Data Exchange with Target Constraints

Iovka Boneva , Angela Bonifati , Radu Ciucanu
EDBT/ICDT Workshops - Querying Graph Structured Data (GraphQ), Mar 2015, Bruxelles, Belgium. pp.171-176
Communication dans un congrès hal-01095838v1
Image document

Regular Matching and Inclusion on Compressed Tree Patterns with Constrained Context Variables

Iovka Boneva , Joachim Niehren , Momar Sakho
Information and Computation, 2022, 286, ⟨10.1016/j.ic.2021.104776⟩
Article dans une revue hal-03151014v1

Schemas for Unordered XML on a DIME

Iovka Boneva , Radu Ciucanu , Slawomir Staworko
Theory of Computing Systems, 2015, 57 (2), pp.337--376. ⟨10.1007/s00224-014-9593-1⟩
Article dans une revue hal-01076329v1
Image document

Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version)

Iovka Boneva , Joachim Niehren , Momar Sakho
2018
Pré-publication, Document de travail hal-01846016v1
Image document

Shape Designer for ShEx and SHACL Constraints

Iovka Boneva , Jérémie Dusart , Daniel Fernández Alvarez , Jose Emilio Labra Gayo
ISWC 2019 - 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand. 2019
Poster de conférence hal-02268667v1
Image document

Complexity and Expressiveness of ShEx for RDF

Slawomir Staworko , Iovka Boneva , Jose Emilio Labra Gayo , Samuel Hym , Eric Gordon Prud'Hommeaux , et al.
18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.195⟩
Communication dans un congrès hal-01218552v1
Image document

Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables

Iovka Boneva , Joachim Niehren , Momar Sakho
LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint Petersburg, Russia
Communication dans un congrès hal-01811835v4
Image document

ShERML: Mapping Relational Data to RDF *

Iovka Boneva , Slawomir Staworko , Jose Lozano
Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, Industry, and Outrageous Ideas) co-located with 18th International Semantic Web Conference (ISWC 2019), Oct 2019, Auckland, New Zealand
Communication dans un congrès hal-03516713v1
Image document

Expressiveness of a spatial logic for trees

Iovka Boneva , Jean-Marc Talbot , Sophie Tison
20th Annual IEEE Symposium on Logic in Computer Science, 2005, Chicago, United States. pp.280--289
Communication dans un congrès inria-00536696v1

Validating RDF Data

Jose Emilio Labra Gayo , Eric Prud'Hommeaux , Iovka Boneva , Dimitris Kontokostas
Morgan & Claypool, 7 (1), pp.1 - 328, 2017, ⟨10.2200/S00786ED1V01Y201707WBE016⟩
Ouvrages hal-01667426v1

When Ambients Cannot be Opened

Iovka Boneva , Jean-Marc Talbot
Theoretical Computer Science, 2005, 2 (333), pp.127-169. ⟨10.1016/j.tcs.2004.10.020⟩
Article dans une revue istex inria-00536689v1