[PDF] Top 20 Temporal description logic for ontology based data access

... Note that the addition of the transitive relation < to the ABox is unavoidable: without it, there exists no first-order rewriting even for the simple example above [Libkin, 2004, Cor. 4.13]. From a technical ... See full document

... instance data are time stamped , while the ontology formulates time independent constraints that de- scribe how the extensions of concepts and roles can change over ...the temporal DL literature, a ... See full document

... the logic-based approach to knowledge repre- sentation, where logical theories are employed to represent knowledge, and reasoning is required to unlock that knowl- edge for ...the ontology T is ... See full document

... the ontology as two components of one composite query, which we call an ontology-mediated ...answering ontology-mediated ...an ontology language that is either a description ... See full document

... with access to the data store via the use of a domain specific vocabulary of classes, ...the data by ...an ontology, e.g., the ontology may say that each layer of chalk rock has a ... See full document

... Do you like movies? Do you want to know more about stars, directors, writers, casts, etc.? Then you should probably query IMDb, the Internet Movie Database available at www.imdb.com. You do not know how to use databases. ... See full document

... ditional data is stored and used for query ...the data may actually be extended, the DB engine can, for efficiency reasons, ...the data, ontology and mapping, or, in DB parlance, to chase the ... See full document

... One paradigm shift is industry is adding semantics to IoT. As suggested by Berners-Lee et al. in their landmark article about the Semantic Web[2], “developments will usher in significant new functionality as machines ... See full document

... query temporal data in the OBDA framework, extensions of conjunctive queries with operators from linear temporal logic (LTL) have been considered and well-investigated as temporal ... See full document

... interpreting data into actionable business ...integrate data and then let domain experts apply predefined ...of data, domain experts need to extract and analyse the data of interest ...recent ... See full document

... In the following examples, we use a geographic database with data about inhabitance control in Paraiba state (stored in PostGIS). Its scheme was previously mapped to a peer ontology representation. ... See full document

... Ontology-based data access (OBDA), one of the most promis- ing applications of description logics, has recently been touted as a key ingredient in data stream management systems ... See full document

... modern temporal databases adopt the (downward hered- itary) interval-based model of time (Kulkarni and Michels 2012) and use coalescing to group time points into inter- vals (B¨ohlen, Snodgrass, and Soo ... See full document

... The description logic languages are the heart of Knowledge Representation ...(Description Logic) languages enable to formally describe the terminology with different expressive capabilities to ... See full document

... Ontology-based data access (OBDA for short) offers a different workflow that excludes the IT mid- dleman from data gathering (Poggi, Lembo, Calvanese, De Giacomo, Lenzerini, & ... See full document

... to temporal OBDA is to use OWL 2 QL as an ontology language, assuming that ontology axioms hold at all times, and extend the query language with various temporal operators (Gutiérrez-Basulto ... See full document

... Practical ontology-mediated query answering with temporal ontologies based on the Halpern–Shoham interval temporal logic, HS (Halpern and Shoham, 1991) was investigated by Kontchakov et ... See full document

... for ontology-based data access (OBDA) with tempo- ral operators in a way preserving first-order rewritability of conjunctive ...for temporal data. In applications, instance ... See full document

... in temporal interpretations that are Cartesian products of object domains and the flow of time ( Z , ...in temporal databases [Chomicki et ...using temporal ABoxes, that a finite number of concept ... See full document

... of data arriving in rapid, time-varying and continuous ...the data (continuous ...be based on an ordered field ...arrived data is maintained, meaning that old data must be removed as ... See full document