[PDF] Top 20 Querying log data with Metric Temporal Logic
Has 10000 "Querying log data with Metric Temporal Logic" found on our website. Below are the top 20 most common "Querying log data with Metric Temporal Logic".
Querying log data with Metric Temporal Logic
... 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, & Rosati, 2008); consult ... See full document
50
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
8
A cookbook for temporal conceptual data modelling with description logic
... conceptual data models (TCMs) extend CMs with means to represent constraints over temporal database ...instances. Temporal constraints can be grouped into three categories: timestamp- ing, evolution ... See full document
50
Reasoning over Streaming Data in Metric Temporal Datalog
... ing data, systems must compute results over received par- tial data as if the entire (infinite) stream had been ...on data that has not yet been received or which arrived far in the ...follows ... See full document
8
Online network intrusion detection system using temporal logic and stream data processing
... This fine-grained mechanism means that in an application there are many choices for running different components in parallel. The best way to implement the parallelism features require two important tasks need to be ... See full document
212
On decidability and tractability of querying in temporal EL
... to temporal data with TEL, a temporal extension of the tractable description logic ...both data and combined ...roles, temporal operators, and novel acyclicity conditions on the ... See full document
14
Ontology-Based Query Answering for Probabilistic Temporal Data
... linear temporal logic ...describe temporal concepts (Gabbay et ...itself temporal (Baader, Ghilardi, and Lutz ...to metric temporal logics (Baader et ...2017). Temporal ... See full document
8
Genetic Algorithm and Fuzzy Logic Based Flexible Querying in Databases
... right data in large databases, another proposed approach is the retrieval of data based on genetic ...of querying a database with the genetic algorithm approach is based on presenting the user with ... See full document
14
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
... instance data is often time-dependent: employment contracts come to an end, parlia- ments are elected, children are ...born. Temporal data can be modelled by pairs consisting of facts and their ... See full document
20
Querying Temporal Databases Using Controlled Natural Language
... in temporal database systems, which allow users to store time-dependent ...to temporal databases, based on translating nat- ural language questions into SQL/Temporal, a temporal database query ... See full document
5
Representing and Querying Multiple Ontologies with Contextual Logic Programming
... to querying a relational database, others which compute their results using regular Prolog predicates and yet others which resort to different mechanisms, for instance querying a web service using ... See full document
24
Zeno, Hercules, and the Hydra : safety metric temporal logic is ACKERMANN complete
... Metric temporal logic (MTL) is one of the most prominent specification formalisms for real-time systems. Over infinite timed words, full MTL is undecidable, but satisfiability for a syntactially ... See full document
28
Ontology based data access with a horn fragment of metric temporal logic
... 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 and Klarman ... See full document
8
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty
... verification. Metric Temporal Logic (MTL) by (Koymans 1990) extends the expressiveness of the well- known Linear Temporal Logic (LTL) (Emerson 1990) by adding metric intervals ... See full document
8
Optimizing metric access methods for querying and mining complex data types
... This policy aims at avoiding the lack of balance on the number of elements after a MST split [12]. It is based on the sum of distances of a traversal of the MST based on Prim’s algorithm to split the set. The idea is to ... See full document
14
On the expressiveness and monitoring of metric temporal logic
... with metric temporal logic formulas ...for metric temporal logics in the literature have certain syntactic or semantic limitations, ... See full document
53
Querying metric spaces with bit operations
... O(n log n), and a time requirement of O(log ...n log 2 n bits, which cannot cause any real problem for any context where any n objects are being stored - even if n is huge, log 2 n bits is ... See full document
14
Applications of flexible querying to graph data
... biological data (Goble and Stevens ...more data, leading to more extensive and more reliable analyses and, ultimately, new sci- entific ...Traditional data integration methodologies (Batini et al ... See full document
48
Backdoors for Linear Temporal Logic
... a temporal interpretation that satisfies the ...[4], temporal operator fragments, temporal depth, and number of propositional variables [8], the use of negation [27], an XOR fragment [11], an ... See full document
22
A Basic Introduction to DevOps Tools
... Sumo Logic is proprietary software which has the limit to store the log data daily; it is capable of storing log data of 28 days; log data is kept confidential in this ... See full document
5
Related subjects