8 Hits in 8.3 sec

Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)

Camille Bourgaux, Ana Ozaki
2019 International Workshop on Description Logics  
This extended abstract gives an overview of our work [1] , published at AAAI 2019, on query answering in attributed description logics using provenance semirings.  ...  Provenance semirings-based semantics We study query entailment in attributed DL-Lite using a provenance semiring-based semantics.  ... 
dblp:conf/dlog/BourgauxO19 fatcat:acd3pcyuknd45crenqkjxh42vi

Querying Attributed DL-Lite Ontologies Using Provenance Semirings

Camille Bourgaux, Ana Ozaki
In this work, we first investigate the complexity of satisfiability and query answering for attributed DL-LiteR ontologies.  ...  We then propose a new semantics, based on provenance semirings, for integrating provenance information with query answering.  ...  We thank Stefan Borgwardt and an anonymous reviewer for pointing us to useful references. Partially supported by ANR-16-CE23-0007-01 ("DICOS").  ... 
doi:10.1609/aaai.v33i01.33012719 fatcat:k6qy5fl7lffitjyw6j5w7gvhzy

Enriching Ontology-based Data Access with Provenance

Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Penaloza, Guohui Xiao
2019 Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence  
To regain finiteness, we consider idempotent semirings, and study the complexity in the case of DL-LiteR ontologies.  ...  provenance of a query entailed by a provenance annotated OBDA instance.  ...  This differs from the approach proposed for attributed DL-Lite R [Bourgaux and Ozaki, 2019] , where the inclusions are used to express constraints on the provenance information.  ... 
doi:10.24963/ijcai.2019/224 dblp:conf/ijcai/CalvaneseLOP019 fatcat:xicovcfi65ei5ir6xjcdeqfmqe

Inconsistency Measurement for Improving Logical Formula Clustering

Yakoub Salhi
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
We first use a postulate-based approach for introducing an intuitive framework for formula clustering.  ...  The main idea consists in using the measures for quantifying the quality of the inconsistent clusters.  ...  Provenance semirings serve as an abstract algebraic tool to record and track provenance information; that is, to keep track of the specific database tuples used for deriving the query, and of the way they  ... 
doi:10.24963/ijcai.2020/258 dblp:conf/ijcai/BourgauxOPP20 fatcat:jwtqso62kjh3bcgtmjztswhchu

Using provenance to debug changing ontologies

Simon Schenk, Renata Dividino, Steffen Staab
2011 Journal of Web Semantics  
large and expressive ontologies, such as used in biomedical portals.  ...  Providing and reasoning with rich provenance data for expressive ontology languages, however, is a non-trivial task.  ...  Section 3 introduces the foundations for provenance computation: first we briefly introduce an extension of the description logic DL, called SRIQ(D), underlying OWL lite and OWL DL, followed by the formalization  ... 
doi:10.1016/j.websem.2011.06.009 fatcat:5dkguhyaevgaflzysufih2vyju

OASIcs, Volume 99, AIB 2022, Complete Volume [article]

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
Querying attributed dl-lite ontologies using provenance semirings. In AAAI, pages 2719-2726. AAAI Press, 2019.  ...  of DL-Lite (more precisely, SPARQL queries with OWL 2 QL entailment), and (3) polynomial data complexity.  ...  This is different from the typical SRL scenario, where the purpose is not to generate full graphs according the distribution P V , but to answer queries of the form (15) .  ... 
doi:10.4230/oasics.aib.2022 fatcat:tkqywbbezjdfzfgde5wpozyfvi

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)

Felix Freiling, Dirk Heckmann, Radim Polcák, Joachim, Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, Hideki Tsuiki, Serge Abiteboul, Alin Deutsch, Thomas Schwentick (+1 others)
2011 unpublished
DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language.  ...  Evolution of Knowledge Bases: DL-Lite case We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family.  ...  Second is the RDF data model, with its associated query language SPARQL. They are used for modeling/querying semantic Web data (ontologies), but also classical semistructured data.  ... 

LIPIcs, Volume 98, ICDT'18, Complete Volume [article]

Benny Kimelfeld, Yael Amsterdamer
We are also grateful to Holger Dell for pointing us to Theorem 9 and providing us with a proof sketch.  ...  We acknowledge the many useful comments of the anonymous reviewers for ICDT 2018 that helped us to significantly improve the structure and presentation of the paper.  ...  For instance, the DL-Lite family of DLs is popular because they often support rewritability into first-order (FO) queries [10] .  ... 
doi:10.4230/lipics.icdt.2018 fatcat:iaf5nc6cunacfluh2qhhot55ry