Filters








6,478 Hits in 4.8 sec

A Query Language Based on the Ambient Logic [chapter]

Luca Cardelli, Giorgio Ghelli
2001 Lecture Notes in Computer Science  
We define here a query language for semistructured data that is based on the ambient logic, and we outline an execution model for this language. The language turns out to be quite expressive.  ...  Here we define a query language for semistructured data that is based on the ambient logic, and we outline an execution model for this language. The language turns out to be quite expressive.  ...  Giorgio Ghelli was partially supported by "Ministero dell'Università e della Ricerca Scientifica e Tecnologica", project DATA-X, by Microsoft Research, and by the E.U. workgroup APPSEM.  ... 
doi:10.1007/3-540-45309-1_1 fatcat:sqrwskvnjzfhzfaf3tdcuykj6q

TQL: a query language for semistructured data based on the ambient logic

LUCA CARDELLI, GIORGIO GHELLI
2004 Mathematical Structures in Computer Science  
We define here a query language for semistructured data that is based on the ambient logic, and we outline an execution model for this language. The language turns out to be quite expressive.  ...  The structural part of the ambient logic is, essentially, a logic of labeled trees, hence it turns out to be a good foundation for query languages for semistructured data, much in the same way as first  ...  Giorgio Ghelli was partially supported by Microsoft Research, and by the E.U. workgroup APPSEM. The implementation of TQL is mainly due to Francesco Pantaleo, Giovanni Conforti, Orlando Ferrara.  ... 
doi:10.1017/s0960129504004141 fatcat:a5awxt3jl5dpfa3qbllhjuk34y

Semistructured Computation [chapter]

Luca Cardelli
2000 Lecture Notes in Computer Science  
Moreover, the Ambient Logic, with some modifications, can be seen as a query language for semistructured data.  ...  For reasons unrelated to queries, we have developed a specification logic for the Ambient Calculus [7] . Could this logic, by an accident of fate, lead to a query language for semistructured data?  ... 
doi:10.1007/3-540-44543-9_1 fatcat:rsicxw2xdrex5ern5jaq5g7wyi

Ontology-based context inference and query for mobile devices

Suparna De, Klaus Moessner
2008 2008 IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications  
information through a rule-based mechanism.  ...  Specifically, to ensure interoperability with existing application logic, the enabling components should support semantic queries.  ...  ACKNOWLEDGMENT The work reported in this paper has formed part of the  ... 
doi:10.1109/pimrc.2008.4699602 dblp:conf/pimrc/DeM08 fatcat:s7o4ecor65gjpaanxyzi2a2zoi

Rapid prototyping of semantic applications in smart spaces with a visual rule language

Natalia Díaz Rodríguez, Johan Lilius, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores
2013 Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication - UbiComp '13 Adjunct  
One of the major limitations of Ambient Intelligent systems today is the lack of semantic models in human behavior and the environment, so that the system can recognize the specific activity being performed  ...  In order to monitor and act over human behavior in intelligent environments, we design a sufficiently simple and flexible visual language to be managed by non-expert users, thus facilitating the programming  ...  Semantic Web community has not yet adopted Fuzzy Logic technologies [11] , even if the latter supposes a clear advantage on expressing everyday regular language and account for natural imprecision and  ... 
doi:10.1145/2494091.2499217 dblp:conf/huc/RodriguezLCC13 fatcat:g2xwmz543bbhber277brdrrzya

An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System

Jinan El-Hachem, Arash Shaban-Nejad, Volker Haarslev, Laurette DubŽ, David L. Buckeridge
2012 Procedia Computer Science  
In this paper, we delve into the recent advances in knowledge representation, semantic web, natural language processing and online social networking data and concepts, to propose an inclusive platform  ...  and framework defining ambient recommender and decision support systems that aim at facilitating cross-sectional analysis of the domain of childhood obesity and generating both generic and customized preventive  ...  Acknowledgements COPE is a part of the Brain-to-Society (BtS) [2, 22] research agenda within the McGill World Platform for Health and Economic Convergence (MWP) [24] initiative.  ... 
doi:10.1016/j.procs.2012.06.018 fatcat:wnx2pefhjjgutkjbkahylu655e

Fixed Points In The Ambient Logic

Silvano Dal Zilio
2009 Zenodo  
We present an extension of the ambient logic with fixed points operators in the style of the mu-calculus.  ...  We give a simple syntactic condition for the equivalence between minimal and maximal fixpoint formulas and show how to subsume spatial analogues of the usual box and diamond operators.  ...  Another interesting proof method is based on our result on the equivalence of fixpoints (Theorem 1). Indeed, it is enough to prove that ψ φ ∧ ∀x.¬(x[¬ψ] | tt), to obtain ψ ◊φ and ◊φ ψ.  ... 
doi:10.5281/zenodo.345838 fatcat:uprqof2hhffpzhcppd5f4fobyu

Fuzzy Logic As-a-Service for Ambient Intelligence Environments

2018 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)  
The novelty of this approach is in integrating different FLS components (input collection, processing and output) into a single web service platform which uses a well specified language for communication  ...  The utility of this approach is shown in the context of implementing FLSs in Ambient Intelligent Environments.  ...  The authors would like to thank Mrs. Divya Rao for her contribution to the system development discussed in this paper. Also, the valuable comments from anonymous reviewers are highly appreciated.  ... 
doi:10.1109/fuzz-ieee.2018.8491522 fatcat:ihhyrtj75zh6jnwghab7q3ofam

The Succinct Solver Suite [chapter]

Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
2004 Lecture Notes in Computer Science  
A number of transformation strategies, mainly automatic, have been studied aiming on the one hand to increase the efficiency of the solving process, and on the other hand to increase the ease with which  ...  The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic.  ...  This work has been supported by the EU-projects Sec-Safe (IST-1999-29075) and DEGAS (IST-2001-32072) as well as the Danish Natural Science Research Council project LoST (21-02-0507).  ... 
doi:10.1007/978-3-540-24730-2_21 fatcat:73akyuongrdz5gjba3xm53j44u

Knowledge-Based Query Construction Using the CDSS Knowledge Base for Efficient Evidence Retrieval

Muhammad Afzal, Maqbool Hussain, Taqdir Ali, Jamil Hussain, Wajahat Khan, Sungyoung Lee, Byeong Kang
2015 Sensors  
Moreover, the structure of a query varies from one user to the next, which affects the results.  ...  structures and logic connectives used in the logic.  ...  Acknowledgments This work was supported by a grant from Kyung Hee University in 2013 [KHU-20130438].  ... 
doi:10.3390/s150921294 pmid:26343669 pmcid:PMC4610474 fatcat:k3sbhplrzrgmrcv6g6zd7fvsb4

Comprehending nulls [article]

James Cheney, Wilmer Ricciotti
2021 arXiv   pre-print
However, SQL's treatment of incomplete information, using nulls and three-valued logic, is not compatible with 'standard' NRC based on two-valued logic.  ...  It has also been used as a basis for language-integrated query in programming languages such as F#, Scala, and Links.  ...  ACKNOWLEDGMENTS This work was supported by ERC Consolidator Grant Skye (grant number ERC 682315), and by an ISCF Metrology Fellowship grant provided by the UK government's Department for Business, Energy  ... 
arXiv:2107.11347v1 fatcat:6r6z3mru3nh6fet6lhjwf2k2zi

A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments [chapter]

Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon
2013 Lecture Notes in Computer Science  
In this paper, we present a platform integrating CDL with Kevoree, a component-based software framework for Dynamically Adaptive Systems.  ...  We illustrate our approach with a running example from Ambient Assisted Living.  ...  First Order Logic) are based on the assumption of perfect knowledge of context, which, as we explained in Section 1, is not valid in Ambient Intelligence environments.  ... 
doi:10.1007/978-3-642-39617-5_16 fatcat:wfoguw7xufctzkhpqnkbusymda

C2L:A Formal Policy Language for Secure Cloud Configurations

Jayaraj Poroor, Bharat Jayaraman
2012 Procedia Computer Science  
Syntactically, C 2 L is based upon a spatio-temporal modal logic and provides a concise and clear statement of policy constraints for colocation, hosting, migration, security, and availability.  ...  We illustrate the language with a number of policy specification examples and also present an algorithm for verifying whether a cloud configuration along with its history satisfies a C 2 L policy specification  ...  Our policy language is essentially a spatio-temporal logic, i.e., a logic that has both spatial and temporal operators, and its syntax is loosely based on Cardelli and Gordon's modal logic for mobile ambients  ... 
doi:10.1016/j.procs.2012.06.064 fatcat:twcgjs6mvvefdazrtvsxmll3tu

Comprehending nulls

James Cheney, Wilmer Ricciotti
2021 The 18th International Symposium on Database Programming Languages  
However, SQL's treatment of incomplete information, using nulls and three-valued logic, is not compatible with 'standard' NRC based on two-valued logic.  ...  It has also been used as a basis for language-integrated query in programming languages such as F#, Scala, and Links.  ...  ACKNOWLEDGMENTS This work was supported by ERC Consolidator Grant Skye (grant number ERC 682315), and by an ISCF Metrology Fellowship grant provided by the UK government's Department for Business, Energy  ... 
doi:10.1145/3475726.3475730 fatcat:rllmvww75jex7dlbwjx4qs6hyi

Modeling Decentralized Information Flow in Ambient Environments [chapter]

Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M. van Eijk, Peter J. Werkhoven
2008 Developing Ambient Intelligence  
We will propose qualitative criteria which state whether querying a concept is appropriate given the logical structure of an agent's knowledge base.  ...  This paper proposes a decentralized approach for modeling information flow in ambient environments.  ...  In this way, the agent can use the logical structure of its knowledge base to decide whether querying a concept is appropriate.  ... 
doi:10.1007/978-2-287-78544-3_3 fatcat:26qq5zwyurfghnjrbwnc5rkuli
« Previous Showing results 1 — 15 out of 6,478 results