Filters








351 Hits in 5.7 sec

Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics [article]

Mourad Ouziri, Mourad Ouzirri
2021 arXiv   pre-print
In this paper, we address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases.  ...  Considering the data part of the Knowledge Base as the source of inconsistency over time, we propose an ABox repair approach. This is the first work handling the repair in TDL Knowledge bases.  ...  So far, query answering has been extended to the temporal setting in light-weight DLs over inconsistent data, allowing both rigid concepts and roles whose interpretations do not change over time and different  ... 
arXiv:2108.12149v2 fatcat:2ddzacmp6jgjldkjuquirzhbtm

Special issue of the Journal of Web Semantics on ontology-based data access

Diego Calvanese, Manolis Koubarakis, David Toman
2015 Journal of Web Semantics  
The general goal of the authors is both to study DL-based frameworks that are inconsistency-tolerant, and to devise techniques for answering unions of conjunctive queries under such inconsistency-tolerant  ...  The paper "Inconsistency-tolerant Query Answering in Ontologybased Data Access" by Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo addresses the problem of dealing  ...  The paper ''Complexity of Answering Counting Aggregate Queries over DL-Lite'' by Egor V. Kostylev and Juan L.  ... 
doi:10.1016/j.websem.2015.06.001 fatcat:uqfd6zdr7vayvei2ylpuy7lzhy

Semantic Technologies for Situation Awareness

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
2020 Künstliche Intelligenz  
The general idea was to formalize situations as ontology-mediated queries, but in order to express the relevant situations, both the employed ontology language and the query language had to be extended  ...  The project "Semantic Technologies for Situation Awareness" was concerned with detecting certain critical situations from data obtained by observing a complex hard- and software system, in order to trigger  ...  ) and for a practical reasoning procedure for query answering in DL-Lite augmented with a concrete domain over the real numbers [1] .  ... 
doi:10.1007/s13218-020-00694-3 fatcat:xcoxluhqdvbjvfbelzrrjesvpi

Ontology-mediated query answering over temporal and inconsistent data

Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan, Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc, Daniele Dell Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc
2019 Semantic Web Journal  
Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontologymediated query answering.  ...  We also provide two approaches toward practical algorithms for inconsistency-tolerant temporal query answering.  ...  Temporal query answering over inconsistent data We extend the three inconsistency-tolerant semantics to temporal query answering.  ... 
doi:10.3233/sw-180337 fatcat:pbbc4lt7cfdfzdxysfo5lu5oga

Ontologies and Data Management: A Brief Survey

Thomas Schneider, Mantas Šimkus
2020 Künstliche Intelligenz  
In order to align and complete data, systems may rely on taxonomies and background knowledge that are provided in the form of an ontology.  ...  Information systems have to deal with an increasing amount of data that is heterogeneous, unstructured, or incomplete.  ...  Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long  ... 
doi:10.1007/s13218-020-00686-3 pmid:32999532 pmcid:PMC7497697 fatcat:zeskjfjrpvcojjh6q3yjzhlyci

Verification of Semantically-Enhanced Artifact Systems [chapter]

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013 Lecture Notes in Computer Science  
In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.  ...  This technique has been implemented in a tool that exploits state-of-the-art ontology-based data access technologies to manipulate the temporal properties according to the ontology and the mappings, and  ...  Technically, OWL 2 QL is based on the description logic DL-Lite R , which is a member of the DL-Lite family [8] , designed specifically for effective ontology-based data access, and which we adopt in  ... 
doi:10.1007/978-3-642-45005-1_51 fatcat:qghxik7uxre2xjfh42yigug2re

Spatial Ontology-Mediated Query Answering over Mobility Streams [chapter]

Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider
2017 Lecture Notes in Computer Science  
To fill this gap, we present an approach in the context of ontology-mediated query answering that features conjunctive queries over DL-LiteA ontologies allowing spatial relations and window operators over  ...  At present, the LDM approach is purely database-oriented with simple query capabilities, while an elaborate domain model as captured by an ontology and queries over data streams that allow for semantic  ...  To realize spatial query answering (QA) over mobility streams, spatial and streaming data must be lifted to the setting of ontology-mediated QA with the frequently used ontology language DL-Lite A .  ... 
doi:10.1007/978-3-319-58068-5_14 fatcat:62xb6utr3fg65l4iy7lov6e2fa

Query Rewriting for Ontology-Mediated Conditional Answers

Medina Andresel, Magdalena Ortiz, Mantas Simkus
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
We show that querying in this powerful formalism often has no higher worst-case complexity than in plain OMQs, and that these queries are first-order rewritable for DL-Liteℛ.  ...  This is remarkable, as closed predicates are a very useful extension of OMQs, but they usually make query answering intractable in data complexity, even in very restricted settings.  ...  For that reason, we incorporate the inconsistency check as part of the rewritten query. Definition 6 (Inconsistency CQs). For any given DL-Lite R TBox T , let α ∈ neg(T ).  ... 
doi:10.1609/aaai.v34i03.5660 fatcat:g5eenr3mijg6rj5labpnpnstru

Temporal Query Answering in the Description Logic DL-Lite [chapter]

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
2013 Lecture Notes in Computer Science  
Ontology-based data access (OBDA) generalizes query answering in relational databases.  ...  We propose a temporal query language that combines a linear temporal logic with queries over DL-Litecore-ontologies.  ...  Conclusions We have introduced the reasoning task of temporal OBDA over DL-Lite knowledge bases and shown how to reduce this task to answering queries over temporal databases, similar to what was done  ... 
doi:10.1007/978-3-642-40885-4_11 fatcat:cvqqz47acrgifjiuc27j2bhdea

Inconsistency Management in Generalized Knowledge and Action Bases

Diego Calvanese, Marco Montali, Ario Santoso
2015 International Workshop on Description Logics  
This research has been partially supported by the EU IP project Optique (Scalable End-user Access to Big Data), grant agreement n.  ...  Setting We use DL-Lite A [8, 6] to express KBs, and consider queries such as EQL-Lite(UCQ) (briefly ECQs) [7] , to access KBs and extract individuals of interest.  ...  We adopt the functional approach by [21] in defining the semantics of action execution over G, i.e., we assume G provides two operations: (i) ASK, to answer queries over the current KB; (ii) TELL, to  ... 
dblp:conf/dlog/CalvaneseMS15 fatcat:njcfk4owirdt5onre6aqew6uhm

Mastro at Work: Experiences on Ontology-Based Data Access

Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella
2010 International Workshop on Description Logics  
query answering, which is the most important service required in the application.  ...  The project confirmed the importance of several distinguished features of DL-Lite A,Id to express the ontology and has shown very good performance of the MASTRO system in all the reasoning tasks, including  ...  In DL-Lite A,Id , inconsistencies are caused by data that violate the assertions of the ontology, specifically disjointness assertions, functionality constraints, identification constraints, and EQL constraints  ... 
dblp:conf/dlog/SavoLLPRRRS10 fatcat:ouwmwyz2gba4vovjb233eqs5vm

Event Detection and Diagnosis for Intelligent Transport Systems

Patrik Schneider
2017 International Web Rule Symposium  
and spatio-temporal data.  ...  This characteristics are not only relevant fo the C-ITS domain, but also exits in other fields such as robotics or geospatial analysis.  ...  For this, we aim (a) to define a data model and query language suited for spatial data streams; (b) to extend the semantics for query answering with DL-Lite including window operators and aggregates over  ... 
dblp:conf/ruleml/Schneider17 fatcat:e4ae4odhqfa6fmgknrxvfhsjjm

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries [article]

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022 arXiv   pre-print
Aiming at ontology-based data access to temporal data, we design two-dimensional temporal ontology and query languages by combining logics from the (extended) DL-Lite family with linear temporal logic  ...  In terms of circuit complexity, FOE- and FO(RPR)-rewritability guarantee answering OMQs in uniform AC0 and NC1, respectively. We proceed in three steps.  ...  Acknowledgements This research was supported by the EPSRC UK grants EP/M012646 and EP/M012670 for the joint project 'quant MD : Ontology-Based Management for Many-Dimensional Quantitative Data', by the  ... 
arXiv:2111.06806v2 fatcat:dn3sjs3hvngk7jfpri7frhntfu

Temporal OBDA with LTL and DL-Lite

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 International Workshop on Description Logics  
We investigate various types of query rewriting over ontologies given in the standard temporal logic LTL as well as combinations of LTL with DL-Lite logics.  ...  data given on the automaton tape.  ...  In this paper, we launch a more systematic investigation of various types of query rewritability over temporal extensions of DL-Lite logics.  ... 
dblp:conf/dlog/ArtaleKKRWZ14 fatcat:7jzf7lwobze23cwrsrp2wf2lp4

Verification of Semantically-Enhanced Artifact Systems (Extended Version) [article]

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013 arXiv   pre-print
In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.  ...  This technique has been implemented in a tool that exploits state-of-the-art ontology-based data access technologies to manipulate the temporal properties according to the ontology and the mappings, and  ...  Technically, OWL 2 QL is based on the description logic DL-Lite R , which is a member of the DL-Lite family [8] , designed specifically for effective ontology-based data access, and which we adopt in  ... 
arXiv:1308.6292v1 fatcat:hqxxzh2urbgpxe3o2yswym5baa
« Previous Showing results 1 — 15 out of 351 results