31,249 Hits in 4.0 sec

Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web [chapter]

James Bailey, François Bry, Michael Eckert, Paula-Lavinia Pătrânjan
2005 Lecture Notes in Computer Science  
This article introduces XChange, a rule-based reactive language for the (Semantic) Web.  ...  Then, it discusses technologies and paradigms relevant to high-level reactive languages for the (Semantic) Web.  ...  It then introduces XChange, a novel high-level language for updates and reactivity on the (Semantic) Web based on Event-Condition-Action rules.  ... 
doi:10.1007/11580072_15 fatcat:heihzukceza4dmhsa4m75ddbm4

Reactive Policies for the Semantic Web [chapter]

Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla
2010 Lecture Notes in Computer Science  
Reactive policies allow for the definition of events and actions, that is, they allow to define reactive behavior of a system acting on the Semantic Web.  ...  Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users.  ...  Therefore, they are typically based on languages with well-defined semantics and interoperable formats; that is in most of the cases description logics (e.g., KAoS and Rei) or rule-based semantics (e.g  ... 
doi:10.1007/978-3-642-13486-9_6 fatcat:bgmcqz7lfffq5bsw7g2xa6lexu

Introduction to the special issue on the International Web Rule Symposia 2012–2014

2016 Theory and Practice of Logic Programming  
It is devoted to rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic  ...  RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack.  ...  While this semantics is similar to that of imperative reactive rule languages, its incompleteness shows that the operational semantics of imperative rule system languages, which maintain only a single  ... 
doi:10.1017/s1471068416000028 fatcat:ccb6ve6cwzcgxo3n2g7zwsdkve

Reactive Petri Nets for Workflow Modeling [chapter]

Rik Eshuis, Juliane Dehnert
2003 Lecture Notes in Computer Science  
This semantics can model behavior of a reactive system and its environment.  ...  At run time, a workflow model prescribes behavior of a reactive system (the workflow engine). But the token-game semantics models behavior of closed, active systems.  ...  The work of the first author has been partially supported by the National Research Fund (FNR) of Luxembourg and has been partially performed within the scope of the LIASIT (Luxembourg International Advanced  ... 
doi:10.1007/3-540-44919-1_20 fatcat:cqtaxbg4xvhqrkjuwugxzvdigy

On Semantics and Correctness of Reactive Rule-Based Programs [chapter]

Man Lin, Jacek Malec, Simin Nadjm-Tehrani
2000 Lecture Notes in Computer Science  
The rule-based paradigm for knowledge representation ap-  ...  semantics, based on threevalued evaluation of rules, that guarantees the correct results of computations for correct programs; We have developed and implemented a static procedure for checking the correctness  ...  A correct program ensures termination of rule rings at each reaction, consistency of the red rules and a unique reaction for each new set of stimuli to the system; We have de ned and implemented constructive  ... 
doi:10.1007/3-540-46562-6_21 fatcat:5bsodotp35hhjielrp7hc75uzm

Rule-Based Distributed and Agent Systems [chapter]

Costin Bǎdicǎ, Lars Braubach, Adrian Paschke
2011 Lecture Notes in Computer Science  
The paper contains an overview of the roles played by rules and rule-based systems in distributed and multi-agent systems.  ...  These roles include an overview of traditional and newly emerging application areas as well as internal agent architectures and frameworks implementing these architectures.  ...  Introduction This paper strives to shed light on the connections of rule based systems and multi-agent systems.  ... 
doi:10.1007/978-3-642-22546-8_3 fatcat:kflbpxqmxjannkl4ytcl6krpnq

A Logic-Based Framework for Reactive Systems [chapter]

Robert Kowalski, Fariba Sadri
2012 Lecture Notes in Computer Science  
We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents  ...  The model-theoretic semantics can be viewed as the problem of generating a model that makes all the reactive rules true.  ...  Acknowledgements We are grateful Harold Boley for helpful comments on an earlier draft of this paper and to Imperial College for EPSRC Pathways to Impact funding, which is supporting the implementation  ... 
doi:10.1007/978-3-642-32689-9_1 fatcat:rgbzwetkerhnxex4qlbh3yrryq

A semantic framework for the design of distributed reactive real-time languages and applications

Mateo Sanabria-Ardila, Luis Daniel Benavides, Daniel Diaz-Lopez, Wilmer Garzon-Alfonso
2020 IEEE Access  
Second, we present a reactive event-based semantic framework called Distributed Reactive Rewriting Framework (DRRF).  ...  However, there is no consensus on the core set of features that a reactive framework must-have.  ...  One advantage of analyzing distributed reactive systems using a formalism-based framework, such as DRRF, is the possibility of simulating the system execution before implementing it.  ... 
doi:10.1109/access.2020.3010697 fatcat:qwlpavs5kvbrda5zv7s6f7vwna

DSL Composition for model-based test generation

Bruno Fontes Barroca, Levi Silva Lucio, Vasco Moreira Amaral, Luis Miguel Pedro, Didier Buchs
2009 Electronic Communications of the EASST  
We introduce a framework for composing DSLs for reactive systems, with a particular DSL for Model Based Testing called SATEL (Semi-Automatic Testing Language).  ...  Domain specific languages (DSL) which describe reactive systems generally have a need for systematic generation of tests for their models.  ...  of reactive systems expressed in a petri-net based formalism [BG91] .  ... 
doi:10.14279/tuj.eceasst.21.301 dblp:journals/eceasst/BarrocaLBAP09 fatcat:6knzqlrraff4xfrfiihu7nbufa

Knowledge based Recommendation System in Semantic Web - A Survey

Ayesha Ameen
2019 International Journal of Computer Applications  
Representation of knowledge in structured form of ontology in Semantic Web makes the application of knowledge based recommendations system on Semantic Web very easy, as there is no need to construct knowledge  ...  In Semantic Web, knowledge is represented in the form of ontology.  ...  Rule-based recommendation systems, when applied on Semantic Web can benefit from the underlying ontologies, which form the backbone of Semantic Web.  ... 
doi:10.5120/ijca2019918538 fatcat:4sjcikxbebdblcquhiysbte26u


Richard J. Payne
2008 Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems - SERENE '08  
We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of component-based systems, based on a teleo-reactive (T-R) language.  ...  We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of componentbased systems, based on a teleo-reactive (T-R) language.  ...  Acknowledgments This work is funded by EPSRC through the DIRC project (, we would also like to acknowledge support from the EPSRC Platform Grant on Trustworthy Ambient Systems (TrAmS).  ... 
doi:10.1145/1479772.1479786 dblp:conf/serene/Payne08 fatcat:elyebi72dbhipeblms67piqtzy

Reactive Semantics for Distributed UML Activities [chapter]

Frank Alexander Kraemer, Peter Herrmann
2010 Lecture Notes in Computer Science  
We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems.  ...  These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps.  ...  In the following, we focus on the application of UML activities on the domain of reactive systems.  ... 
doi:10.1007/978-3-642-13464-7_3 fatcat:5lchlt7rsfchvbq55ykrq7inva

Programming in logic without logic programming

2016 Theory and Practice of Logic Programming  
AbstractIn previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the formif antecedent then consequenttrue in a canonical  ...  In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role.  ...  Acknowledgements We are grateful to the anonymous referees for their careful reading of our earlier submission, and for their many helpful comments.  ... 
doi:10.1017/s1471068416000041 fatcat:oopzyobzlrbt3bircc26xanlwu

A Logical Characterization of a Reactive System Language [chapter]

Robert Kowalski, Fariba Sadri
2014 Lecture Notes in Computer Science  
The operational semantics of KELPS is similar to that of other reactive system languages, and is similarly incomplete.  ...  Typical reactive system languages are programmed by means of rules of the form if antecedent then consequent.  ...  predicates and to define sequences of state conditions and events.  ... 
doi:10.1007/978-3-319-09870-8_2 fatcat:ypfrprue3vespmxia755inqtbu

An Event-Condition-Action Logic Programming Language [chapter]

J. J. Alferes, F. Banti, A. Brogi
2006 Lecture Notes in Computer Science  
In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates  ...  and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).  ...  In this paper we opted for an inference system based on the refined semantics for DyLPs.  ... 
doi:10.1007/11853886_5 fatcat:cwrsd2imtnhdljzoe5nuavi66y
« Previous Showing results 1 — 15 out of 31,249 results