• No results found

[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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

Show all 10000 documents...