262,114 Hits in 3.4 sec

A novel on-line spatial-temporal k-anonymity method for location privacy protection from sequence rules-based inference attacks

Haitao Zhang, Chenxue Wu, Zewei Chen, Zhao Liu, Yunhong Zhu, Kim-Kwang Raymond Choo
2017 PLoS ONE  
PLOS ONE | novel on-line spatial-temporal kanonymity method for location privacy protection from sequence rules-based inference attacks.  ...  Then we proposed a novel on-line spatial-temporal k-anonymity method that can resist such inference attacks.  ...  Conclusion Traditional privacy defense techniques cannot prevent inference attacks based on privacy-sensitive sequence rules mined from large-scale anonymity datasets.  ... 
doi:10.1371/journal.pone.0182232 pmid:28767687 pmcid:PMC5540611 fatcat:ctvlhu2m7bebneankpa7ousy2u

Temporal Events Detector for Pregnancy Care (TED-PC): A Rule-based Algorithm to Infer Gestational Age and Delivery Date from Electronic Health Records of Pregnant Women with and without COVID-19 [article]

Tianchu Lyu, Chen Liang, Jihong Liu, Berry Campbell, Peiyin Hung, Yi-Wen Shih, Nadia Ghumman, Xiaoming Li
2022 arXiv   pre-print
Objective: To develop a rule-based algorithm that detects temporal information of clinical events during pregnancy for women with COVID-19 by inferring gestational weeks and delivery dates from Electronic  ...  We developed a rule-based algorithm and performed a multi-level evaluation to test content validity and clinical validity of the algorithm; and extreme value analysis for individuals with <150 or >300  ...  Rule-based algorithm. We developed a rule-based algorithm to infer GA from EHR data (Figure 2 ).  ... 
arXiv:2205.02933v1 fatcat:mdvxspvravg3ncjyjrvpckgsei

Rule Based Temporal Inference

Melisachew Chekol, Heiner Stuckenschmidt
In such a graph, probabilistic query evaluation (marginal inference) and computing most probable explanations (MPE inference) are fundamental problems.  ...  Temporal facts coupled with confidence scores result in a probabilistic temporal knowledge graph.  ...  On the other hand, ProbLog is based on Sato's I C L P 2 0 1 7 T C s 4:10 Rule Based Temporal Inference distributional semantics and PSL is defined over hinge-loss Markov random fields.  ... 

Time Integration in Semantic Trajectories Using an Ontological Modelling Approach [chapter]

Rouaa Wannous, Jamal Malki, Alain Bouju, Cécile Vincent
2013 Advances in Intelligent Systems and Computing  
We propose a solution based on an ontological approach for modelling semantic trajectories integrating time information and rules.  ...  This article presents a case study of inference mechanism on semantic trajectories.  ...  The inference mechanism is based on rules defined as entailments. Finally, in [12] , domain or time inference mechanism are not proposed neither spatio-temporal data mining are not investigated.  ... 
doi:10.1007/978-3-642-32518-2_18 fatcat:m7gk27s6pnespnu6wkk32uoyty

Analysis of Trajectory Ontology Inference Complexity over Domain and Temporal Rules [chapter]

Rouaa Wannous, Jamal Malki, Alain Bouju, Cécile Vincent
2014 Lecture Notes in Computer Science  
This ontology contains temporal concepts, so we map it to a temporal ontology. We present an implementation framework for declarative and imperative parts of ontology rules in a semantic data store.  ...  The secondary filter then computes the inference over the filtered trajectory data and yields to the final knowledge base, that the user can query.  ...  The thematic rules are based on the domain trajectory activities and the temporal rules are based on Allen relationships. Then, we define and apply two-tier inference filters.  ... 
doi:10.1007/978-3-319-11587-0_18 fatcat:vtmnswopxngzhk6vng7nztyuu4

Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints

Lluís Godo, Lluís Vila
1995 International Joint Conference on Artificial Intelligence  
We also present an inference system based on specific rules dealing with the temporal constraints and a general fuzzy modus ponens rule whereby behaviour is shown to be sound.  ...  In this paper we propose a propositional temporal language based on fuzzy temporal constraints which turns out to be expressive enough for domains -like many coming from medicine-where knowledge is of  ...  Fuzzy Constraint Inference Rules.  ... 
dblp:conf/ijcai/GodoV95 fatcat:7vog2ol4yrgi5ay46l53nps6pa

Selected Aspects of Temporal Knowledge Engineering

Maria Mach-Król, Krzysztof Michalik
2014 Proceedings of the 2014 Federated Conference on Computer Science and Information Systems  
It then presents Logos reasoning tool and its inference techniques, it also shows how Logos can handle temporal rules now, and it points out what should still be done in order to make the system resistant  ...  to temporal reasoning logical problems.  ...  The bottom-up inference, as implemented in our system, starts from facts and using rules of knowledge base finishes with generation of set of conclusions.While building inference module of Logos we assumed  ... 
doi:10.15439/2014f290 dblp:conf/fedcsis/Mach-KrolM14 fatcat:syhb2iiz2bao3pbcwcqrk7ksva

Disaster Prediction Knowledge Graph Based on Multi-Source Spatio-Temporal Information

Xingtong Ge, Yi Yang, Jiahui Chen, Weichao Li, Zhisheng Huang, Wenyue Zhang, Ling Peng
2022 Remote Sensing  
These investigations show that the proposed method is beneficial to multi-source spatio-temporal information integration and disaster prediction.  ...  This paper constructs the conceptual layer and instance layer of the knowledge graph by building a common semantic ontology of disasters and a unified spatio-temporal framework benchmark.  ...  Define spatio-temporal semantic inference rule 2: It obtains the corresponding level value based on the original value of the factor.  ... 
doi:10.3390/rs14051214 fatcat:ecjm6q6kujg67enufsmmn7vil4

Automatic steering of behavioral model inference

David Lo, Leonardo Mariani, Mauro Pezzè
2009 Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09  
We evaluated our solution by comparing models inferred with and without checking mined temporal properties.  ...  We first mine execution traces to infer statistically significant temporal properties that capture relations between non consecutive and possibly distant events.  ...  Our technique is based on the inference of statistically significant temporal properties from traces.  ... 
doi:10.1145/1595696.1595761 dblp:conf/sigsoft/LoMP09 fatcat:jvjfb4okbjdl3p72wpph6lyo6q

Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems [article]

Galina Rybina, Alexey Mozgachev, Dmitry Demidov
2017 arXiv   pre-print
Attention is paid to the temporal knowledge representation and processing.  ...  Fig. 1 . 1 Cycle of temporal reasoning on production rules Formally this model of temporal inference can be given as follows: I' = <A, S'', K, W', D>, where A -active rules selection from knowledge base  ...  The main changes in basic inference model are incapsulated in matching phase: -interpreting event flow model; -processing temporal fragments of LHS of production rules.  ... 
arXiv:1704.05392v1 fatcat:r4a5ofjm5vcfjdhfduxxm33seq

Representation and inference with consistent temporal propositions [chapter]

Cristina Ribeiro, António Porto
1994 Lecture Notes in Computer Science  
Queries posed to a knowledge base which includes facts and rules use deduction to explore its consequences and abduction to generate consistent hypotheses.  ...  The inference system relies on a set of constraint primitives providing temporal consistency both for points and for intervals.  ...  Formulating a knowledge base in the temporal language, it is possible to pose queries for which answers are computed by an inference system.  ... 
doi:10.1007/3-540-58025-5_64 fatcat:jhwuhy3cf5hhxgdxmrfiym2vx4

The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems [chapter]

Jorge Santos, Zita Vale, Carlos Serdio, Carlos Ramos
2008 Robotics Automation and Control  
base; • FB stands for facts base; • MRB stands for meta-rules base; The rule base is a set of clauses with the following structure: RULE ID: 'Description': [ [C1 AND C2 AND C3] OR [C4 AND C5  ...  For instance, during system execution, the inference engine could be able to assure that shortcuts (specialists rules) would be preferred over generic rules; • Temporal reasoning -This issue received large  ... 
doi:10.5772/5835 fatcat:6snd3zg5sfhqvenscehecr73be

Time-Aware Probabilistic Knowledge Graphs

Melisachew Wudage Chekol, Heiner Stuckenschmidt, Michael Wagner
2019 International Symposium/Workshop on Temporal Representation and Reasoning  
We study coalescing and scalability of marginal and MAP inference. Moreover, we show that complexity of reasoning tasks in atemporal probabilistic KG carry over to the bitemporal setting.  ...  On the other hand, YAGO and Wikidata use the valid time model because they maintain facts together with their validity time (temporal scope).  ...  Temporal rules. We designed 36 different bitemporal probabilistic inference rules (ProbLog definite clauses) based on the fluents of Wikidata.  ... 
doi:10.4230/lipics.time.2019.8 dblp:conf/time/ChekolS19 fatcat:2mkqavw5pvfwjeb3juamg7fu5q

Automatic Generation of Temporal Data Provenance From Biodiversity Information Systems

Zaenal Akbar, Dadan Ridwan Saleh, Yulia Aris Kartika, Widya Fatriasari, Adila A Krisnadhi, Deded Sarip Nawawi
2022 Interdisciplinary Journal of Information, Knowledge, and Management  
Based on the derived data provenance, rule-based reasoning will be automatically used to infer temporal information. Consequently, a temporal provenance will be produced.  ...  Also, this work demonstrates that rule-based inference provides flexibility to encode different types of knowledge from experts.  ...  RULES-BASED INFERENCE As mentioned in the Computational Approach section, temporal information is automatically inferred using a rule-based reasoning approach, where rules were codified using SWRL.  ... 
doi:10.28945/5003 fatcat:djoqrh5znnge3naijbvvvpppcq

Uncertain Temporal Knowledge Graphs

Melisachew Wudage Chekol, Heiner Stuckenschmidt
2016 International Semantic Web Conference  
Finally, we characterize the complexity of two important queries, maximum a-posteriori and conditional probability inference, for uncertain temporal kgs.  ...  Often the extraction tools used to construct kgs produce facts and rules along with their confidence scores, leading to the notion of uncertain temporal kgs.  ...  Our contributions are the following: (i) we present a formal syntax and semantics, based on a numerical extension of MLN, for uncertain temporal kgs along with a set of temporal inference rules, (ii) we  ... 
dblp:conf/semweb/ChekolS16 fatcat:3g7vnlgnqnc6jdt7vakuf4v4em
« Previous Showing results 1 — 15 out of 262,114 results